std::bit_cast不能替代reinterpret_cast，因为它仅在源目标类型大小严格相等且均为平凡可复制时合法，否则编译直接失败；而reinterpret_cast无此限制，但易引发未定义行为。
std::bit_cast 为什么不能替代 reinterpret_cast
它不是 reinterpret_cast 的语法糖，而是编译器保证的、严格类型安全的位拷贝。前提是源和目标类型必须 std::is_trivially_copyable_v 且大小相等，否则编译直接失败——这恰恰是它“安全”的核心：把运行时未定义行为提前拦在编译期。
常见误用是试图用它绕过 strict aliasing 规则做读写，比如 std::bit_cast<float>(0x3f800000)</float> 合法，但 std::bit_cast<int>(some_float)</int> 不合法（引用类型非 trivially copyable）。
- 只接受值，不接受引用或指针；传入左值会触发拷贝，传右值也一样
- 不能用于含虚函数、非平凡构造/析构、对齐要求不同的类型组合
- 目标类型若含 padding byte，其值由源类型对应位决定，不可假设为零
何时该用 std::bit_cast 而不是 memcpy
当你需要把一块内存按新类型语义解释，又不想手写 memcpy + 对齐检查 + 编译器优化担忧时，std::bit_cast 是更干净的选择。它生成的汇编通常就是单条 mov 或 movq，和手写 memcpy 在优化后效果一致，但语义更明确。
典型场景：网络字节序转换、浮点/整数位模式互转、序列化中间表示转换。
立即学习“C++免费学习笔记（深入）”；
- 用
std::bit_cast<uint32_t>(1.0f)</uint32_t>比uint32_t u; memcpy(&u, &f, sizeof(u));更简洁且免去对齐警告 - 不能用于变长类型（如
std::string），也不能跨平台假设 float 一定是 IEEE754（虽然几乎总是） - 在 constexpr 上下文中可用（C++20 起），而
memcpy在 constexpr 中受限
容易被忽略的对齐与填充陷阱
即使 sizeof(T) == sizeof(U)，如果二者对齐要求不同，std::bit_cast 仍可能失败。例如某些平台下 long long 对齐为 8，而 double 对齐为 16，此时 std::bit_cast<double>(some_ll)</double> 编译不过。
更隐蔽的是结构体：两个大小相同的 struct，因成员顺序不同导致 padding 分布不同，std::bit_cast 会原样复制 padding 位，可能导致目标类型中 padding 被解释为有效数据（比如某 bit 被当作标志位）。
- 检查对齐：用
alignof(T)和alignof(U)确保相等 - 避免对含 padding 的 struct 使用 bit_cast，除非你明确控制布局（如加
[[gnu::packed]]或#pragma pack） - 测试时建议开启
-Wpadded查看编译器是否插入 padding
兼容性与替代方案（C++20 之前怎么办）
std::bit_cast 是 C++20 引入的，老项目若需兼容 C++17 或更早，只能手写等效逻辑。最稳妥的是 union + static_assert，但 union 方式在 C++17 中对非 trivial 类型仍属未定义行为；更通用的做法仍是 memcpy + 类型尺寸/可复制性断言。
别用 reinterpret_cast + 指针解引用模拟，那会触发 strict aliasing 违规，编译器可能优化掉关键代码。
- C++17 及以前推荐封装：
template<typename to typename from> constexpr To bit_cast(const From& src) { static_assert(sizeof(To) == sizeof(From) && std::is_trivially_copyable_v<from> && std::is_trivially_copyable_v<to>); To dst; memcpy(&dst, &src, sizeof(dst)); return dst; }</to></from></typename> - Clang/GCC 在 -O2 下对此类 memcpy 会自动内联为 mov，无需担心性能
- MSVC 对 union 版本支持较好，但注意 /permissive- 模式下可能报错
真正难的不是写出来，而是确认两端类型的内存布局是否真的“一一对应”——尤其涉及 ABI、小端/大端、padding 和对齐时，靠猜不如实测。
