为什么C++局部类可以访问外围函数的const局部变量？

首先明确核心结论：你观察到的「局部类可访问const修饰的局部变量」是C++标准针对常量表达式场景的特例，不是所有const局部变量都支持该操作，const修饰的变量本质上仍属于自动（auto）存储类型。

规则背景 #

C++标准默认禁止局部类访问外围函数的普通自动局部变量，根本原因就是你提到的生命周期问题：局部类实例的生命周期可能超出外围函数的执行周期（比如你示例中new了Internal实例并返回），如果访问已经销毁的栈上局部变量，会产生野引用/野指针，触发未定义行为，因此标准直接从语法层面禁止这类访问。

const变量可访问的核心原因 #

你示例中const int local = 123属于用常量表达式初始化的const整型变量，符合C++对「整型常量表达式」的定义，标准专门针对这类变量开了特例：允许局部类的成员函数直接引用这类变量。
这个特例的安全性基础是：编译器处理这类代码时，不会真的去访问栈上存储的local变量，而是直接将编译期就确定的常量值123内联替换到getLocal的return语句中，完全不会依赖栈上的local实例，因此不存在访问失效的问题。

反例验证 #

如果const局部变量不是用常量表达式初始化的，比如：

Helper* nutshell(){
    const int local = rand(); // 运行期才能确定值，不属于常量表达式
    struct Internal : public Helper {
        int getLocal(){ return local; } // 这里会直接编译报错，和普通非const变量行为一致
    };
    return new Internal();
};

上述代码无法通过编译，足以说明不是所有const局部变量都能被局部类访问，仅常量表达式场景符合要求。

C++11及更高版本的扩展 #

C++11引入constexpr关键字后，只要是能用常量表达式初始化的变量（不限于整型，比如浮点型、自定义字面量类型），都可以被局部类访问，原理和上述const整型的情况一致：编译器直接内联常量值，不依赖栈上的变量实例。

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