结构体直接 memcpy 序列化常出错，因编译器自动插入填充字节导致跨平台布局不一致；须用 #pragma pack(1) 或 alignas(1) 显式禁用对齐，并统一两端定义、处理字节序、避免非 POD 成员。
结构体直接 memcpy 序列化为什么经常出错
因为默认情况下结构体成员会按编译器规则自动对齐，比如 int 对齐到 4 字节边界、double 到 8 字节，中间可能插入填充字节（padding）。你用 memcpy 把整个结构体 dump 出去，读取端若编译环境不同（如不同平台、不同编译器、甚至不同优化级别），填充位置和大小可能不一致，导致字段错位或读出垃圾值。
常见错误现象：sizeof(MyStruct) 比所有成员大小之和大；跨平台传输后 int 字段值变成负数或极大值；调试时发现某个 char 字段后面跳了 3 字节才到下一个 int。
- 必须显式控制对齐，禁用默认 padding
- 推荐用
#pragma pack(1)或alignas(1)（C++11 起），但注意#pragma pack是编译器扩展，gcc/clang和msvc都支持，且作用域更明确 - 不要只在定义处加
pack，序列化/反序列化两端的结构体定义必须完全一致（包括头文件包含顺序、宏定义状态）
如何安全地把结构体写入字节流并读回
核心是：保证内存布局可预测 + 显式处理字节序（endianness）。x86/x64 默认小端，但网络协议、文件格式通常要求大端（或固定端序），否则跨平台会翻车。
实操建议：
立即学习“C++免费学习笔记（深入）”；
C++ Code Review Master
下载
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
- 用
std::vector<uint8_t></uint8_t>或std::string当缓冲区，避免裸指针和生命周期问题 - 写入前用
htons/htonl（或bswap_16/bswap_32）转为网络字节序；读取时用ntohs/ntohl转回主机序 - 不要直接 reinterpret_cast<uint8_t*>(&s) 然后 write —— 必须确保 s 是
packed的，且无虚函数、无非 POD 成员（如std::string、std::vector） - 示例片段：
#pragma pack(push, 1) struct Header { uint16_t magic; uint32_t len; uint8_t version; }; #pragma pack(pop) <p>// 写入 Header h{htons(0x1234), htonl(1024), 1}; buf.insert(buf.end(), reinterpret_cast<const uint8_t<em>>(&h), reinterpret_cast<const uint8_t</em>>(&h) + sizeof(h));
遇到 std::string 或 vector 怎么办
它们不能直接 memcpy —— 内存布局不固定，内部指针指向堆上数据。强行序列化只会保存指针值，反序列化后解引用必然崩溃。
正确做法是「扁平化」：把长度 + 实际内容分开处理。
- 先写入长度（如
uint32_t size = static_cast<uint32_t>(s.size())</uint32_t>，注意字节序） - 再写入
s.data()指向的字节（如果s非空） - 读取时先读长度，再 resize 字符串，再读对应字节数到
&s[0]（C++11 起std::string支持 data() 可写） - 同理适用于
std::vector<T>，但要注意 T 必须是 trivially copyable 类型（如int、float、char）；若 T 含指针或虚函数，需逐个序列化
读写过程中怎么检测数据损坏或越界
裸字节流没有元信息，一旦写入长度错误、读取偏移错位，后续所有解析都会雪崩。不能依赖 try-catch（二进制解析失败通常不抛异常）。
- 每次读操作前检查剩余缓冲区长度是否足够：
if (pos + sizeof(T) > buf.size()) { /* error */ } - 写入前也校验：比如字符串长度超过
UINT32_MAX就不该允许序列化 - 关键字段加 magic number 和 checksum（如 CRC32），读取后验证；但注意 checksum 本身也要考虑字节序一致性
- 调试时可用
assert检查offsetof(Struct, member)是否符合预期，确认pack生效
最容易被忽略的是：结构体里嵌套另一个 packed 结构体时，外层 #pragma pack 不会自动传导，每个嵌套类型都得单独加 pack 控制；还有，类模板实例化（如 MyStruct<int>）若含对齐敏感成员，也得确保模板定义里处理了对齐。
