c++ - 使用模板类作为模板参数

Question

考虑以下代码:

template <class MyB>
struct A {
    MyB *b_;
};

template <template <class> class MyA>
struct B {
    MyA<B> *a_; // How come B can be used as a complete type here?
};

评论陈述了我的问题:B是模板，怎么能在MyA<B>中作为完整类型使用呢？ ？

Answer 1

在 template 声明的范围内，模板的名称单独指定一个完整的类型，对于每个自动生成的特化，与该特化同义。考虑一下，例如，

template<class A> struct B {
    B();
    B &operator=(B const &);
    typedef B This;
};