使用CRTP时如何获取模板参数的大小？

Question

在VC ++ 10中，以下示例失败，错误为C2027：“使用未定义的类型'X'”。 但是，g ++ 4.6可以很好地进行编译。

template<class T>
class C
{
    static const size_t size = sizeof(T);
};

class X : public C<X> { };

那么哪一个是对的？ 我将如何做才能使其在主流编译器上运行？

不过，这并不是什么大问题，因为VC ++仍允许C的成员函数内使用sizeof（T）。我只需要重复一些很烦人的长类型定义即可。

编辑：我意识到我的例子很糟糕，因为我真正想做的就是以这种方式使用大小作为编译时间常数：

template<size_t size> class C2 { };

template<class T>
class C
{
   typedef C2<sizeof(T)> A;
};

class X : public C<X> { };

两个编译器都拒绝这样做，所以我认为这可能是不可能的，但是就像我说的那样，我仍然可以在函数内部使用sizeof。 我只是希望我不必在每个函数中重复typedef。

template<size_t size> class C2 { };

template<class T>
class C
{
    void foo() { typedef C2<sizeof(T)> A; }
};

class X : public C<X> { };

Answer 1

静态成员不能在类本身中初始化，因为类型T正在定义中，并且尚未完成。

但是，您可以在类外部将其初始化为：

template<class T>
class C
{
    static const size_t size;
};

template<typename T>
const size_t C<T>::size = sizeof(T); //initialization of the static member

它应该可以正常编译： http : //ideone.com/6sNgN