从类内部获取模板[重复]

Question

考虑以下代码：

template <template <int> class T>
struct B {
};

template <int N>
struct A {
    B<A> b;
};

这不会编译，因为B<A> b 中的A 指的是类A<N>，而不是模板。如何从A<N> 的正文中获取模板A？

Answer 1

我认为绕过这个问题的最简单方法是：

template <int N>
struct A {
    B<::A> b;
};

虽然这实际上是一个非常有趣的问题，因为看起来B<A> 应该可以工作。来自 N3936 的 §14.6.1 [temp.local]/p1：

与普通（非模板）类一样，类模板有一个 注入类名（第 9 条）。注入的类名可以用作 模板名称或类型名称。当它与一个 template-argument-list，作为模板的 template-argument 模板参数，或作为最终标识符 elaborated-type-specifier 的友元类模板声明，它 指类模板本身。否则等价于 template-name 后跟类的 template-parameters .

中包含的模板

所以看起来B<A> 应该等同于B<::A>。 GCC 4.8 accepts OP 中的代码，虽然 Clang 3.4 doesn't。