为什么C++ std::bit_cast要求To和From均为平凡可复制类型？

你提到的std::memcpy本身不强制要求操作数是平凡可复制类型，但std::bit_cast却对To和From都加了这个限制，核心原因在于C++标准对对象生命周期和内存操作的严格语义约束，而非单纯的memcpy实现层面的限制。

1. 确保From对象的内存表示是“有效可复制的” #

非平凡可复制类型的对象，内存中可能包含不属于对象值本身的状态——比如虚函数表指针、指向内部资源的指针、编译器生成的异常处理辅助数据等。即便只是读取这些字节，它们的组合也不一定能代表一个合法、可被其他类型解释的“值”。

举个例子：如果From是带虚函数的类，内存开头的虚表指针指向当前类的虚函数表，把这些字节bit_cast到其他类型后，这个指针完全无意义，后续误操作转换后的对象会直接导致未定义行为。更关键的是，标准不保证非平凡可复制类型的内存字节是稳定或可移植的——不同编译器、优化级别下，这类对象的内存布局可能存在差异，bit_cast的结果完全不可预测。

2. 保证bit_cast的行为双向且可预测 #

std::bit_cast的设计目标是提供类型安全的、等价于逐字节复制的转换，且要求转换可逆：如果bit_cast<To>(from)得到to，那么bit_cast<From>(to)应该能还原出from。如果From不是平凡可复制类型，这种可逆性无法保证——非平凡可复制类型的对象可能存在隐式状态，无法通过单纯的字节复制还原。

比如std::vector，它的内存包含堆内存指针、大小和容量字段。把这些字节bit_cast到其他类型再转回来，得到的vector内部指针已经失效，操作它会直接触发未定义行为。

3. 对齐和对象生命周期的合规性 #

std::bit_cast不只是复制字节，还要确保转换后的To对象是合法构造的。对于非平凡可复制类型的From，标准不保证其字节的对齐方式符合To类型的要求，也不保证从这些字节构造出的To对象生命周期合规。而平凡可复制类型的内存布局是标准明确规定的，对齐、字节顺序等都有保证，bit_cast的结果符合标准语义。

关于“安全规避”该要求 #

严格来说，任何违反标准要求的使用方式都是未定义行为，没有绝对的“安全”可言。但在实际工程中，如果你对目标平台的内存布局、编译器行为完全清楚，且能确保：

• From对象的内存字节仅包含“值语义”数据，无额外隐式状态
• To和From的大小完全一致，对齐要求兼容
• 转换后的对象不会触发任何依赖非平凡构造/析构的操作

可以手动用std::memcpy模拟bit_cast的行为，就像你给出的示例：

From from{};
To to;
static_assert(sizeof(to) == sizeof(from));
std::memcpy(&to, &from, sizeof(to));

但这种写法可移植性极差，一旦更换编译器、平台，或修改From/To的定义，很可能触发未定义行为（比如崩溃、数据损坏），所以非必要不建议这么做。

内容的提问来源于stack exchange，提问作者lobelk