基于模板参数的模板化枚举类型

Question

我想知道如何做到这一点:假设我有一个A类,里面有枚举B.

class A {

enum B {

};

};

我想创建一个函数,它将A作为模板,然后假设A具有枚举B类型并接收其val作为参数？我尝试过类似的东西:

template<typename T>
static void Foo(T t, T::B b) {}

但这没有用..任何人都有想法？

谢谢.

Answer 1

您需要告诉编译器这T::B是一个类型,因为它是一个依赖名称,并且默认情况下假定为非类型.

template<typename T>
static void Foo(T t, typename T::B b) {}
//                   ^^^^^^^^

你也应该公开枚举.此代码示例有效:

class A {
 public:
  enum B {x, y, z};
};

template<typename T>
static void Foo(T t, typename T::B b) {}

int main()
{
  Foo(A(), A::x); // OK
}