有人可以帮助我使用 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

Clang 的错误消息更有帮助：

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

有关更多信息，请考虑阅读 Stack Overflow C++ 常见问题解答 “我必须在何处以及为什么必须将“template”和“typename”放在依赖名称上？”

Answer 2

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

对于由模板参数显式限定的模板名称，必须知道该名称引用模板。

当成员模板专业化的名称出现在 后时。或->在后缀表达式中，或在限定 ID 中的嵌套名称说明符之后，并且后缀表达式或限定 ID 显式依赖于模板参数 (14.6.2)，成员模板名称必须以关键字模板。否则，该名称将被假定为非模板名称

T，该名称出现在嵌套名称说明符 D 后面，该说明符取决于模板参数 TA< /代码>。构造 D::T 必须将 T 解释为类模板的名称，因此必须使用 template 关键字按当时的标准。