有人可以帮助我在C++模板中使用嵌套名称说明符吗？

Question

下面的示例代码有什么问题？它不能在GCC中编译。为什么？

template <class TA> 
struct A 
{ 
    template <class TAB> struct B; 
}; 

template <class TC> 
struct C {}; 


template <class TD> 
struct D 
{ 
    template <class TTD> class T {}; 
};  

template<class TA> 
template<class TBA> 
struct A<TA>::B : C<typename D<TA>::T<TBA> > 
{ 
    int foo; 
}; 

GCC 4.3.4输出：

error: template argument 1 is invalid 
error: expected `{' before ‘>’ token 
error: expected unqualified-id before ‘>’ token 

Answer 1

struct A<TA>::B : C<typename D<TA>::template T<TBA> > 

对于模板的名称由模板参数进行明确限定，该名称必须已知是指一个模板。

当成员模板专门名称出现后。或 - 在后缀表达式中，或者在限定id中的嵌套名称说明符之后，并且postfix-expression或qualified-id显式依赖于模板参数（14.6.2），则成员模板名称必须是由关键字模板作为前缀。否则，则假定名称来命名一个非模板

T嵌套的名称说明符D<TA>这取决于模板参数TA后出现。构造D<TA>::T<TBA>必须将T解释为类模板的名称，因此template关键字由标准在此时强制执行。

Answer 2

锵的错误信息是一个比较有用的：

error: use 'template' keyword to treat 'T' as a dependent template name 
struct A<TA>::B : C<typename D<TA>::T<TBA> > 
            ^
            template 

欲了解更多信息，请考虑阅读堆栈溢出的C++ FAQ "Where and why do I have to put “template” and “typename” on dependent names?"