循环引用问题源于对象间相互引用导致序列化无限递归;ObjectOutputStream 通过 Handle 表为首次出现对象分配唯一 handle,重复引用仅写入 reference,依赖 == 判断对象身份且 handle 仅在单次序列化中有效。

对象流中的循环引用问题从哪来
当一个对象内部持有对自身的引用,或者多个对象相互引用(比如 A 引用 B,B 又引用 A),在序列化时若不做处理,ObjectOutputStream 就会陷入无限递归:写 A → 写 B → 再次写 A → 再次写 B……最终栈溢出或重复写入大量冗余数据。
Handle 表是 ObjectOutputStream 的核心缓存结构
ObjectOutputStream 内部维护一个 HandleTable,本质是一个哈希表,用于给每个**首次出现的对象分配唯一整数编号(handle)**。这个编号在单次序列化过程中全局有效,且从 0 开始递增。
- 第一次遇到对象 obj1,分配 handle=0,并完整写入其类信息、字段值等
- 第二次再遇到同一个 obj1(比如通过另一个引用路径),不再重复序列化,只写入一个“TC_REFERENCE”标记 + handle 值(如 0x70 00 00 00)
- 对 obj2、obj3 等依次分配 handle=1、handle=2……依此类推
循环引用的实际序列化过程
假设 Person 类中有一个 spouse 字段,两个 Person 实例 p1 和 p2 互为 spouse:
- writeObject(p1) 启动 → 分配 handle=0,写入 p1 的 name、age、spouse 字段值(此时 spouse 是 p2)
- 接着要序列化 p2 → 分配 handle=1,写入 p2 的 name、age、spouse 字段值(此时 spouse 是 p1)
- 但 p1 已出现过 → 不再展开,只写 reference 到 handle=0
- 反序列化时,ObjectInputStream 按顺序读取:先建 p1(handle 0),再建 p2(handle 1),最后把 handle 0 对应的 p1 赋给 p2.spouse,完成闭环
关键细节不能忽略
Handle 机制依赖两个前提才能正确工作:
- 对象身份判断基于 ==,不是 equals():只有同一内存地址的对象才复用 handle;内容相同但不同实例仍视为新对象
- handle 生命周期仅限单次 ObjectOutputStream 实例:新建 ObjectOutputStream,handle 表重置,编号从 0 重新开始
- transient 或 static 字段不参与 handle 管理:它们本就不被序列化,自然不进入引用图











