使用备忘录模式有哪些常见错误？
简化版
备忘录模式常见错误包括：快照使用浅拷贝导致历史被污染、Memento 暴露可变接口、保存过多无关状态、撤销栈无限增长、redo 栈未正确清理、把外部对象变成状态细节的管理者。
详细版
常见错误：
- 快照不独立，后续修改影响历史状态。
- Memento 有 public setter，被外部篡改。
- Caretaker 理解并修改 Memento 内容。
- 快照包含缓存、连接等不该恢复的字段。
- 历史记录无限增长导致内存问题。
- 撤销后新操作没有清空 redo 栈。
- 恢复时没有校验快照版本和合法性。
备忘录模式的重点是可靠恢复。如果快照不可靠，撤销和回滚就是危险功能。
完整版教学
一、快照污染
最常见的问题是浅拷贝。快照里保存了可变对象引用，Originator 后续修改对象，历史快照也跟着变。
这种问题很隐蔽，因为代码看起来确实保存了快照，但恢复结果不对。
二、破坏封装
如果 Caretaker 需要知道 Memento 里有哪些字段，并且能修改它们，就破坏了备忘录模式的封装目标。
Caretaker 应该像仓库一样，只保存和取出快照，不参与状态解释。
三、历史管理错误
撤销重做不是只 push/pop。撤销后执行新操作要清空 redo 栈；历史栈要有容量限制；空栈时要有安全处理。
如果这些细节没处理，用户会遇到撤销错乱、重做跳转、内存上涨等问题。
四、常见误区与工程判断
不要把运行时资源直接放进快照。例如线程、连接、文件句柄、缓存对象通常不适合恢复。快照应该保存可序列化、可恢复、有业务意义的状态。
工程中要为快照设计版本。如果对象结构升级，旧快照如何恢复是需要提前考虑的问题。
五、常见错误背后的根因
备忘录模式最常见的错误是把 Memento 当成随便读写的数据传输对象。这样 Caretaker 会逐渐理解并修改状态细节，最后 Originator 的封装被绕开。正确做法是让 Caretaker 只管理快照生命周期，不参与快照内容解释。
第二类错误是快照不独立。保存的是对象引用而不是状态副本，导致历史记录随当前对象一起变化。这个问题在集合、数组、嵌套对象里尤其隐蔽，测试时要专门验证“保存快照后继续修改对象，再恢复是否真能回到旧状态”。
第三类错误是没有控制历史规模。撤销功能看似简单，但如果没有栈大小限制、合并策略或清理策略，长时间编辑会消耗大量内存。面试中能主动提到这些工程问题，会让答案从模式定义升级到可落地设计。
回答这类题时，可以主动把错误分成三层：设计层错误是角色越权，数据层错误是快照共享引用，工程层错误是历史无限增长。这样面试官能听出你不仅知道模式结构，也知道上线后会遇到哪些真实问题。
实际写代码时，可以给每个快照加上创建时间、操作描述或版本号，这些属于元信息，Caretaker 可以读取；但真正用于恢复的内部状态仍应保持不可随意修改。这样既方便展示历史列表，又不破坏备忘录的封装边界。
六、用工程约束检验答案
常见故障可以用引用关系复现：保存含 3 个子对象的浅快照后修改其中 1 个子对象，旧快照随之变化，撤销得到的就不是历史状态。另一个风险是无限保留快照，100 KB 一份、1000 步就是约 100 MB。
| 检查项 | 核心判断 | 工程含义 |
|---|---|---|
| 共享可变引用 | 历史快照被后续修改 | 深拷贝或不可变结构 |
| 公开快照字段 | Caretaker 破坏封装 | 限制可见性 |
| 历史无限增长 | 内存持续上升 | 容量、过期和压缩策略 |
把关键关系压缩成一条可复述的路径：
保存前确认状态闭包
保存后禁止外部改写
恢复前检查版本和依赖
定期淘汰不可达历史快照正确性首先是时间隔离，其次才是类结构；能创建 Memento 不代表真的能恢复历史。
落地前可以再按下面 3 步复核：
- 先说明“共享可变引用”的核心机制：历史快照被后续修改；再交代边界：深拷贝或不可变结构。
- 接着分析“公开快照字段”：Caretaker 破坏封装；不能遗漏对应代价或结果：限制可见性。
- 最后用“历史无限增长”检查方案：内存持续上升；验收时确认容量、过期和压缩策略。
这三项构成完整判断链：先讲清共享可变引用，再说明公开快照字段，最后用历史无限增长检验实现是否越界。
面试中若能给出违反“容量、过期和压缩策略”的反例，再说明修正办法，答案就从模式定义落到了可验证的工程决策。
七、常见误区与追问
- 误区：只看到“共享可变引用”就认为方案成立。 必须同时说明核心机制“历史快照被后续修改”和工程边界“深拷贝或不可变结构”。
- 误区：把“公开快照字段”当成无条件结论。 只有在“Caretaker 破坏封装”成立时，才能据此讨论“限制可见性”。
- 追问：浅拷贝一定错误吗？ 若所有共享成员都不可变或明确使用持久化结构，浅拷贝可以安全。
- 追问：快照能保存服务连接吗？ 通常不能，连接等外部资源应以可重建标识表示。
- 追问：历史栈线程安全吗？ 普通 Deque 不是自动线程安全的，并发编辑要串行化或加锁。
- 追问：恢复旧版本为何危险？ 字段语义和约束可能变化，需要版本迁移或拒绝恢复。
- 追问：日志能代替快照吗？ 可用事件重放恢复，但成本和语义不同，也可与周期快照组合。
八、加强记忆
记忆时抓住这条主线：浅拷贝容易污染历史快照；Memento 不应暴露可变接口；Caretaker 只保管，不解释快照；撤销重做要处理栈容量和 redo 清理。面试回答先给出模式意图，再用调用链或数据流说明角色协作，最后主动交代适用边界与工程代价。