含volatile与非volatile标准布局类型的联合体使用合法性问询

第一个写法存在未定义行为（UB） #

union VU {
    int nv;
    volatile int v;
};

核心问题在于：int 和 volatile int 是不同的类型（cv修饰符属于类型的一部分）。根据C++标准，联合体的非活跃成员访问只有满足特定条件才合法——比如成员是兼容类型，或是共享公共初始序列的标准布局类。

而int与volatile int既不属于兼容类型，也不是标准布局类，因此给其中一个成员赋值后访问另一个成员的行为属于未定义行为。这和直接用const_cast去除简单变量的volatile修饰后访问的性质完全一致，本质是绕过了volatile的内存可见性约束，编译器可自由优化甚至生成错误代码。

第二个写法更规范的原因 #

union VU {
    struct {
        int v;
    } nv;
    struct {
        volatile int v;
    } v;
};

这种用标准布局结构体包裹成员的写法优势在于：

• 内存布局明确：两个结构体都是标准布局类型，它们的第一个成员v会占据联合体的起始内存地址，保证nv.v和v.v指向同一块内存。
• 访问语义切换合法：通过结构体包裹后，可合法在非volatile和volatile的访问语义间切换。虽然int和volatile int仍是不同类型，但标准允许访问标准布局类联合体成员的公共初始序列成员——这里两个结构体的首成员属于公共初始序列的一部分，因此读写nv.v后再读写v.v的行为是明确的，不会触发未定义行为。

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