直接用fwrite写结构体出错,因内存存在填充字节且非pod类型(如std::string)仅写指针值;须确保pod、统一打包对齐、校验字节序与读写长度。

struct 直接写入文件会出错,因为内存布局不等于二进制协议
直接用 fwrite(&obj, sizeof(MyStruct), 1, fp) 看似简单,但多数情况下读出来是错的。根本原因不是“没保存”,而是结构体在内存中存在填充字节(padding),且不同编译器、不同平台、甚至同一编译器不同优化级别下,sizeof(MyStruct) 可能变化。更严重的是,如果结构体含指针、std::string、std::vector 等非 POD 类型,sizeof 完全不反映实际数据长度——写进去的只是指针值,读出来就是野地址。
所以必须明确:只有纯 POD(Plain Old Data)结构体才可考虑按位序列化,且需强制对齐一致。
- 确认结构体是 POD:
std::is_pod_v<mystruct></mystruct>或 C++17 起用std::is_standard_layout_v+std::is_trivial_v - 禁用编译器自动填充:用
#pragma pack(1)或[[gnu::packed]](GCC/Clang),MSVC 用#pragma pack(push, 1) - 避免跨平台混用:x86 和 ARM 对
char对齐要求一致,但int64_t在某些旧嵌入式平台可能不对齐,统一用固定宽整型(int32_t,uint64_t)
如何安全地序列化含数组或嵌套 POD struct 的二进制结构
只要子成员全是 POD,整个结构体仍可视为 POD。但要注意:数组是没问题的,而嵌套 struct 必须也满足对齐和 POD 条件,否则外层 sizeof 会包含不可控 padding。
示例中这个结构体可以安全序列化:
struct Header {
uint32_t magic;
uint16_t version;
char name[32];
};
<p>struct Record {
uint64_t timestamp;
Header hdr;
float values[4];
};</p>
但下面这个不行(std::array 没问题,但 std::vector 绝对不行):
// ❌ 错误:std::vector 不是 POD,其 size/capacity 存在,data 指针无效
struct BadRecord {
uint64_t ts;
std::vector<float> data; // 不能直接 fwrite
};</float>
- 若需动态数组,应拆成两部分:先写固定头(含
size_t count),再写原始数据块(float*地址 +count * sizeof(float)) - 嵌套 struct 推荐显式加
[[gnu::packed]],不要依赖外层 pragma —— 否则某个头文件里悄悄改了 pack 值,就全崩了 - 读取时务必校验 magic 和 version,防止文件损坏或版本错配导致越界读
fread/fwrite 封装成 RAII 函数时,必须检查返回值和字节数
很多人封装一个 save_to_file(const T& obj, const char* path) 就完事,但 fwrite 返回成功写入的项数,不是字节数;若磁盘满、权限不足、路径不存在,它可能只写了一半就返回 0,而你毫无察觉。
- 每次调用后必须判断:
if (fwrite(...) != 1) { perror("write failed"); return false; } - 使用
fseek(fp, 0, SEEK_END); long len = ftell(fp);验证写入长度是否匹配预期(sizeof(T)) - 推荐用
std::ofstream的write(reinterpret_cast<const char>(&obj), sizeof(obj))</const>,但注意:仍要检查os.good()和os.tellp() - 打开文件务必用
"wb"/"rb"模式,Windows 下文本模式会把\n转成\r\n,彻底破坏二进制一致性
跨平台读写时最容易忽略的字节序(endianness)问题
Intel x86 是小端,ARM 默认小端但可配大端,网络协议一般用大端。如果你的结构体含 uint32_t 或 int64_t,直接读写在不同机器上会得到完全相反的数值——这不是 bug,是事实。
解决方法不是“统一用网络字节序”,而是定义协议时明确字段字节序。常见做法:
- 所有整型字段默认存为小端(兼容 x86/ARM 主流),并在文档中标注 “LE”
- 需要跨架构兼容时,读写前手动转换:
htole32(x)(host to little-endian)或le32toh(x)(little-endian to host),POSIX/GNU libc 提供,Windows 需自定义或用_byteswap_ulong - 不要依赖
ntohl:它是大端转主机序,而主机序可能是小端,结果反而翻错了 - 浮点数(
float/double)IEEE 754 格式本身与字节序无关,但存储顺序仍受平台影响,所以仍需统一字节序处理
对齐、POD 判定、错误检查、字节序——这四个点漏掉任意一个,二进制序列化就会在某个环境、某次更新、某类数据上静默失败。
C++免费学习笔记(深入):立即使用
在学习笔记中,你将探索 C++ 的入门与实战技巧!











