C++成员更新失败时怎么保留原来的状态-C++-PHP中文网

c++无内置事务回滚机制，必须显式实现状态保护：备忘录模式适用于多级撤销与历史快照场景，copy-and-swap适用于单次原子更新；误用std::optional::reset()无法回滚状态，因其不保存旧值；二者均需配合raii确保异常安全。

c++成员更新失败时怎么保留原来的状态

直接说结论：不能靠“赋值失败自动回滚”，C++ 没有内置事务语义；必须显式实现状态保护，常用手段是备忘录模式或强异常安全的 copy-and-swap，二者适用场景不同，选错会导致内存泄漏、性能陡增或逻辑错乱。

用 `std::optional::reset()` 无法回滚成员更新

有人误以为把成员改成 std::optional<t></t>，出错时调用 reset() 就能“撤回”更新——这是错的。reset() 只是析构当前值并清空 optional，它不保存旧值，也不恢复任何历史状态。它解决的是“有没有值”的问题，不是“回退到哪一版”的问题。

如果你在 update() 中先 opt = new_value，再抛异常，旧值早已被覆盖，reset() 只会让它变空，不是变回旧值
std::optional 的设计目标是可空性建模，不是状态快照，别把它当 undo 栈用
真要用 optional 做状态管理，得配合额外存储（比如 std::stack<t></t>），那就已经是在手写备忘录了

备忘录模式（Memento）适合需要多级撤销的场景

当你需要支持“撤销上一步”“回到某次保存点”“游戏存档加载”这类功能时，备忘录模式是最贴合的解法。它的核心是让 Originator 自己决定哪些字段要快照、怎么深拷贝、如何还原。

C++14

C++14 对 C++11 的修正与增强版本，适合旧系统维护和较老工具链兼容。

下载

必须把 Memento 声明为 Originator 的友元，否则无法访问私有成员做完整备份
备份应是深拷贝：如果成员含指针或 std::unique_ptr，浅拷贝会导致还原时悬垂或双重释放
Caretaker 只负责存 std::vector<memento></memento> 或 std::stack<memento></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。它依赖强异常安全保证：构造新状态 → 交换 → 析构旧状态。

操作必须在临时对象中完成（例如先构造新 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