C++实现带有回滚功能的事务模式 _ 状态备份与还原逻辑实现【源码】-C++-PHP中文网

回滚依赖深拷贝而非指针引用；状态备份安全取决于存储的是值还是地址，需确保数据成员支持廉价拷贝或显式深拷贝，避免裸指针、全局变量及伪拷贝，rollback/commit 应 noexcept 且考虑异常安全与线程隔离。

c++实现带有回滚功能的事务模式 _ 状态备份与还原逻辑实现【源码】

回滚依赖深拷贝还是指针引用？

状态备份是否安全，取决于你存的是值还是地址。如果只保存 std::shared_ptr 或裸指针，回滚时还原的只是旧指针，实际对象可能已被修改或析构；若用 std::unique_ptr 且未定义拷贝语义，直接复制会编译失败。

正确做法是：对需回滚的数据成员，确保其类型支持廉价拷贝（如 int、std::string、std::vector），或显式实现深拷贝逻辑。例如：

struct Account {
    int balance;
    std::string owner;

    // 支持拷贝构造 —— 回滚时靠它重建旧状态
    Account(const Account& other) : balance(other.balance), owner(other.owner) {}
};

避免在事务中修改全局单例或静态变量，它们无法被自动备份
若必须管理资源（如文件句柄、socket），应在备份前封装为 RAII 对象，并在回滚时触发其析构
不建议用 memcpy 或 std::bit_cast 做“伪拷贝”，对含虚函数、引用、指针的类极易 UB

如何在 commit/rollback 时避免二次异常？

std::uncaught_exceptions() 是关键信号。C++17 起可用它判断当前是否已处于栈展开中——若在析构函数里调 rollback()，而 rollback 又抛异常，程序直接 terminate。

实操上，事务类的析构应无异常：

~Transaction() noexcept {
    if (active_ && std::uncaught_exceptions() == 0) {
        commit();
    } else if (active_) {
        rollback(); // 此处 rollback 内部必须 noexcept
    }
}