使用联合体时的“container punning”是否属于定义行为？

嘿，这个问题问得特别到位！我来给你掰扯得明明白白：你说的这种「把同基础类型的数据塞进联合体的不同成员（比如直接存基础类型，或者用结构体包裹同类型），再通过不同成员访问」的用法，在C标准里完全合规、安全，绝对不属于未定义行为（UB）。

先划个核心规则：C99及之后的所有C标准（包括C11、C17）里有个关键规定——如果联合体的多个成员拥有「共同初始序列」，写入其中一个成员后，读取另一个成员的共同初始部分是合法的。而你的场景更简单：所有成员的底层都是同一种基础类型（比如全是int，或者全是double），相当于整个成员都是共同初始序列，这种跨成员访问自然被标准允许。

举个实际代码例子你就懂了：

union Container {
    int plain_val;
    struct { int wrapped_val; } boxed;
    struct { int packed_val; } another_box;
};

// 实际用法
union Container data;
data.plain_val = 42;
printf("%d\n", data.boxed.wrapped_val); // 完全合法，输出42
data.another_box.packed_val = 100;
printf("%d\n", data.plain_val); // 同样合法，输出100

这种代码不管是GCC、Clang还是MSVC，编译运行都不会出问题，编译器也不会因为优化搞出奇怪的行为——它们能明确识别这些成员的底层存储是同类型的。

这里得和大家常说的「类型双关UB」划清界限：那种UB场景是指用联合体访问不同基础类型的成员（比如int和double互访），或者用指针强制转换（比如把int*转成double*再解引用）。但你这种是同基础类型的不同容器包装，本质上访问的是同一块内存里的同类型数据，完全在标准的允许范围内。

哦对了，要是你用的是C++，情况会有点不一样（C++标准对联合体的访问限制更严格），但看你的问题描述，应该是针对C语言的场景对吧？那完全不用慌。

总结一下：你这种用法是标准明确许可的，安全可靠，不属于未定义行为，放心用就好！

备注：内容来源于stack exchange，提问作者Vince W.