2.12 序列化：一个老家伙的咸鱼翻身
沿 Schema、字段编码、字节传输、版本校验和受限解码追踪序列化生命周期，用兼容性与不可信输入实验解释协议边界。
学习目标
- 能沿选择Schema、编码字段、传输字节、校验版本和受限解码追踪一份对象的协议生命周期
- 能用 schema、字段类型、版本和不可信输入策略解释为什么序列化不是简单地把对象变成字符串
- 能在正常、兼容边界和恶意故障场景中定位最早偏离，拒绝危险类型图并从干净状态重放
为什么需要这一机制
序列化让一个内存对象可以跨进程、跨网络或跨时间恢复，但代价是必须把隐含的对象结构变成显式协议。一个可靠的接收端不能只问“能不能读回来”，还要问：字节对应哪个 schema、字段类型是否兼容、版本如何迁移、输入是否可信、解码期间是否会触发危险行为。
核心合同
↡本页把序列化重构为：用明确 schema 和版本把内存对象编码成字节表示，接收端校验后在受限类型边界内解码。式中的 wire value 不是任意字节，schema 绑定字段和类型，object 绑定输入不变量，version 绑定迁移策略。解码必须先校验协议和输入边界，再产生受限数据对象。
四个官方概念到机制证据
2.12 序列化：一个老家伙的咸鱼翻身
↡由 schema、字段编码、版本校验和受限解码共同构成的跨进程或跨时间数据恢复模型。它不是某个 API 的别名，而是一条从对象到协议字节、再从受限字节到数据对象的可审计路径。记录输入对象、schema、版本、字节摘要、校验结果和解码输出。
寒冬的蛰伏
↡对象仍只能存在当前进程或旧协议暂未适配时的阶段，用来观察数据恢复能力和兼容性压力。这个概念提醒我们不要用“暂时没有跨进程”掩盖协议缺失。先固定旧对象和旧字节，再验证新读取者能否安全识别并迁移。
XML和JSON的挑战
↡文本格式在可读性、字段演进、类型表达和输入边界上的挑战，要求格式选择服从明确 schema 和安全策略。文本格式更易观察，但不自动解决类型、版本和安全问题。比较格式时应记录字段缺失、额外字段、数值范围、嵌套深度和解析策略。
新协议的崛起
↡用带版本的协议和受限解码替代隐含对象图，使跨进程数据恢复拥有可验证的兼容与安全边界。新协议的价值不在于更潮的编码，而在于能明确拒绝未知版本、危险类型和不满足不变量的数据，并让迁移规则可重放。
五个节点到机制证据
选择Schema
↡为对象选择字段、类型、必填性、默认值和版本规则组成的协议合同。先写出 schema ID、字段类型、单位和必填性，再决定是否允许额外字段。没有 schema 的字节流不能进入受信解码路径。
编码字段
↡按 schema 把对象字段转换为有顺序、有类型和有边界的协议表示，并保留版本信息。保存字段名/编号、编码类型、长度和版本；敏感数据和大字段要有明确策略，不能让编码器无限复制对象图。
传输字节
↡跨进程、网络或存储边界传递的带协议头、长度和字段内容的字节表示。传输层只负责完整性、长度和顺序，不替应用决定类型安全。记录字节长度、协议头、校验摘要和来源信任等级。
校验版本
↡在解码前比较协议版本、schema 版本和迁移能力，决定接受、迁移或拒绝。格式可读不等于语义兼容。版本校验应明确支持范围、迁移路径、缺省字段和不变量检查，未知版本直接拒绝。
受限解码
↡在允许类型、字段大小、嵌套深度和资源预算内把协议字节恢复为数据对象，不执行不可信构造副作用。解码器应使用允许类型清单、深度/长度上限和纯数据模型。任何未知类型、过大字段或危险引用关系都应在构造前拒绝。
最小可重放实现
schema = chooseSchema("order", version=3)
wire = encode(schema, object)
assertHeaderAndLength(wire)
decoded = decodeRestricted(wire, allowTypes, limits)
assertInvariant(migrate(decoded, schema.version))
assertTrue(resetAndRun() == baselineTrace)这段草图只表达版本化序列化合同，不复制书中叙事或代码。实际复核应保存 schema、版本、字段、字节摘要、来源、限制、迁移和解码结果。
五步复核一条序列化链
1. 选择 schema 和版本
固定字段类型、单位、必填性、允许额外字段和版本迁移策略，先预测基线字节头和字段集合。
Lab
版本迁移与受限解码实验
一次只改变版本、输入来源或类型预算，观察解码是否在构造前拒绝。
已知 schema 与版本，字节完整且类型在允许清单内
schema=v3 → bytes=complete → version=accepted → allowTypes → data
判定
通过：迁移、不变量和受限解码均可重放
当前场景：基线解码；记录 schema、版本、字节摘要、来源、类型清单、深度预算、迁移和复位。
正常、边界与故障证据
| 场景 | 只改变的变量 | 预期判定 | 必存证据 |
|---|---|---|---|
| 正常 | 已知 schema、版本、完整字节和允许类型 | 编码、校验、受限解码和不变量一致 | schema、版本、摘要、输出 |
| 边界 | 缺字段、额外字段、旧版本或长度上限 | 迁移或拒绝可解释，不静默改变语义 | 版本、字段、限制、迁移日志 |
| 故障 | 未知类型、恶意对象图、截断字节 | 在构造前拒绝，不触发危险副作用 | 来源、首错、类型、深度、复位 |
专属因果实验
先运行基线，预测 schema、字段、字节、版本和解码五个节点；再一次只切换版本、字段缺失、输入来源或类型清单。实验状态要显示字节长度、版本、允许类型、深度预算和最终判定，不能只显示“解析成功”。
Lab
版本迁移与受限解码实验
一次只改变版本、输入来源或类型预算，观察解码是否在构造前拒绝。
已知 schema 与版本，字节完整且类型在允许清单内
schema=v3 → bytes=complete → version=accepted → allowTypes → data
判定
通过：迁移、不变量和受限解码均可重放
当前场景：基线解码；记录 schema、版本、字节摘要、来源、类型清单、深度预算、迁移和复位。
故障诊断：在解码前找首个不可信边界
- 核对 schema 和版本：确认字段类型、单位、必填性和迁移路径，拒绝未知协议。
- 核对字节完整性：比较协议头、长度、摘要和来源，区分截断、损坏和恶意输入。
- 核对受限解码：检查允许类型、字段大小、嵌套深度和资源预算，确保构造前完成过滤。
- 核对迁移与不变量：执行受控迁移后检查语义、权限和默认值，从清空状态重放。
术语表
名词解释
本章出现的专业名词，用大白话再讲一遍。
- 2.12 序列化：一个老家伙的咸鱼翻身
由 schema、版本、字节表示和受限解码组成的数据恢复模型。
- 寒冬的蛰伏
数据仍受当前进程或旧协议限制的兼容性压力阶段。
- XML和JSON的挑战
文本格式在类型、字段演进、边界和安全策略上的协议挑战。
- 新协议的崛起
以版本化协议和受限解码替代隐含对象图的安全边界。
- 选择Schema
固定字段、类型、必填性、默认值和版本规则的协议阶段。
- 编码字段
按 schema 把对象字段转换成带类型和边界的协议表示。
- 传输字节
跨边界传递的带协议头、长度和字段内容的字节表示。
- 校验版本
在解码前比较版本并决定接受、迁移或拒绝的阶段。
- 受限解码
在允许类型、长度、深度和资源预算内恢复数据对象的阶段。
练习
练习
问题 1（2.12 序列化：一个老家伙的咸鱼翻身、寒冬的蛰伏）： 为什么同一对象在不同版本之间不能只靠“解析成功”判断兼容？
问题 2（XML和JSON的挑战）： 文本格式为什么仍需要 schema、长度和深度边界？
问题 3（新协议的崛起）： 如何证明受限解码没有在构造期间接受危险类型图？
本页小结
2.12 序列化：一个老家伙的咸鱼翻身的关键不是把对象变成一串可传输字符，而是沿选择Schema、编码字段、传输字节、校验版本和受限解码保存协议与安全证据。完成标准是拒绝未知版本、危险类型图和不满足预算的输入，并用清空状态后的重放证明兼容迁移可复现。