std::bit_cast仅适用于平凡可复制且大小相等的类型；不可用于含虚函数、引用或非平凡构造/析构的类，也不支持指针类型转换，但可在constexpr中安全重解释位模式。
std::bit_cast 什么时候能用、什么时候不能用
std::bit_cast 的核心限制是：源类型和目标类型必须是 trivially copyable，且 sizeof 恰好相等。它不检查语义兼容性，只做逐字节复制 —— 这意味着你不能拿 int 和 float 直接互转（虽然大小相同），除非你明确知道 IEEE 754 布局且愿意承担可移植性风险；但可以安全地在 uint32_t 和 float 之间转换，因为标准保证它们都是 4 字节、trivial。
常见误用场景：
- 对非 trivial 类型使用，比如含虚函数、引用、用户定义构造/析构的类 —— 编译直接报错：
static_assert failed due to requirement 'is_trivial_v<...>'</...> - 大小不匹配，例如
std::bit_cast<int64_t>(char{0})</int64_t>—— 编译期拒绝，不会静默截断 - 跨平台时假设浮点布局一致（如 x86-64 与 ARM64 都用 IEEE 754，但某些嵌入式平台可能不）
替代 reinterpret_cast 的典型安全场景
当你要把一块内存按另一种类型“重新解释”，又不想写 reinterpret_cast + memcpy 组合，std::bit_cast 就是为此设计的。它比手写 memcpy 更清晰、更易被编译器优化（通常内联为 mov 指令）。
典型用途：
立即学习“C++免费学习笔记（深入）”；
- 将整数位模式转为对应精度浮点数：
std::bit_cast<float>(0x3f800000u)</float>→1.0f - 序列化/反序列化中绕过严格别名规则：
std::bit_cast<:array>>(value)</:array>提取 raw bytes - 在 constexpr 上下文中做编译期位重解释（C++20 要求
std::bit_cast是 constexpr 函数）
注意：std::bit_cast 不允许对指针类型做转换（如 int* → char*），这类仍需 reinterpret_cast 或 std::bit_cast<:uintptr_t>(ptr)</:uintptr_t> 中转。
和 memcpy / union 的实际性能与可读性对比
三者在优化后生成的汇编常常完全一样（尤其是 -O2 及以上），但语义和约束不同：
-
memcpy：通用、安全，但需要临时缓冲区或额外变量，可读性差，且非 constexpr（C++20 前） - union：C 风格常用，但 C++ 中读取未写入的成员是未定义行为（即使大小相同），编译器可能做激进优化导致出错
-
std::bit_cast：语义明确、constexpr 友好、编译期检查强 —— 唯一推荐用于“纯位重解释”的现代写法
示例对比（提取 float 的 IEEE 整数表示）：
float f = 3.14f;
// ✅ 推荐：清晰、安全、constexpr 可用
uint32_t bits = std::bit_cast<uint32_t>(f);
// ⚠️ 不推荐：union 在 C++ 中有 UB 风险
union { float f; uint32_t u; } u = {f}; uint32_t bits2 = u.u;
// ? 避免：memcpy 冗长且不可 constexpr
uint32_t bits3;
std::memcpy(&bits3, &f, sizeof(bits3));
容易忽略的对齐与别名问题
std::bit_cast 本身不引入对齐问题 —— 它要求源和目标类型具有相同对齐要求（否则编译失败）。但它无法绕过 strict aliasing 规则对指针访问的影响。比如你用 std::bit_cast 得到一个 int*，再解引用它，仍然要确保该内存确实是以 int 类型合法分配/对齐的。
关键点：
- 它只作用于值（rvalue），不改变原始对象的类型或生命周期
- 转换结果是 prvalue，不能绑定到非 const lvalue 引用（除非用
const auto&） - 如果源对象是 const 或 volatile 限定的，
std::bit_cast会保留这些限定符（即const float→const uint32_t）
最常被跳过的细节：你不能用 std::bit_cast 来“绕过” const 正确性 —— 如果原值是 const int，转成 int 后仍是 const，想修改就得另想办法（而这通常说明设计有问题）。
