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> > 

명시 적으로 템플릿 인수에 의해 규정되는, 이름이 템플릿을 참조하는 것으로 알려져해야합니다.

회원 템플릿 전문화의 이름이 뒤에 표시되는 경우. postfix-expression 또는 qualified-id의 중첩 이름 지정자에서 ->를 사용하고 postfix-expression 또는 qualified-id가 템플릿 매개 변수 (14.6.2)에 명시 적으로 의존하면 구성원 템플릿 이름은 접두사는 키워드 템플릿입니다. 그렇지 않으면 이름이

T 템플릿 파라미터 TA에 따라 중첩 된 이름 지정자 D<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 

는 ++ FAQ 스택 오버플로 C를 읽고 고려 "Where and why do I have to put “template” and “typename” on dependent names?"