c++ - 为什么常量的模板特化需要 const 变量

Question

我正在尝试了解常量模板特化。考虑以下具有一种特化的模板函数:

enum class NodeType
  {A, B, C};

template<NodeType>
bool afunc()
{
  cout<<"calling generic"<<endl;
}

template<>
bool afunc<NodeType::A>()
{
 cout<<"calling specific"<<endl;
}

我可以按如下方式调用专用实例:

 const NodeType x = NodeType::A;

  afunc<x>();

但是，如果我删除 const，那么编译器会提示模板/参数推导失败。为什么需要 const？

Answer 1

模板只是编译时的东西。如果删除 const，则 x 不再是编译时常量，因此不能用于模板参数。

另请注意，x 只是一个编译时常量，因为您在初始化时就这样定义了它。