[C++]typedef typename什么意思？

template<typename T> class A { public: typedef T a_type; }; template<typename A> class B { public: //typedef A::a_type b_type; typedef typename A::a_type b_type; }; int main() { B<A<int>> b; return 0; }

如果把注释取消，就会产生编译错误。

必须使用关键字typename的原因是T是一个template parameter。在实例化之前，编译器对T一无所知，因此不知道A::a_type 代表的是一个type或是一个member function或是一个data member，使用typename可以告诉编译器这是一个type使得编译能顺利通过