C++的异常安全保证是评估代码在抛出异常时能否保持合理状态的核心标准，同时配合对应的设计准则可以有效提升代码的健壮性，减少运行时故障。不同的异常安全等级对应不同的代码行为要求，开发者需要根据业务场景选择合适的保证级别。
C++异常安全保证的三个等级
1. 基本承诺（Basic Guarantee）
基本承诺是最低级别的异常安全保证，要求当异常抛出时，程序的所有对象仍然处于有效状态，不会出现资源泄漏或者未定义行为，但是对象的具体状态可能是不可预测的。这种保证适合对性能要求高、允许状态临时不确定的场景。
实现基本承诺的核心是做好资源管理，通常使用RAII（资源获取即初始化）机制，让资源的生命周期和对象生命周期绑定，即使抛出异常也能自动释放资源。
#include <memory>
#include <stdexcept>
class BasicSafeClass {
private:
std::unique_ptr<int> data;
public:
BasicSafeClass(int val) : data(std::make_unique<int>(val)) {}
void update(int new_val) {
// 分配新资源，若分配失败抛异常，原有资源不受影响
auto new_data = std::make_unique<int>(new_val);
// 只有新资源分配成功才替换旧资源
data = std::move(new_data);
}
};
2. 强承诺（Strong Guarantee）
强承诺要求当异常抛出时，程序的状态会回滚到调用函数之前的状态，就像函数从来没有执行过一样，也就是常说的原子性操作。这种保证适合需要严格状态一致性的场景，比如数据更新、事务操作等。
实现强承诺常用的方法是先构造临时对象，完成所有可能抛异常的操作，确认没有异常后再替换原有对象，这样即使中间步骤抛异常，原有状态也不会被修改。
#include <vector>
#include <algorithm>
#include <stdexcept>
void strong_safe_update(std::vector<int>& target, const std::vector<int>& new_data) {
// 先拷贝原数据到临时容器，所有修改在临时容器上进行
std::vector<int> temp = target;
// 模拟可能抛异常的操作，比如插入元素时内存不足
temp.insert(temp.end(), new_data.begin(), new_data.end());
// 所有操作完成无异常，再替换原容器
target.swap(temp);
}
3. 不抛异常承诺（Noexcept Guarantee）
不抛异常承诺是最高级别的异常安全保证，要求函数绝对不会抛出任何异常，通常标记函数为noexcept。这种保证适合析构函数、移动构造函数、释放资源等绝对不能失败的场景。
如果标记了noexcept的函数抛出了异常，程序会直接调用std::terminate终止运行，因此这类函数内部不能有任何可能抛异常的操作。
#include <utility>
class NoexceptClass {
private:
int* data;
public:
NoexceptClass(int val) : data(new int(val)) {}
// 析构函数标记为noexcept，保证不会抛异常
~NoexceptClass() noexcept {
delete data;
}
// 移动构造函数标记为noexcept，适合容器扩容等场景
NoexceptClass(NoexceptClass&& other) noexcept : data(other.data) {
other.data = nullptr;
}
};
C++代码健壮性设计的异常处理准则
1. 优先使用RAII管理资源
不要手动使用new和delete管理资源，尽量使用std::unique_ptr、std::shared_ptr、std::lock_guard等RAII类型，让资源自动释放，从根源上避免异常导致的资源泄漏。
2. 谨慎使用异常捕获
不要捕获所有异常（catch(...)）后不做处理，也不要在不知道如何处理异常的情况下提前捕获。异常应该由能够处理它的层级处理，比如业务逻辑层处理业务相关的异常，底层只传递异常。
3. 明确函数的异常规格
对于确定不会抛异常的函数，一定要标记noexcept，这样编译器可以做更多优化，同时让调用者明确函数的异常行为。对于可能抛异常的函数，要在文档或者注释中说明可能抛出的异常类型。
4. 避免在析构函数中抛异常
析构函数如果被异常展开时调用，再抛出新的异常会导致程序直接终止。如果析构函数中可能出现错误，应该记录错误而不是直接抛异常。
5. 异常安全等级匹配业务需求
不需要对所有函数都要求强承诺或者不抛异常承诺，过度追求高等级保证可能会带来额外的性能开销。比如对性能敏感的底层工具函数，只要满足基本承诺即可；对状态一致性要求高的业务函数，才需要实现强承诺。
总结
C++的异常安全保证分为基本承诺、强承诺和不抛异常承诺三个等级，开发者需要根据函数的使用场景选择合适的保证级别。配合RAII资源管理、合理的异常捕获、明确的异常规格等设计准则，可以有效提升C++代码的健壮性，减少异常带来的运行时问题。在实际开发中，要平衡异常安全的等级和性能开销，写出可靠且高效的代码。