为何C++禁止普通结构体默认初始化直接引用外围自动存储局部变量？

你遇到的编译错误不是GCC的额外防护，而是C++标准对本地类（定义在函数内部的类/结构体）非静态成员的默认初始化器的强制约束：本地类的默认成员初始化器不允许引用外围函数的自动存储期变量，仅允许引用常量表达式、静态变量、全局变量等生命周期稳定、不依赖当前调用栈的实体。

Lambda看起来不受限制，本质是因为Lambda的捕获逻辑根本没有用到默认成员初始化器：编译器会为你写的Lambda表达式自动生成对应的闭包类，为每一个捕获的变量生成对应的私有成员，同时自动生成带参数的构造函数，在你创建Lambda实例的时刻把捕获的变量传入构造函数完成初始化——这个逻辑和你写的ok3示例完全等价，只是所有样板代码由编译器自动生成，自然不会触发默认初始化器的相关限制。

这个限制的存在不是为了故意提高编码门槛，而是从语言设计的角度规避了大量语义歧义、可读性问题和潜在的未定义行为：

• 保障语义一致性：默认成员初始化器的设计目标是为类的所有实例提供统一的默认初始化规则，本身不应该依赖于某个实例创建时的临时上下文。如果允许引用外围自动变量，同一个类的不同实例的默认初始值会随创建时机变化，完全违背了默认初始化器的设计初衷。
• 消除隐性依赖：如果允许默认成员初始化器隐式引用外围自动变量，阅读代码的人无法仅通过类定义判断成员初始值的来源，必须结合外围函数的上下文才能理解逻辑，大幅提升代码维护成本。而显式写构造函数传参、Lambda显式捕获都把依赖关系暴露在明面上，不存在隐性的上下文绑定。
• 降低出错概率：自动存储期变量的生命周期和函数调用栈绑定，如果允许默认初始化器引用这类变量，很容易出现类实例生命周期长于变量生命周期的情况，产生野引用、野指针等未定义行为。而显式构造传参、显式捕获的场景下，开发者是主动掌控变量的传递时机和生命周期，出问题也更容易排查。

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