std::bit_cast是零开销的编译期内建位重解释操作，要求源与目标类型大小相等且均为平凡可复制，否则编译失败；它生成单条寄存器指令，无函数调用、内存访问或别名风险。
std::bit_cast 能实现类型安全且无开销的底层位转换，但前提是严格满足两个编译期条件：源与目标类型大小相等、且均为 trivially copyable；不满足任一条件，编译直接失败，不存在“运行时妥协”。
std::bit_cast 为什么能零开销
它不是函数调用，而是编译器内建语义提示：告诉优化器“此处只需重解释位模式，无需构造/析构/内存拷贝”。在 O2 及以上优化级别下，Clang 12+ 和 GCC 11.1+ 通常将其编译为单条 mov（x86）、fmov（ARM64）或寄存器间 bitcast 指令，无函数调用、无内存访问、无额外寄存器搬运。
- 对比
memcpy：即使编译器能优化掉函数调用，仍可能残留 store-load 序列或对齐检查逻辑 - 对比
reinterpret_cast<T&>(x)：依赖引用别名，触发 strict aliasing 优化问题，-O2 下可能被错误优化掉 - 对比 union hack：C++17 后未写入成员的读取是未定义行为，且跨作用域/取地址后不可靠
哪些类型组合能用 std::bit_cast
必须同时满足：sizeof(From) == sizeof(To) 且 std::is_trivially_copyable_v<From> && std::is_trivially_copyable_v<To>。常见合法组合包括：
-
float↔uint32_t（都是 4 字节、平凡可复制） -
double↔uint64_t -
std::array<std::byte, 4>↔uint32_t - 两个 layout 兼容、无 padding 差异的 POD struct（如
struct { uint16_t a, b; }↔uint32_t，但需确认sizeof确实相等）
以下绝对不行：
立即学习“C++免费学习笔记（深入）”；
-
int→float（大小可能不等，且非标准保证；实际中多数平台是 4 字节，但 C++ 标准不强制） -
std::string或含虚函数的类 → 任何类型（非平凡可复制） -
std::vector<int>→int*（非平凡、大小不固定） -
const int→int（cv-qualifier 不匹配，编译失败）
std::bit_cast 常见编译错误及真实原因
错误信息往往直白但容易误读，关键看 static_assert 失败点：
-
static_assert failed due to requirement 'is_trivially_copyable_v<T>'：传入了非平凡类型，比如带用户定义析构函数的 struct，哪怕只写了~A() = default;也会使类型非平凡 -
source and destination types must have the same size：不是运行时检查，是sizeof编译期比较失败。例如std::chrono::nanoseconds底层可能是int64_t，但sizeof(nanoseconds)可能因 ABI padding ≠ 8 -
'bit_cast' is not a member of 'std'：C++20 未启用——CMake 中仅设set(CMAKE_CXX_STANDARD 20)不够，必须加set(CMAKE_CXX_STANDARD_REQUIRED ON)，否则低版本编译器静默降级 -
no matching function for call to 'bit_cast'：参数是指针（如std::bit_cast<float>(p)），而它只接受值（std::bit_cast<float>(*p)才合法）
对齐和生命周期这些细节不能靠 std::bit_cast 保底
它不检查、不修正、不延长生命周期——全靠你负责：
- 若目标类型要求更高对齐（如
alignas(16) __m128），而源对象来自普通栈分配（如char buf[16]），则行为未定义；应显式用alignas(16) char buf[16]; - 不要对临时对象或已析构对象调用：例如
std::bit_cast<int>(get_float_temp())，若get_float_temp()返回右值，其生命周期在完整表达式结束即终止，bit_cast可能读到垃圾位 - 它不处理端序：把
std::array<std::byte, 4>转成uint32_t，结果值随平台端序变化——这是预期行为，不是 bug
真正难的从来不是写对那一行 std::bit_cast<T>(x)，而是确保 x 的布局、对齐、生命周期、以及 T 的 triviality 都经得起编译器的静态审视。
