嵌套类中使用类型别名的编译器分歧问题咨询

先看一下引发争议的代码：

template<typename T> struct thing {
    struct nested {
        typename thing::type num;
    };
    using type = int;
};

核心原因：类模板的成员声明顺序与两阶段查找规则 #

C++标准对类模板的解析有明确的两阶段查找规则，同时类成员的声明顺序直接影响其可见性：

• 第一阶段是模板定义阶段：编译器会解析模板结构，校验所有非依赖名称（不依赖模板参数的名称）的有效性。
• 第二阶段是模板实例化阶段：此时才会处理依赖于模板参数的名称，绑定到具体的类型或值。

在这段代码里，nested内部的typename thing::type中，thing是当前类模板的注入类名（也就是模板自身的名字），这里的thing::type属于非依赖名称——它和模板参数T无关，我们引用的是当前模板自身的成员。

根据标准，类模板的成员是按顺序解析的：当编译器处理到nested的定义时，using type = int;这条声明还在后面，此时thing::type还未被声明，所以在第一阶段的查找中，这个名称是不存在的，属于非法引用。

为什么GCC能编译通过？ #

GCC在这里做了一个非标准的宽松处理：它允许在类模板内部引用后续声明的成员，即使这个引用是非依赖的。这是GCC的扩展行为，并不符合C++标准的要求。

验证标准合规性的小测试 #

如果我们把type的声明移到nested之前，两款编译器都会正常编译：

template<typename T> struct thing {
    using type = int;
    struct nested {
        typename thing::type num;
    };
};

这也侧面验证了问题出在成员声明顺序的可见性上。

内容的提问来源于stack exchange，提问作者Chris Fretz