reinterpret_cast结合二进制IO是否必然引发未定义行为？

在C++二进制输入输出场景中，我们常编写这类代码：

in_file.read(reinterpret_cast<char *>(&obj), sizeof(obj));
out_file.write(reinterpret_cast<const char*>(&obj), sizeof(obj));

本文将明确C++标准对这类操作的合法性判定，并解释其可行原因，同时对比std::bit_cast的替代方案。

问题背景 #

根据C++标准的类型别名规则：

允许将任意对象的对象表示视为std::byte（C++17起）、char或unsigned char的字节数组进行检查。

但存在两点疑问：

• sizeof(obj)和“将对象表示视为字节数组检查”是否涉及指针算术？标准是否允许这类指针算术？
• 如果上述操作存在未定义行为，是否应优先使用std::bit_cast转换为std::array来实现二进制IO？

例如bit_cast的实现方式：

写入操作 #

auto binary_rep = std::bit_cast<std::array<const char, sizeof(obj)>>(obj);
out_file.write(&binary_rep[0], sizeof(obj));

读取操作 #

std::array<char, sizeof(obj)> binary_rep;
in_file.read(&binary_rep[0], sizeof(obj));
obj = std::bit_cast<decltype(obj)>(binary_rep);

一、reinterpret_cast配合二进制IO的合法性 #

只要满足前提条件，这类操作完全符合C++标准，不存在未定义行为，核心原因如下：

1. 类型别名规则的明确允许
   C++标准唯一允许的跨类型别名访问场景，就是用char*、unsigned char*或std::byte*访问任意对象的存储。reinterpret_cast<T*>到上述三种字节类型指针的转换本身是标准许可的操作。
2. 指针算术的合法性
   将&obj转换为char*后，该指针指向对象的第一个字节。标准允许将对象的存储视为长度为sizeof(obj)的连续字节数组，因此在[ptr, ptr + sizeof(obj))范围内的指针算术（包括read/write函数内部的指针移动）完全合法，属于标准定义的“指向数组元素的指针算术”范畴。
3. 与IO函数语义匹配
   std::istream::read和std::ostream::write的参数设计就是接收char*/const char*和字节数，语义就是直接操作内存中的字节序列，和我们用字节指针访问对象存储的行为完全契合。

注意前提 #

• 对象obj必须是平凡类型（Trivial Type）：如果是非平凡类型（如含自定义构造/析构、虚函数等），直接读写内存表示会导致对象状态异常（比如虚表指针失效），这是逻辑错误，但不属于标准定义的“未定义行为”，只是违反了对象的语义规则。
• 读写两端需保持内存布局一致（相同编译器、编译选项、字节序），否则会出现数据解析错误，但这是跨环境兼容性问题，与C++标准的未定义行为无关。

二、bit_cast替代方案的适用场景 #

用std::bit_cast配合std::array的方式同样合法，但并非必须优先选择，两者各有优劣：

• bit_cast的优势：C++20引入的类型安全位级转换，明确保证逐位复制源对象到目标类型，无需手动处理指针转换，可读性更强；部分编译器会对其做针对性优化，性能表现更稳定。
• reinterpret_cast方案的优势：无需额外临时数组存储，直接操作对象内存，减少一次内存拷贝，在性能敏感场景更有优势；同时兼容C++20之前的标准，无版本依赖。

两种方案均符合标准，选择取决于你的C++版本要求、代码可读性需求和性能考量。

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