使用 CRTP 在模板中继承类型

Question

下面是 CRTP 定义自定义集合类型的基本用法：

template <class __B>
struct A
{
    typedef std::vector<__B> collection_type;
};
struct B: public A<B>
{
    collection_type X;
};

在模板中使用

template <typename __T>
struct C: public A<C<__T>>
{
    // collection_type X; <--- this does not compile
    typename A<C<__T>>::collection_type X;
};

为什么 C 需要 "typename ...::" 部分，而 B 不需要？

Answer 1

struct B是一个具体的类，不是模板，它的定义不依赖于任何参数。因此，当编译器从A<B> 继承它时，它会从模板A 中实例化A<B> 类，在其中看到collection_type 的定义并且很高兴。

struct C 是一个模板，所以A<C<__T>> 依赖于参数__T。 A 可以被特化，因此编译器不知道collection_type 实际上是什么，或者即使它是否存在。所以，我们必须告诉编译器在哪里寻找collection_type（所以，A<C<__T>>::collection_type），它是一个类型（所以typename A<C<__T>>::collection_type）。