通过索引访问C++结构体成员与未定义行为的合理性探讨

先看你给出的示例代码：

#include <iostream>

struct VehicleState
{
    struct State
    {
        double x, y, v, yaw;
    };

    union
    {
        State st;
        double arr[4];
    };
};


int main()
{
    VehicleState state;
    state.st.x = 1;
    state.st.y = 2;
    state.st.v = 3;
    state.st.yaw = 4;
    for (auto value : state.arr)
        std::cout << value << std::endl;
}

这段代码在主流编译器上能正常输出预期值，但标准将「写入union的st成员后读取arr成员」的行为定为未定义行为，核心依据有三个：

• 结构体内存布局无强制紧凑保证
  C++标准没有规定POD结构体的成员必须连续无填充。虽然double类型的对齐需求通常不会让State产生填充字节，但如果后续修改结构体成员类型、或者编译器启用特殊对齐规则，State的成员之间可能出现padding。此时arr[4]的元素无法和st的成员一一对应，读取arr会得到无效的填充数据。

• 强类型系统的严格约束
  C++是强类型语言，union的不同成员属于不同的类型实体。标准明确规定，只有最近被写入的union成员是合法的读取对象。跨成员访问本质是类型双关——用数组类型去读取结构体类型的内存，这违反了类型系统的规则，属于未定义行为，哪怕两种类型的内存布局看起来完全一致。

• 编译器优化的自由度需求
  编译器会基于「程序仅访问合法union成员」的假设进行优化。比如编译器可能将st.x的赋值直接存在寄存器中，不写入内存；或者在分析代码时，判定arr的访问是无效操作，直接将其优化掉。虽然当前主流编译器默认未做这类极端优化，但标准允许编译器这么做，依赖这种行为会导致程序在不同环境下的表现不可控。

你现在没遇到问题，是因为GCC、Clang、MSVC等主流编译器对POD类型的union做了「内存布局一致」的扩展支持，但这不是标准要求的特性，不能作为通用规则依赖。比如在某些嵌入式编译器、或者开启严格优化选项（如-fstrict-aliasing）时，程序就可能出现不符合预期的结果。

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