为何C++错误通用初始化语法可编译且产生不可预测行为

为什么该写法不会触发语法错误 #

你写的SomeReg reg1{ reg1.wholeReg = 0 };完全符合C++语法规范，不属于语法错误，因此编译器不会报错：

• 你定义的SomeReg是典型的聚合类型：没有用户自定义构造函数、没有私有/保护非静态成员、没有基类和虚函数，因此花括号包裹的内容会被识别为聚合初始化的初始化器列表。
• 对联合体执行聚合初始化时，如果没有显式指定要初始化的成员，初始化器列表的第一个元素会默认用来初始化联合体的第一个非静态成员，也就是你定义的wholeReg。
• C++标准规定，变量名从声明语句中的声明符出现后就正式进入作用域，因此写初始化器时reg1这个名字已经合法可见，可以正常访问它的内部成员。
• 初始化器里的reg1.wholeReg = 0是合法的赋值表达式，赋值表达式的返回值是左操作数的左值引用，也就是uint32_t&类型的reg1.wholeReg本身，这个类型完全匹配wholeReg的初始化要求，类型检查也能正常通过。

为什么代码行为不稳定，部分场景正常部分异常 #

这个写法属于C++标准明确规定的未定义行为，根源是你在成员的初始化流程完成前就访问了未初始化的成员，编译器可以针对未定义行为做任意优化，最终代码行为不保证符合预期：

• 聚合初始化的标准执行顺序是：先为整个SomeReg对象分配栈存储，再求值花括号内的初始化器表达式，最后用表达式的返回值初始化对应的成员wholeReg。也就是说，你在初始化器里执行reg1.wholeReg = 0的时候，wholeReg还没有完成初始化，它的值在标准层面是完全不确定的。
• 在简单测试场景下（关闭优化、右值是编译期常量），编译器不会做激进的代码分析，会严格按照代码字面顺序执行：先执行赋值语句把常量写入wholeReg对应的栈地址，再执行初始化步骤，从该地址把值读出来再写回去（就是你给出的汇编代码中带*标记的两行冗余操作），这时候运行结果看起来完全符合预期。
• 一旦右值是card->readReg()这类编译期无法推导的函数返回值、或者开启了编译优化，编译器的冗余消除逻辑就会介入：它会发现你在初始化器里对wholeReg的写入马上会被后续的初始化拷贝覆盖，属于无意义的冗余操作，就会把这次写入直接删掉。但后续的初始化步骤需要从wholeReg的地址读值来完成拷贝，此时这个地址根本没有写入你读到的寄存器值，只会保留栈内存上的残留数据：如果残留值是0，最终结果就是0；如果残留值是其他数据，就会得到错误的结果。
• 你观察到的“异常场景固定不变”也符合逻辑：同一段代码编译完成后，局部变量的栈布局是固定的，每个栈位置的残留值在相同运行上下文下是稳定的，因此哪些调用正常、哪些调用异常不会随机变化，多次运行的表现完全一致。

正确写法 #

只需要去掉冗余的成员访问和赋值部分，直接把初始值放在初始化列表中即可：

SomeReg reg1{ 0 };
// 对各个字段单独赋值
card->writeReg(REG1_ADDRESS, reg1.wholeReg);

SomeReg reg2{ card->readReg(REG2_ADDRESS) };
// 读取reg2的各个字段值做后续处理

如果使用C++20及以上版本，还可以用指定初始化器显式标注初始化的成员，避免因联合体成员顺序变动引发错误：

SomeReg reg1{ .wholeReg = 0 };
SomeReg reg2{ .wholeReg = card->readReg(REG2_ADDRESS) };

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