std::bit_cast不可手动实现，因其是编译器内建的零开销、严格符合严格别名规则的位拷贝操作；memcpy、union或reinterpret_cast均无法完全等价，易引发未定义行为或优化问题。
std::bit_cast 不能手动实现等效逻辑 —— 它是编译器内建的、零开销、严格满足类型别名规则（strict aliasing）的位拷贝操作，任何用 memcpy、联合体（union）或 reinterpret_cast 模拟的行为，在标准语义下都不完全等价，且可能被优化破坏或触发未定义行为。
为什么不能用 memcpy 替代 std::bit_cast
表面上看，std::bit_cast<t>(x)</t> 等价于“把 x 的字节原样复制给 T”，而 memcpy 正好干这事。但关键差异在于：编译器知道 std::bit_cast 是无副作用、无对齐/别名顾虑的纯位重解释，可安全优化（比如常量传播、寄存器直传）；而 memcpy 是函数调用，即使内联，也可能因别名分析保守而禁用某些优化，尤其在涉及指针别名或跨作用域时。
- 若目标类型
T有非平凡构造/析构，memcpy不会调用它们，但std::bit_cast也**不调用**——二者在此一致；但标准只要求std::bit_cast对 trivially copyable 类型有效，这点必须遵守 -
std::bit_cast要求源和目标大小严格相等（sizeof(From) == sizeof(To)），编译期检查；memcpy不检查，容易误用 - 某些平台（如带严格别名检查的 ARM64 或开启
-fstrict-aliasing的 GCC/Clang）下，通过char*指针读写不同类型的对象，可能被优化成错误结果
联合体（union）方式为何不安全
常见写法：
template<typename T, typename U>
T unsafe_bit_cast(U u) {
union { U u; T t; } tmp{.u = u};
return tmp.t;
} 这在 C++20 前被广泛使用，但它是未定义行为（UB）：C++ 标准只允许读取最后写入的那个成员，且该 union 必须为标准布局（standard-layout），而即使满足，访问非活跃成员仍违反 [basic.life]/8 和 [class.union]/5。
- Clang/GCC 在高优化等级（如
-O2）下可能将该 union 优化掉，返回未初始化值 - 启用
-fsanitize=undefined会直接报member access within misaligned address或load of misaligned address - 即使加
[[maybe_unused]]或volatile强制读写，也无法消除 UB，只是掩盖
哪些场景必须用 std::bit_cast，而非老方法
核心是：需要**编译期可验证、运行时零成本、且能通过严格别名检查**的位级 reinterpret。典型包括：
- 浮点数与整数间精确位映射（如 IEEE 754 sign-bit 提取、哈希计算）：
std::bit_cast<uint32_t>(3.14159f)</uint32_t> - 窄类型到宽类型填充（如
uint8_t→uint32_t零扩展）——注意：这要求大小相等，所以实际常用的是std::bit_cast<uint32_t>(uint32_t{val})</uint32_t>先转中间类型 - 序列化中字段对齐转换（如从网络字节序
std::array<:byte></:byte>到uint32_t） - 配合
constexpr做编译期位运算（如颜色通道分离）：只要源/目标都是字面量类型（literal type）且 trivially copyable，std::bit_cast就是constexpr
容易忽略的限制和陷阱
std::bit_cast 看似简单，但几个硬性约束常被忽略：
立即学习“C++免费学习笔记（深入）”；
- 源类型和目标类型都必须是
trivially_copyable，否则编译失败（如含虚函数、非平凡构造函数的类） - 两者
sizeof必须完全相等；哪怕差 1 字节（如int32_tvsint64_t），就是编译错误，不会截断或补零 - 不处理字节序转换 —— 它只是内存字节的逐位搬运，大小端由平台决定；跨平台时需自行处理 endianness
- 不能用于指向成员的指针、函数指针、不完整类型，也不能用于包含
std::byte以外的 cv-qualified 类型（如const int→int是允许的，但int*→const int*不行）
最常踩的坑是：想用它绕过类型系统做“逻辑转换”，比如把 std::vector<int></int> 的 data 指针 bit_cast 成 float* —— 这既违反大小要求（指针大小虽等，但 vector 本身不是 trivially copyable），也违背设计初衷。它只负责两个对象之间的位拷贝，不是泛型 reinterpret 工具。
