使用枚举实例化模板

Question

为什么以下编译因error: ‘arg’ cannot appear in a constant-expression而失败？

class Foo {
public:
    enum myenum { BIRDY, NUMNUM };
    typedef enum myenum myenum_t;
    void bar(const myenum_t arg);
}
template<Foo::myenum_t> class MyClass {};
void Foo::bar(const myenum_t arg) {
    MyClass<arg> hey;
}

枚举类型是不是编译时常量吗？

Answer 1

你正在尝试使用变量，而不仅仅是常量，编译时没有变量，使用模板函数。

template<myenum_t>
void bar();

template<Foo::myenum_t arg>
void Foo::bar()
{
   MyClass<arg> hey;
}

Answer 2

枚举值是编译时常量，但是您传递的是枚举类型的变量，在执行程序之前不会确定其值。