C++封闭类内嵌套类声明前使用的规则差异问题

问题复现 #

class Outer {
public:
    Outer(): in(new Inner()) {  // Case 1: 编译通过
        cout << "Outer ctor is called." << endl;
    }
    
    void f() {
        Inner in2;       // Case 2: 编译通过
        cout << "f() is called." << endl; 
    }
    
    Inner *in1;          // Case 3: 编译报错：'Inner' does not name a type
    
    void g(Inner in3) {  // Case 4: 编译报错：'Inner' does not name a type
        cout << "g() is called." << endl;
    }

    int y = x + 2;   // Case 5: 编译通过

private:
    class Inner {};
    Inner *in;
    int x = 1;
};

int main() {
    Outer out;
    out.f();
    return 0;
}

观测到的编译结果 #

• 构造函数初始化列表中使用Inner类：编译通过
• 成员函数内部使用Inner定义局部变量：编译通过
• 使用Inner定义类数据成员：编译报错，提示Inner不是有效类型
• 使用Inner作为成员函数形参类型：编译报错，提示Inner不是有效类型
• 数据成员y的初始化表达式引用了后置定义的x：编译通过

规则说明 #

场景1、2和3、4的核心差异 #

这个现象和public/private权限区块完全无关，本质是C++编译器处理类定义时的两阶段逻辑导致的：

1. 第一阶段：顺序扫描类内所有成员的声明部分，只记录类型、函数签名、数据成员的类型与名称，不会处理任何函数实现内容（函数体、构造函数初始化列表），也不会处理数据成员的类内初始化表达式。这个阶段的名字查找严格按代码从上到下的顺序执行，只能识别扫描位置之前已经声明的名字。
2. 第二阶段：等整个类的所有成员声明全部扫描完成、类作用域内的所有名字都被收集后，再回头处理所有延后的实现内容，包括所有函数的函数体、构造函数初始化列表、数据成员的类内初始化表达式。这个阶段的名字查找可以看到类内任意位置声明的成员，不受书写顺序影响。

对应到各个场景：

• 场景3的Inner *in1是数据成员声明的一部分，第一阶段扫到这行时，还没走到后面private区块里Inner类的声明位置，编译器不知道Inner是个类型，直接报错。
• 场景4的void g(Inner in3)是函数声明的一部分，形参类型属于函数签名的组成内容，同样需要在第一阶段确定类型，此时还没扫描到Inner的声明，因此报错。
• 场景1的构造函数初始化列表、构造函数体，场景2的f()函数内部代码，都属于第二阶段才处理的实现内容，此时编译器已经完成全类声明扫描，知道Inner是嵌套类类型，因此可以正常编译。

普通数据成员和嵌套类的规则差异原因 #

场景5中后置定义的x可以被y的初始化表达式引用，核心原因是y的初始化表达式=x+2不属于第一阶段要处理的声明内容：第一阶段扫描到int y时，只需要记录“y是int类型的成员”就完成了声明处理，后面的初始化逻辑属于第二阶段的处理内容，此时x的声明已经被扫描记录，自然可以正常引用。

而场景3、4中对Inner的使用，是把Inner作为类型名出现在声明的核心位置——编译器必须在第一阶段就确定数据成员的类型、函数形参的类型，才能计算类的内存布局、确定函数的调用签名，根本没法延后到第二阶段处理。如果此时Inner还没声明，编译器根本无法完成解析，就会直接报错。

注：public/private/protected这类访问控制修饰符，只会在名字查找成功后做权限校验，完全不影响名字查找的顺序和可见性，不要被区块位置误导。

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