C++无内置事务回滚机制，必须显式实现状态保护：备忘录模式适用于多级撤销与历史快照场景，copy-and-swap适用于单次原子更新；误用std::optional::reset()无法回滚状态，因其不保存旧值；二者均需配合RAII确保异常安全。
直接说结论：不能靠“赋值失败自动回滚”，C++ 没有内置事务语义；必须显式实现状态保护，常用手段是备忘录模式或强异常安全的 copy-and-swap，二者适用场景不同，选错会导致内存泄漏、性能陡增或逻辑错乱。
用 std::optional::reset() 无法回滚成员更新
有人误以为把成员改成 std::optional<T>，出错时调用 reset() 就能“撤回”更新——这是错的。reset() 只是析构当前值并清空 optional，它不保存旧值，也不恢复任何历史状态。它解决的是“有没有值”的问题，不是“回退到哪一版”的问题。
- 如果你在
update()中先opt = new_value，再抛异常，旧值早已被覆盖，reset()只会让它变空，不是变回旧值 -
std::optional的设计目标是可空性建模，不是状态快照，别把它当 undo 栈用 - 真要用 optional 做状态管理，得配合额外存储（比如
std::stack<T>），那就已经是在手写备忘录了
备忘录模式（Memento）适合需要多级撤销的场景
当你需要支持“撤销上一步”“回到某次保存点”“游戏存档加载”这类功能时，备忘录模式是最贴合的解法。它的核心是让 Originator 自己决定哪些字段要快照、怎么深拷贝、如何还原。
- 必须把
Memento声明为Originator的友元，否则无法访问私有成员做完整备份 - 备份应是深拷贝：如果成员含指针或
std::unique_ptr，浅拷贝会导致还原时悬垂或双重释放 -
Caretaker只负责存std::vector<Memento>或std::stack<Memento>，绝不访问Memento内部字段 - 示例关键片段：
class Editor { private: std::string content_; public: class Memento { friend class Editor; // 关键：允许 Editor 访问其私有 _content std::string _content; explicit Memento(const std::string& s) : _content(s) {} }; Memento save() const { return Memento(content_); } void restore(const Memento& m) { content_ = m._content; } };
copy-and-swap 适合单次原子更新且无多级历史需求
如果你只关心“这次更新要么全成，要么完全不生效”，比如银行转账、配置原子提交，就该用 copy-and-swap。它依赖强异常安全保证：构造新状态 → 交换 → 析构旧状态。
立即学习“C++免费学习笔记（深入）”；
- 操作必须在临时对象中完成（例如先构造新
Config对象），确保构造过程失败不会影响原对象 - swap 必须是
noexcept的，否则异常中途抛出，swap 失败，状态就卡在半更新态 - 不要在 swap 后手动 delete 旧数据——swap 已把旧资源移交到临时对象，离开作用域自动析构
- 性能敏感时注意：每次更新都触发一次完整拷贝，大数据量慎用
最容易被忽略的坑：异常发生时析构顺序与资源泄漏
无论用哪种方案，只要成员含动态资源（文件句柄、网络连接、裸指针），就必须确认：异常路径下所有已分配资源是否都被正确释放？常见疏漏点：
- 备忘录的
Memento构造函数里抛异常 →Originator的部分字段可能已修改但未回滚 → 必须在构造中全程使用 RAII（如std::vector替代new[]） - copy-and-swap 中 swap 调用前，新对象构造成功但 swap 抛异常 → 原对象不变，新对象资源由其析构函数清理，这点没问题；但若 swap 本身不 noexcept，整个保证就崩了
- 忘记将关键函数（如
swap、restore）声明为noexcept，导致栈展开时调用std::terminate
