模板专业化的模板参数？

Question

您好，我有一个模板类的静态成员，我想为模板化的子组定义它，即：

template <typename T> 
class FooT
{
private:
 static int ms_id;
};

template <typename T> 
class Foo {};

template<> template<typename T> int FooT< template Foo<T> >::ms_id = 10;

下引发以下错误

遗憾的是，这会在 gcc 4.1.1 D:\X\Foo.h(98) ：错误：模板参数 1 在以下行中无效

：template>>;模板<类型名称 T> int FooT<模板 Foo>::ms_id = 10;

我做错了什么是首先允许的一般概念？

Answer 1

您可以通过部分专门化“初始化程序模板”来做到这一点：

template <typename T> 
class FooT
{
private:
 static int ms_id;
};

template <typename T> 
class Foo {};

template <typename T>
class GetValue {
  static const int v = 0;
};

template <typename T>
class GetValue< Foo<T> > {
  static const int v = 10;
};

template<typename T> int FooT< T >::ms_id = GetValue<T>::v;

Answer 2

当然，您无法将模板类作为模板实例中的增强。您需要放置一个“具体”类。

例如，使用 int:

template <>
int FooT< template Foo< int > >::ms_id = 10; 

或

template<>
int FooT< MyClass >::ms_id = 10; 

Answer 3

template <typename T> class Foo{};

struct MS_ID_TEN
{
protected:
    static int ms_id;
}
int MS_ID_TEN::ms_id = 10; 

template <typename T> struct MS_ID {}
template <typename T> struct MS_ID< Foo<T> > : MS_ID_TEN {};

template <typename T> 
class FooT : public MS_ID<T>
{
};