通过结构体成员类型双关实现数组赋值是否属于C++未定义行为？

1. 该操作属于未定义行为、实现定义行为还是良定义行为？ #

这个操作属于未定义行为（UB），核心原因是违反了C++标准中的严格别名规则。

C++标准明确规定：程序不能通过一个类型的左值访问另一个不兼容类型的对象，仅允许少数例外场景（比如通过char/signed char/unsigned char类型的左值访问任意对象，或访问带有不同cv修饰符的同类型对象等）。

示例代码中，我们通过reinterpret_cast将int[2]类型的数组强制转换为自定义结构体s的引用，随后通过该引用完成赋值——这本质上是用结构体类型的左值来访问数组对象，而结构体s与数组int[2]并不属于标准允许的兼容别名类型，因此完全符合未定义行为的范畴。

虽然部分编译器在默认编译选项下不会报错，且运行结果符合预期，但这只是编译器的非标准“宽容”实现，并不代表该操作符合C++标准的要求。

2. 假设该操作不属于未定义行为，使用该技巧实现数组赋值的合理性如何？ #

即便忽略未定义行为的风险，这个技巧的实用价值也极低，对比逐个元素循环赋值，劣势非常明显：

• 可读性与维护性极差：这段代码的赋值逻辑极其隐晦，其他开发者需要额外梳理类型转换的逻辑才能理解意图，后续维护时极易出现误解或修改错误。
• 无性能优势：现代编译器对逐个元素循环赋值会进行充分优化（比如自动循环展开、生成与memcpy等价的高效机器码），该技巧在性能上没有任何额外收益。
• 依赖隐性内存布局假设：即使操作合法，也依赖“结构体s的内存布局与数组完全一致”的前提——虽然标准布局结构体的第一个成员不会有前置填充，但这种不必要的隐性约定会降低代码的健壮性。
• 移植性与兼容性差：不同编译器的警告策略不同，启用高等级警告后大概率会触发类型转换相关的警告，甚至可能被某些严格的编译器直接拒绝编译。

如果想要简洁高效的数组赋值，直接使用std::copy或std::memcpy会是更合理的选择，既符合C++标准，又具备良好的可读性和性能。

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