历史：在C++20之前，开发者依赖于reinterpret_cast、联合体或std::memcpy来重新解释对象表示。这些方法要么通过严格别名规则或活动成员规则引发未定义行为，要么缺乏类型安全性和constexpr支持。委员会引入了std::bit_cast，以提供一种定义良好的机制，用于将一种类型的对象表示视为另一种类型。
问题：std::bit_cast必须保证源对象的位模式在目标对象中完全保留，而不引发未定义行为。这要求源类型可以安全地逐字节复制（平凡可复制），并且在传输过程中不会丢失或造假信息（大小相等）。没有这些约束，该操作可能会切割对象，绕过私有复制语义，或者为目标类型创建无效的位模式。
解决方案：标准要求这两种类型都必须是平凡可复制的（允许逐字节复制），并且具有相同的大小。实现执行与std::memcpy类似的位拷贝，但具有类型安全性和constexpr评估支持。这避免了指针转换的严格别名问题和联合体的活动成员限制，为类型混淆提供了可移植的、可优化的原语。
struct Packet { uint32_t id; float value; }; static_assert(std::is_trivially_copyable_v<Packet>); Packet p{42, 3.14f}; auto bytes = std::bit_cast<std::array<std::byte, sizeof(Packet)>>(p); Packet restored = std::bit_cast<Packet>(bytes);
在一个多玩家游戏引擎中，物理系统生成变换结构，包含浮点位置和旋转数据。网络层必须将这些数据作为原始字节传输，且没有零复制开销。最初的实现使用reinterpret_cast<const std::byte*>(&transform)来获取字节序列，但这违反了严格的别名规则，并在激进的编译器优化（-fstrict-aliasing）下导致崩溃。
手动字段提取：单独使用位移将每个浮点序列化到字节缓冲区中。这种方法保证了定义行为，并显式处理字节序转换。然而，这需要数百行样板代码来处理复杂结构，当字段发生变化时，维护成本很高，并且在大型数组的循环操作中产生可测量的CPU开销。
联合类型混淆：定义union TransformPayload { Transform t; std::byte bytes[sizeof(Transform)]; }并在写入变换成员后访问字节成员。虽然在GCC和Clang中作为编译器扩展得到支持，但这违反了**C++**标准的活动成员规则（同一时间只能激活一个联合成员）。这导致的未定义行为在启用链接时优化（LTO）时表现为不正确的字节值。
std::memcpy：使用std::memcpy(dst, &transform, sizeof(Transform))将变换复制到字节数组中。这对于平凡可复制类型是定义良好的，并优化为单一的CPU指令。然而，它需要预分配存储，在C++20之前的上下文中缺乏constexpr支持，并且与类型转换操作相比模糊了代码的意图。
std::bit_cast：直接使用auto packet = std::bit_cast<std::array<std::byte, sizeof(Transform)>>(transform);转换结构。这提供了constexpr支持的类型安全转换，明确表达意图，允许在自动化测试期间的编译时验证数据包结构。它需要C++20支持，并要求Transform是平凡可复制的，物理系统已保证这一点，而且语法清晰地表达了位级重新解释，而没有指针转换的模糊性。
团队在将构建系统迁移到C++20之后选择了std::bit_cast。它消除了未定义行为，同时保持了联合混淆的简洁语法，而constexpr能力允许在编译时验证网络数据包的构造，确保编码质量。
网络模块通过了UBSan和ASan检查，无需抑制规则。性能基准显示与memcpy相同的吞吐量（在x86_64上每次转换0.3ns），而静态分析工具不再标记别名违规。代码在生产中成功反序列化每秒100,000个变换。
为什么std::bit_cast要求源类型和目标类型具有相同的大小，如果类型之间的填充字节不同会怎样？
相同大小的要求确保位模式之间的双射关系；没有位被截断或伪造。如果大小不同，则转换是非法的。填充字节被准确保留，但如果目标类型具有不同的填充要求，则稍后通过目标类型读取这些填充字节仍然是有效的（它们成为目标对象的值表示的一部分），但是值是未指定的。这意味着std::bit_cast可以复制填充，但不能可移植地将填充位解释为具有特定值。
std::bit_cast如何与reinterpret_cast在对象生命周期和存储持续时间上不同？
reinterpret_cast创建对同一存储位置的别名，如果类型无关，可能违反严格别名规则，它不创建新对象。std::bit_cast在概念上创建了一个具有自动存储持续时间的目标类型的新对象（如果在常量表达式中使用，则具有constexpr存储），从源类型复制位模式。它不创建别名；源和目标是不同的对象。这一区别使得std::bit_cast可以在constexpr上下文中使用，而reinterpret_cast被禁止，因为它不需要通过可能逃脱常量求值的指针进行转换。
std::bit_cast能否用于将指针转换为同一大小的整数，尽管这可能会产生实现定义的结果？为什么会这样？
是的，如果sizeof(T*) == sizeof(U)，std::bit_cast可以在它们之间转换，因为指针是平凡可复制的。然而，结果是实现定义的，因为标准没有为指针值的特定表示（例如，分段寻址、标记指针）强制要求特定标准。虽然位被准确保留，但将这些位解释为整数或重新转换为指针会产生实现定义的值。这与reinterpret_cast不同，后者保证指针与整数之间的往返转换（如果整数类型足够大），但std::bit_cast将指针视为位的集合，丧失了编译器用于别名分析的来源信息。