问题描述
这里是模板新手。我正在试验以下代码:
#include <type_traits>
enum class Thread
{
MAIN,HELPER
};
template<typename T>
int f()
{
static_assert(std::is_same_v<T,Thread::MAIN>);
return 3;
}
int main()
{
f<Thread::MAIN>();
}
换句话说,如果函数不是从主线程调用的,我想提出一个编译时断言。显然,编译器不接受枚举数作为模板参数,大喊 invalid explicitly-specified argument for template parameter 'T'
。
我知道我可以使用两个结构体作为标签:struct ThreadMain
和 struct ThreadHelper
。不幸的是,枚举 cass 已经在我的项目中随处使用,我宁愿避免重复。我如何为此目的重用现有的枚举类?
解决方法
您现有的代码很接近。除了使用 typename
,您可以直接使用 enum class
名称,作为非类型模板参数,如下所示:
template<Thread T>
int f()
{
static_assert(T == Thread::MAIN);
return 3;
}
您还必须更改 static_assert
。