模板化子类和模板化基类的静态成员特化

Question

我正在尝试创建一个从另一个模板类（此处为 A）继承的模板类（此处为 C）并执行静态成员特化（此处为 int var），但我无法获得正确的语法（如果有可能

#include <iostream>

template<typename derived>
class A
{
    public:
        static int var;
};

//This one works fine
class B
    :public A<B>
{
    public:
        B()
        {
            std::cout << var << std::endl;
        }
};
template<>
int A<B>::var = 9;

//This one doesn't works
template<typename type>
class C
    :public A<C<type> >
{
    public:
        C()
        {
            std::cout << var << std::endl;
        }
};
//template<>
template<typename type>
int A<C<type> >::var = 10;

int main()
{
    B b;
    C<int> c;
    return 0;
}

我举了一个与非模板类（此处为 B）一起使用的示例，并且我可以获得 var 的静态成员特化，但对于 C 则不起作用。

这是 gcc 告诉我的：

test.cpp: In constructor ‘C<type>::C()’:
test.cpp:29:26: error: ‘var’ was not declared in this scope
test.cpp: At global scope:
test.cpp:34:18: error: template definition of non-template ‘int A<C<type> >::a’

我使用的是 gcc 版本 4.6.3，感谢您的帮助

Answer 1

您可以通过编写this->var 来提示编译器var 是一个成员变量。

你不能写一个模板来定义模板特化A<C<type>>的静态成员；当您定义一个静态成员时，您正在保留存储空间，但编写模板部分特化并不会告诉编译器要为哪些完整特化保留存储空间。你能做的最好的就是写

template<>
int A<C<int> >::var = 10;

另一种方法是使用通过模板函数访问的函数级静态：

template<typename T> class A {
    static int &var() { static int var; return var; }
};

Answer 2

我建议您在父类中使用枚举并将子类的值设置为父类的模板参数。对于 C 类来“看到”var，它可以被限定。见下文：

#include <iostream>
using namespace std;

template<typename Child, int i = 0> // 0 is the default value
class A
{
    public:
        enum { var = i };
};

class B
    :public A<B>   // define the value or var here
{
    typedef A<B> Parent;
public:
    B()
    {
        cout << Parent::var << endl; // Parent:: here IS NOT necessary, just for uniformity's sake
    }
};

template<typename type>
class C
    :public A<C<type>, 200>  // define the value of var here
{
    typedef A<C<type>, 200> Parent;
public:
    C()
    {
        cout << Parent::var << endl; // Parent:: here IS necessary
    }
};


int main()
{
    cout << B::var << endl;
    cout << C<int>::var << endl;
    cout << C<char>::var << endl;
}