模板类嵌套基类与派生类时，为何需显式访问基类成员？

先看问题中的代码：

template <class T>
struct outer {
  struct base {
    int x;
  };

  struct derived : public base { 
    void func() {
      ++x;
    }
  };
};

这段代码在++x;行会触发‘x’ was not declared in this scope编译错误（g++、clang会报此错，MSVC不会）。下面具体解释原因：

核心原因：C++标准的两阶段名称查找规则 #

C++模板编译分为两个关键阶段：

1. 模板定义阶段：编译器只处理不依赖模板参数的名称，对依赖模板参数的名称仅做语法检查，不进行实际的符号查找。
2. 模板实例化阶段：当模板被具体类型实例化时，才会查找所有依赖模板参数的名称。

在原代码场景中，outer是模板类，derived和base都是它的嵌套类。编译器在处理模板定义时，无法确定base的最终形态——因为允许通过模板特化，为不同的T定义完全不同的base类（甚至可能没有x成员）。因此编译器不会默认将x解析为base的成员，必须通过base::x或this->x显式告知编译器：x是依赖模板参数的基类成员，需延迟到实例化阶段再查找。

为什么场景1、3、4无需显式指定？ #

场景1：移除template <class T>行 #

此时outer是普通类，base和derived也都是普通类。编译器编译derived::func()时，能直接确定base的成员x存在，属于非依赖名称，在定义阶段就能找到，不需要额外指定。

场景3：将base移至outer外部 #

base变为全局作用域下的普通类，不再依赖模板参数T。derived继承的是一个完全确定的类，x是明确的非依赖名称，编译器在定义阶段即可直接找到，无需显式标注。

场景4：将derived移至outer外部 #

derived脱离模板类outer的嵌套范围后，无论它是否为模板类，其继承的base要么是明确的普通类，要么是实例化后的模板嵌套类，x不再属于“依赖模板参数的未知名称”。编译器能直接确定x的存在，因此无需显式指定。

为什么MSVC不会报错？ #

MSVC默认采用非标准的查找逻辑，没有严格遵循两阶段查找规则，而是将所有名称都视为依赖模板参数的，延迟到实例化阶段再统一查找。因此它会自动将x解析为base的成员，不会触发编译错误，但这种行为不符合C++标准规范。

内容的提问来源于stack exchange，提问作者Pootis Spencer