异常安全指C++中异常发生时程序仍能正确管理资源和状态。其三个级别为：基本保证（对象有效、无泄漏）、强保证（状态回滚）和无抛出保证（绝不抛异常）。实现依赖RAII、智能指针、标准库和拷贝-交换等技术，确保构造函数不执行易抛异常操作，析构函数不抛异常。例如赋值运算符通过拷贝-交换可提供强保证：先复制再原子交换，异常不影响原状态。异常安全是C++可靠编程的核心，必须在设计时充分考虑异常路径。

在C++中，异常安全指的是当程序在执行过程中抛出异常时，代码仍能保持正确的资源管理和程序状态。如果一个函数在发生异常后不会导致内存泄漏、数据损坏或破坏对象的不变性，那么它就被认为是异常安全的。由于C++没有垃圾回收机制，且异常可能在任何时刻中断正常流程，编写异常安全的代码尤为重要。

异常安全的三个级别

根据Bjarne Stroustrup和David Abrahams的研究，异常安全通常分为三个层次，也称为Abrahams保证：

• 基本保证（Basic Guarantee）：如果异常被抛出，程序中的所有对象仍然处于有效状态，不会有资源泄漏，但具体状态不确定。例如，容器可能不再包含所有原有元素，但不会崩溃或进入非法状态。
• 强保证（Strong Guarantee）：如果异常被抛出，程序的状态将回滚到调用函数之前的状态——即“要么全部成功，要么完全不改变”。这通常通过拷贝-交换（copy-and-swap）等技术实现。
• 无抛出保证（Nothrow Guarantee）：操作绝对不会抛出异常。某些关键操作如析构函数、移动赋值（若已知不会抛异常）应尽量提供此保证。

还有一个隐含的最低级别：无保证（No Guarantee），即异常可能导致资源泄漏或对象损坏，这是应当避免的情况。

实现异常安全的关键原则

要写出异常安全的代码，需要结合RAII、智能指针和合理的函数设计：

• 使用RAII管理资源：确保资源（如内存、文件句柄）的获取与对象生命周期绑定。例如，用std::unique_ptr代替裸指针，用std::lock_guard管理互斥锁。
• 优先使用标准库容器和算法：std::vector、std::string等已提供一定程度的异常安全保证，尤其是强保证在复制构造或赋值失败时。
• 采用拷贝再提交策略（Copy-and-Swap）：对复杂对象修改时，先创建副本，在副本上操作，成功后再原子地交换原对象。这种方法天然支持强异常安全。
• 避免在构造函数中执行可能抛异常的复杂操作：如果构造函数抛出异常，对象未完全构造，析构函数不会被调用，容易导致资源未释放。
• 析构函数绝不应抛出异常：C++标准明确指出，析构函数中抛出异常可能导致程序终止。即使内部操作可能失败，也应捕获异常并妥善处理。

常见场景与代码示例

考虑一个简单的类，包含两个成员变量，赋值操作需保证异常安全：

上面的赋值操作提供了强异常安全保证：如果复制构造temp时抛出异常，原对象不受影响；只有temp完整构造后才会修改当前对象。

若改用更高效的写法：

这种“拷贝-交换”惯用法不仅简洁，还自动提供强保证，且swap通常声明为noexcept，有助于标准库优化。

基本上就这些。异常安全不是可有可无的附加功能，而是C++资源管理的核心部分。理解不同安全级别，并在设计时主动考虑异常路径，才能写出健壮可靠的代码。

# ai  # copy  # 对象  # this  # 算法  # 抛出  # 仍能  # 资源管理  # 这是  # 会有  # 尤其是  # 句柄  # 才会  # 但在  # operator  # private  # public  # c++  # 标准库  # asic  # String  # 运算符  # 赋值运算符  # 成员变量  # 构造函数  # 析构函数  # const  # void  # 指针  # class  # 并在