异常安全指C++中异常发生时程序仍能正确管理资源和状态。其三个级别为：基本保证（对象有效、无泄漏）、强保证（状态回滚）和无抛出保证（绝不抛异常）。实现依赖RAII、智能指针、标准库和拷贝-交换等技术，确保构造函数不执行易抛异常操作，析构函数不抛异常。例如赋值运算符通过拷贝-交换可提供强保证：先复制再原子交换，异常不影响原状态。异常安全是C++可靠编程的核心，必须在设计时充分考虑异常路径。
在C++中，异常安全指的是当程序在执行过程中抛出异常时，代码仍能保持正确的资源管理和程序状态。如果一个函数在发生异常后不会导致内存泄漏、数据损坏或破坏对象的不变性，那么它就被认为是异常安全的。由于C++没有垃圾回收机制，且异常可能在任何时刻中断正常流程，编写异常安全的代码尤为重要。
异常安全的三个级别
根据Bjarne Stroustrup和David Abrahams的研究，异常安全通常分为三个层次，也称为Abrahams保证：
- 基本保证（Basic Guarantee）：如果异常被抛出，程序中的所有对象仍然处于有效状态，不会有资源泄漏，但具体状态不确定。例如，容器可能不再包含所有原有元素，但不会崩溃或进入非法状态。
- 强保证（Strong Guarantee）：如果异常被抛出，程序的状态将回滚到调用函数之前的状态——即“要么全部成功，要么完全不改变”。这通常通过拷贝-交换（copy-and-swap）等技术实现。
- 无抛出保证（Nothrow Guarantee）：操作绝对不会抛出异常。某些关键操作如析构函数、移动赋值（若已知不会抛异常）应尽量提供此保证。
还有一个隐含的最低级别：无保证（No Guarantee），即异常可能导致资源泄漏或对象损坏，这是应当避免的情况。
实现异常安全的关键原则
要写出异常安全的代码，需要结合RAII、智能指针和合理的函数设计：
立即学习“C++免费学习笔记（深入）”；
- 使用RAII管理资源：确保资源（如内存、文件句柄）的获取与对象生命周期绑定。例如，用std::unique_ptr代替裸指针，用std::lock_guard管理互斥锁。
- 优先使用标准库容器和算法：std::vector、std::string等已提供一定程度的异常安全保证，尤其是强保证在复制构造或赋值失败时。
- 采用拷贝再提交策略（Copy-and-Swap）：对复杂对象修改时，先创建副本，在副本上操作，成功后再原子地交换原对象。这种方法天然支持强异常安全。
- 避免在构造函数中执行可能抛异常的复杂操作：如果构造函数抛出异常，对象未完全构造，析构函数不会被调用，容易导致资源未释放。
- 析构函数绝不应抛出异常：C++标准明确指出，析构函数中抛出异常可能导致程序终止。即使内部操作可能失败，也应捕获异常并妥善处理。
常见场景与代码示例
考虑一个简单的类，包含两个成员变量，赋值操作需保证异常安全：
class MyClass {
private:
std::string name;
std::vector
public:
MyClass& operator=(const MyClass& other) {
MyClass temp(other); // 可能抛异常，但在temp中完成
name = temp.name; // string赋值通常提供强保证
data = temp.data; // vector赋值同样
return *this;
}
};
上面的赋值操作提供了强异常安全保证：如果复制构造temp时抛出异常，原对象不受影响；只有temp完整构造后才会修改当前对象。
若改用更高效的写法：
MyClass& operator=(const MyClass& other) {MyClass temp(other);
swap(temp);
return *this;
}
void swap(MyClass& other) noexcept {
name.swap(other.name);
data.swap(other.data);
}
这种“拷贝-交换”惯用法不仅简洁，还自动提供强保证，且swap通常声明为noexcept，有助于标准库优化。
基本上就这些。异常安全不是可有可无的附加功能，而是C++资源管理的核心部分。理解不同安全级别，并在设计时主动考虑异常路径，才能写出健壮可靠的代码。
