是否可以使用成员枚举来专门化模板？

Question

struct Bar {
  enum { Special = 4 };
};

template<class T, int K> struct Foo {};
template<class T> struct Foo<T,T::Special> {};

用法：

Foo<Bar> aa;

使用 gcc 4.1.2 编译失败 它抱怨使用 T::Special 来对 Foo 进行部分专业化。如果 Special 是一个类，那么解决方案就是在它前面加上一个类型名。对于枚举（或整数）有等价的东西吗？

Answer 1

由于 C++ 不允许这样做，正如 Prasoon 所解释的那样，因此替代解决方案是使用 EnumToType 类模板，

struct Bar {
  enum { Special = 4 };
};

template<int e>
struct EnumToType
{
  static const int value = e;
};

template<class T, class K> //note I changed from "int K" to "class K"
struct Foo
{};

template<class T> 
struct Foo<T, EnumToType<(int)T::Special> > 
{
   static const int enumValue = T::Special;
};

示例代码位于 ideone ： http:// www.ideone.com/JPvZy

---

或者，您可以像这样简单地专业化（如果它解决了您的问题），

template<class T> struct Foo<T,Bar::Special> {};

//usage
Foo<Bar, Bar::Special> f;

Answer 2

非类型模板参数的类型不能依赖于部分特化的模板参数。

ISO C++03 14.5.4/9 说

部分特化的非类型参数表达式不应涉及部分特化的模板参数，除非参数表达式是简单标识符。

template <int I, int J> struct A {};
template <int I> struct A<I+5, I*2> {}; //error
template <int I, int J> struct B {};
template <int I> struct B<I, I> {};     //OK

所以这样的东西是非法的 template结构 Foo{}; 因为 T::Special 依赖于 T

的用法也是非法的。您已提供一个模板参数，但需要提供两个。