实例化模板时，其不完整参数类型的成员是否可见？

Question

在下面的示例中，A 有一个成员 typedef Instantiate，它会导致 B<A> 的实例化。

template<typename T>
struct B
{
    typedef typename T::Before Before; // ok
    typedef typename T::After After; // error: no type named 'After' in 'A<int>'
};

template<typename T>
struct A
{
    typedef int Before;
    typedef typename B<A>::After Instantiate;
    typedef int After;
};

template struct A<int>; // instantiate A<int>

我尝试过的所有编译器都报告说，A::Before 可见，A::After 不可见。这种行为是否符合标准？如果是这样，标准在哪里指定A 中的哪些名称应该在B<A> 的实例化期间可见？

如果从属名称“在模板实例化点查找”，那么在T::After 等模板参数限定名称的场景中，这意味着什么？

编辑：请注意，当 A 不是模板时会发生相同的行为：

template<typename T>
struct B
{
    typedef typename T::Before Before; // ok
    typedef typename T::After After; // error: no type named 'After' in 'A'
};

struct A
{
    typedef int Before;
    typedef B<A>::After Instantiate;
    typedef int After;
};

.. 和 G++ 接受以下内容，但 Clang 不接受：

template<typename T>
struct B
{
    static const int value = 0;
    static const int i = T::value; // clang error: not a constant expression
};

struct A
{
    static const int value = B<A>::value;
};

编辑：阅读 C++03 标准后：

[temp.dep.type] 类型是依赖的，如果它是一个模板参数

因此T 是依赖的。

[temp.res] 在查找模板定义中使用的名称声明时，通常的查找规则用于非依赖名称。依赖于模板参数的名称查找被推迟到知道实际的模板参数。

T::After 的查找因此被推迟，直到知道T 的参数为止。

[temp.inst] 除非已显式实例化类模板特化......当在需要完全定义的对象类型的上下文中引用特化时，类模板特化将被隐式实例化。

因此A<int>::Instantiate 的声明需要B<A> 的实例化（因为它用于嵌套名称说明符中。）

A<int>::After 在声明A<int>::Instantiate 时不可见，因此编译器的行为是有道理的——但我在 C++03 中没有看到任何明确描述此行为的内容。最接近的是这个有点模糊的段落：

[温度.dep.res] 在解析从属名称时，会考虑来自以下来源的名称：

——在模板定义处可见的声明。

Answer 1

规范没有明确说明typename T::Before 是否有效。它是缺陷报告的主题（因为可以非常合理地阅读标准以禁止它）：http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#287。

typename T::After 是否无效也可以非常合理地被规范解读为正确，实际上它很有道理（并且前面提到的 DR 仍然保持其格式错误）。因为您有一个类A<Foo> 的实例化，它在成员Baz 尚未声明的期间引用另一个类A<Bar>，并且引用回A<Foo>::Bar。这在非模板的情况下也是不正确的（尝试“忘记”你正在处理模板的片刻：B<A>::After 的查找肯定是在A 之后完成的模板已被完全解析，但在它的特定实例化完全创建之后没有。它的实例化实际上会做引用！）。

struct A {
   typedef int Foo;
   typedef A::Foo Bar; // valid
   typedef A::Baz Lulz; // *not* valid
   typedef int Baz; 
};

Answer 2

T::Before 和 T::After 由于 [temp.dep.type]/8 和 /5 是从属名称。

“在模板定义的上下文和实例化点的上下文中，在模板实例化点 (14.6.4.1) 查找依赖名称”。 [temp.dep]/1

我将其解释为：实例化模板时会查找它们。他们在哪里抬头？在模板定义的上下文和实例化点的上下文中。

[temp.dep.type]/7 另一方面表示：

如果对于给定的一组模板参数，一个模板的特化被实例化，该模板使用 qualified-id 或类成员访问表达式引用当前实例化的成员，则在qualified-id 或类成员访问表达式在模板实例化上下文中查找。

[temp.point]/7 定义实例化上下文如下：

依赖于模板参数的表达式的实例化上下文是在同一翻译单元中模板特化的实例化点之前声明的具有外部链接的声明集。

因此，我们需要知道实例化的意义是什么。

[温度点]/4

对于一个类模板特化 [...]，如果特化是隐式实例化的，因为它是从另一个模板特化中引用的，如果特化被引用的上下文依赖于模板参数，并且特化是在实例化之前未实例化 封闭模板，实例化点就在封闭模板的实例化点之前。

虽然注入的类名A 可以说是一个依赖（作为外行术语）A 的模板参数的上下文，但名称A 本身并不是一个从属名称。Johannes Schaub 更正：它是一个从属名称。请参阅 [temp.local]/1 和 [temp.dep.type]/8 => A 是依赖类型。

因此，这个条件是 not满足，B<A>应该在A<int>之前实例化。