必须打破循环引用,否则shared_ptr会导致无限递归;需用weak_ptr标记非拥有关系、分配唯一id并记录映射;memcpy仅适用于标准布局且平凡可复制的pod类型;flatbuffers不支持动态引用图,cap’n proto更适配c++指针语义;自定义序列化须分离读写逻辑并处理rtti。

序列化前必须打破循环引用,否则 std::shared_ptr 会无限递归
二进制序列化不是深拷贝,而是对象图的线性展开。C++ 没有运行时反射,std::shared_ptr 或 std::weak_ptr 构成的环(比如 A→B→A)会让任何基于递归遍历的序列化器栈溢出或死循环。
实操建议:
- 用
std::weak_ptr显式标记“非拥有关系”,并在序列化入口处统一处理:只序列化std::shared_ptr指向的对象,遇到std::weak_ptr先尝试lock(),失败则写入空标识 - 给每个对象分配唯一
id(如uint64_t),首次遇到对象时记录id → offset映射,后续再遇到同一指针直接写id而非重复序列化——这是解决共享子对象和循环的关键 - 别依赖
boost::serialization的默认行为:它对shared_ptr的序列化默认开启“跟踪”(tracking),但跨模块或含虚继承时易失效;显式关闭并手写serialize成员更可控
用 memcpy 直接拷贝结构体?先确认是否满足 POD + 对齐约束
很多场景下想跳过序列化逻辑,直接把结构体按字节 dump 出去。这只有在对象是标准布局(standard-layout)、无虚函数、无非静态成员引用、所有成员可平凡复制(trivially copyable)时才安全。
常见错误现象:sizeof(MyStruct) 和手动计算各字段偏移总和不一致;反序列化后浮点字段值异常;多平台加载失败。
实操建议:
- 用
static_assert(std::is_standard_layout_v<mystruct> && std::is_trivially_copyable_v<mystruct>, "not safe for memcpy");</mystruct></mystruct>在编译期卡住 - 结构体内含
std::string、std::vector、std::shared_ptr?立刻放弃memcpy——它们内部是指针,直接拷贝只保存地址,加载时必然崩溃 - 即使满足 POD,也要注意对齐:用
#pragma pack(1)或alignas强制对齐,否则不同编译器/平台可能插入填充字节,导致二进制镜像不可移植
flatbuffers 不适合动态引用图,capnproto 的指针语义更贴近 C++ 原生意图
FlatBuffers 的设计目标是零解析开销,所有数据以 flat 内存块组织,但它要求结构体定义完全静态,且不支持运行时动态构建对象图(比如 A 持有 B 的指针,B 又持有 C 的指针,而 C 类型在运行时才确定)。这时指针无法在 schema 中描述。
Cap’n Proto 的 struct 支持嵌套指针、union 和动态大小字段,生成的 C++ 绑定天然使用 Reader/Builder,其指针模型与 shared_ptr 的生命周期管理更易对齐。
实操建议:
- 若引用关系在编译期可知(如固定几个类互相引用),用 Cap’n Proto 的
import+struct+union定义完整图结构;生成代码会自动处理嵌套偏移和间接引用 - 避免在 Cap’n Proto 中滥用
AnyPointer:它绕过类型检查,反序列化时需手动 cast,容易引发std::bad_cast - 生成的
.h文件要和二进制镜像版本严格匹配;升级 schema 后旧镜像无法加载,没有向前兼容机制——这点比 Protocol Buffers 更严格
自定义序列化必须重载 operator 和 <code>operator>>,且明确区分读写上下文
很多团队试图复用同一个函数做序列化/反序列化,结果在读写路径中混用 size()、resize()、emplace_back() 导致容器状态错乱。二进制流是单向的,读和写必须分离。
实操建议:
- 定义两个独立函数:
void save(BinaryWriter& w) const和void load(BinaryReader& r),不要共用参数名或逻辑分支 - 对
std::vector等容器,写入时先写size(),再循环写每个元素;读取时先读size,再resize()或reserve(),最后逐个load()——不能用push_back(),否则可能触发多次内存重分配 - 涉及虚函数的对象,序列化时必须写入 RTTI 标识(如枚举 type_id),反序列化时用工厂函数分发;别试图靠
dynamic_cast恢复类型,加载时 vtable 尚未就位
跨对象引用结构的二进制持久化,最难的从来不是怎么写进去,而是怎么保证加载时指针能重新连回正确位置、且不破坏原有生命周期语义。一个没处理好的 weak_ptr 锁失败,或一个漏掉的 id 映射,都会让整个镜像变成不可恢复的碎片。
C++免费学习笔记(深入):立即使用
在学习笔记中,你将探索 C++ 的入门与实战技巧!











