c++的类型双关(Type Punning)有哪些安全和危险的做法？ (std::bit_cast vs union)

std::bit_cast是c++20起唯一标准定义安全的类型双关方式，要求源目标类型大小相等、trivially_copyable，仅比特复制；union读写在C++17前为UB，C++20限制仍严；reinterpret_cast和void*中转均不安全；memcpy是C++20前最可靠替代。

std::bit_cast 是目前最安全的类型双关方式

从 C++20 开始，std::bit_cast 是唯一被标准明确定义为“合法且无未定义行为”的类型双关机制。它要求源和目标类型大小严格相等、均为 trivially_copyable，且不涉及指针/引用重解释——只做比特位复制。

常见误用点：传入 std::vector 或含 padding 的 Struct 会编译失败；对 Float 到 uint32_t 这类固定尺寸转换最稳妥。

float f = 3.14f; uint32_t bits = std::bit_cast(f); // ✅ 安全、明确、可优化 // uint32_t bits = *reinterpret_cast(&f); // ❌ 可能触发 strict aliasing 优化错误

• 编译期检查尺寸和可复制性，出错即报红，不靠运行时行为赌运气
• 生成的汇编通常就是一条 mov（无内存读写），性能不打折扣
• 不能用于跨平台浮点布局假设（如 IEEE 754 非强制，但实际几乎全部满足）

union 成员读取是未定义行为，除非满足窄条件

在 C++17 及之前，通过 union 写入一个成员后读取另一个成员（即使大小相同）属于未定义行为（UB）。C++20 引入了“活跃成员”例外：若两个成员共用同一段内存且无非静态数据成员（即 plain old data），且读取的是“可表示为字节序列”的类型，则允许——但该规则极其脆弱，且主流编译器（GCC/Clang）并未完全按此实现。

典型翻车场景：union { int i; float f; } u; 先赋值 u.i = 0x3f800000，再读 u.f —— 看似合理，但可能被优化掉、或在 -O2 下产生意外结果。

立即学习“C++免费学习笔记（深入）”；

• 即使编译通过，-fstrict-aliasing（默认开启）会让编译器假定不同类型的指针不重叠，从而删除看似“冗余”的读取
• Clang 的 -Wunsafe-buffer-usage 和 GCC 的 -fsanitize=undefined 可能不捕获 union 类型双关
• 仅当 union 所有成员都是标准布局、无构造函数/析构函数、且你**完全控制内存对齐与填充**时才勉强可控

reinterpret_cast + memcpy 是兼容性最强的“手动 bit_cast”

当无法使用 C++20（如嵌入式环境或旧工具链），memcpy 绕过类型系统是最广泛认可的安全方案。它不触发别名规则，因为 char* 是唯一被允许别名其他类型的指针类型。

float f = -1.0f; uint32_t bits; static_assert(sizeof(f) == sizeof(bits)); memcpy(&bits, &f, sizeof(bits)); // ✅ 明确、可移植、无 UB

• 比 std::bit_cast 多一次函数调用开销，但现代编译器基本内联为 mov 指令
• 必须手动校验 sizeof 相等，否则 memcpy 会越界或截断（例如 double → uint32_t）
• 不能用于非 trivially_copyable 类型（如含虚函数、引用成员的 class）

哪些做法绝对要避免

以下操作在任何标准版本、任何主流编译器下都不可靠：

• 直接 reinterpret_cast(f) —— 严格别名违规，-O2 下可能返回垃圾值或 0
• 通过 void* 中转再 cast：*(uint32_t*)static_cast(&f) —— 本质仍是 reinterpret_cast，不改变语义
• 用 std::memcpy 拷贝到非 trivial 类型对象（如 std::String）—— 即使大小匹配，也会破坏内部状态
• 依赖 __attribute__((packed)) 或 #pragma pack 强制 union 对齐后读取——padding 行为仍由 ABI 决定，不可跨平台保证

类型双关真正的复杂点不在语法，而在于你是否清楚自己正在绕过编译器的类型安全假设。哪怕 std::bit_cast 正确使用，也要确认两端类型的二进制表示在目标平台上确实是互操作的——比如 int32_t 和 float 的字节序一致，且浮点格式是预期的 IEEE 754。