std::bit_cast仅在源与目标类型大小严格相等且均为平凡可复制类型时安全替代reinterpret_cast；它编译期检查、零开销、规避严格别名问题，但不处理对齐或符号语义。
std::bit_cast 在什么情况下能安全替代 reinterpret_cast？
只有当源类型和目标类型的对象表示长度严格相等、且二者都是可平凡复制（trivially copyable）时，std::bit_cast 才合法。它不是万能 reinterpret 工具，比如 std::bit_cast<int>(3.14)</int> 编译直接失败——因为 double 和 int 在多数平台长度不同（8 vs 4），静态断言会触发。
- 常见安全组合：
std::bit_cast<uint32_t>(float{1.0f})</uint32_t>（两者都是 4 字节） - 不安全但容易误用：
std::bit_cast<:array>>(int{42})</:array>——虽然字节数对得上，但std::array是聚合体，对象表示定义明确；而int的 padding 为 0，实际可行，但依赖实现细节，建议只用于 POD 基本类型或明确无 padding 的结构体 - 编译期常量友好：只要输入是常量表达式，
std::bit_cast结果也可用于模板非类型参数，reinterpret_cast不行
为什么 std::bit_cast 比 memcpy + union 更干净？
老办法常靠 memcpy 或 union 别名绕过 strict aliasing，但前者有潜在优化干扰（编译器可能不敢完全消除中间内存操作），后者在 C++17 后 union 成员访问未写入的分支是未定义行为（UB）。std::bit_cast 明确告诉编译器：“我只是重新解释位模式，不涉及任何语义转换”，生成代码就是纯寄存器 move（x86 上常为 mov，无内存访问）。
- 示例对比：
uint32_t u = std::bit_cast<uint32_t>(f);</uint32_t>→ 通常编译为单条指令；而uint32_t u; memcpy(&u, &f, sizeof(u));可能残留movd+movd或触发 store-forwarding 延迟 - union 方式如
union { float f; uint32_t u; } u{.f = f}; return u.u;，在 -O2 下虽常被优化掉，但标准不保证——尤其当 union 被取地址或跨函数传递时，风险陡增
哪些类型绝对不能传给 std::bit_cast？
编译器会在编译期检查，但错误信息往往不够直白。核心红线就两条：大小不等、不可平凡复制。
- 大小不等的典型报错：
static_assertfailure “size of From and To must be equal” —— 比如std::bit_cast<int64_t>(std::chrono::nanoseconds{1})</int64_t>，即使nanoseconds底层是int64_t，但它是类类型，sizeof 可能含 padding 或受 ABI 影响 - 非平凡复制类型：含用户定义构造/析构/拷贝函数的类，哪怕只有一行
~T() = default;（隐式声明析构函数会使类型非平凡）都会导致编译失败 - 注意对齐差异不报错但可能 UB：若目标类型要求更高对齐（如
alignas(16) struct X），而源对象未满足，则运行时可能触发 SIGBUS（尤其 ARM64）
如何在 C++20 前临时兼容？
没有真正零开销的 fallback。最接近的是用 std::memcpy 加 [[maybe_unused]] 抑制警告，并确保两端类型 size 和 triviality 一致——但这只是模拟行为，不是标准保证。
立即学习“C++免费学习笔记（深入）”；
- 不要用
reinterpret_cast强转指针再解引用：如*reinterpret_cast<uint32_t>(&f)</uint32_t>违反 strict aliasing，-O2 下可能产生错误结果 - 宏封装示例（仅限 C++17 及以下）：
#define BIT_CAST(To, from) []{ static_assert(sizeof(To) == sizeof(std::decay_t<decltype>), "size mismatch"); To to; std::memcpy(&to, &(from), sizeof(to)); return to; }()</decltype> - 真正需要跨版本零开销的场景，建议直接要求 C++20，别在旧标准上硬凑——因为
std::bit_cast的语义保障和优化提示是设计级的，不是语法糖
最容易被忽略的是：即使类型满足条件，std::bit_cast 对浮点数的 bit 解释仍遵循 IEEE 754，但整数端是否为有符号不影响位模式本身；不过后续用该整数做算术运算时，符号扩展行为就得自己兜底——它只管搬位，不管你怎么解读。
