嵌套类中的别名模板

Question

我正在尝试从C的实例开始获取T2<B>的模板别名。

template<typename A>
struct T1
{
   template<typename B>
   struct T2{};
};

template<typename A>
class C
{
   T1<A> t;
};

template<typename A>
using U1=decltype(C<A>::t);

template<typename A, typename B>
using U2=typename U1<A>::T2<B>;

我在gcc 4.8中遇到编译器故障：

gg.cc:18:28: error: expected ‘;’ before ‘<’ token
 using U2=typename U1<A>::T2<B>;

我在每个明智的位置都使用typename关键字，但是无法编译U2定义。

正确的语法是什么？ 如果我不求助于U1而得到U2的定义，那就更好了。

Answer 1

您需要使用template消歧器来告诉编译器将T2解析为模板的名称（以及随后的<和>作为相应模板参数的定界符）：

    template<typename A, typename B>
    using U2=typename U1<A>::template T2<B>;
//                           ^^^^^^^^

这是一个正在编译的实时示例 。

在这里，您可以找到有关何时应该使用template消歧器（以及typename消歧器）的更多信息，尽管您似乎已经意识到了这一点。

Answer 2

编译器编译以下内容时：

template<typename A, typename B>
using U2=typename U1<A>::T2<B>;

在读取嵌套名称说明符U1<A>::之后，由于A是未知的，所以它不知道它在U1哪个专业领域中。 每个U1专业化可能完全不同，并且取决于A是什么。 因此，不知道T1是什么样的名称。 特别是它不知道它是否是模板名称。 （例如， U1<int>::T1可能与U1<char>::T1完全不同。）

因此，您需要通过在T1之前使用template关键字来明确告知编译器T1将是模板名称。