异常安全保证确保C++程序在抛出异常时仍保持有效状态，避免资源泄漏或数据损坏。它分为三个级别：基本保证、强保证和无抛出保证。基本保证指对象处于有效但不可预测的状态；强保证要求操作原子性，成功则完全生效，失败则回滚；无抛出保证则确保操作绝不抛出异常。为实现这些级别，应采用RAII管理资源，使用智能指针和标准库容器，避免析构函数抛出异常，并应用“拷贝并交换”等技术来提供强异常安全。函数设计需明确其异常安全承诺，优先准备资源再提交修改，并隔离可能抛出异常的用户代码。异常安全应从设计阶段入手，结合现代C++机制提升程序健壮性。
在C++中，异常安全保证指的是当程序抛出异常时，程序仍能保持正确的状态，不会导致资源泄漏、数据损坏或未定义行为。异常处理虽然提供了错误恢复机制，但如果代码没有正确设计，异常的出现可能导致对象处于不一致状态。为此，C++社区总结了几种“异常安全级别”，帮助开发者评估和实现可靠的异常安全策略。
异常安全的三个基本级别
根据操作在异常发生时的行为，异常安全通常分为以下三种级别：
- 基本保证（Basic Guarantee）：如果异常被抛出，程序中的所有对象仍处于有效状态，没有资源泄漏，但具体状态不可预测。例如，某个容器可能丢失部分元素，但不会破坏内部结构。
- 强保证（Strong Guarantee）：操作要么完全成功，要么程序状态回滚到调用前的样子。这类似于数据库事务的“原子性”。常通过“拷贝-交换”（copy-and-swap）技术实现。
- 无抛出保证（Nothrow Guarantee）：操作不会抛出异常。某些关键操作如析构函数、移动赋值（在特定条件下）应尽量提供此保证，避免在异常处理过程中再次触发异常。
实现异常安全的常见策略
为了达到上述安全级别，可以采用以下几种编程实践：
- 使用RAII管理资源：将资源（如内存、文件句柄）封装在对象中，利用构造函数获取资源，析构函数自动释放。即使发生异常，栈展开也会调用析构函数，防止泄漏。
- 优先使用标准库容器和智能指针：std::vector、std::string、std::unique_ptr 等已具备良好的异常安全性，减少手动管理带来的风险。
-
采用“拷贝并交换”模式：修改对象前先创建副本，在副本上操作，成功后再与原对象交换。例如赋值操作符可这样写：
T& operator=(const T& other) { T temp(other); // 可能抛异常，但不影响原对象 swap(*this, temp); // swap 通常是无抛出的 return *this; } - 避免在析构函数中抛出异常：两个异常同时存在会导致 std::terminate。若析构中可能出错，应捕获内部异常并吞下或记录，不向上抛。
异常安全与函数设计
编写函数时，应明确其承诺的异常安全级别。例如：
立即学习“C++免费学习笔记（深入）”；
- 修改多个对象的函数更难提供强保证，需谨慎设计执行顺序。
- 尽量让修改操作“先准备好所有资源”，再进行不可逆更改（两阶段提交思路）。
- 对用户提供的回调或比较函数，假设其可能抛异常，外部逻辑需做好隔离。
基本上就这些。异常安全不是靠事后调试解决的问题，而应在设计阶段就纳入考量。结合RAII、标准库工具和清晰的异常安全承诺，能大幅提升C++程序的健壮性。
