C++异常安全等级有哪些？基本/强/不抛保证详解

C++中异常安全保证分为三个等级：基本保证、强保证和不抛异常保证。基本保证指操作抛出异常后程序状态仍合法但可能改变，如容器插入元素失败时保持合法状态；强保证要求操作完全成功或无副作用，如std::vector的push_back失败时恢复原状；不抛异常保证表示操作绝不抛出异常，如析构函数和swap函数。实现上建议使用RAII确保资源释放，采用复制并交换模式实现强保证，关键操作标记为noexcept以提高安全性。选择异常安全等级需综合考虑功能重要性、性能、可维护性和平台支持。

C++中异常安全保证通常分为三个等级：基本保证（Basic Guarantee）、强保证（Strong Guarantee）和不抛异常保证（Nothrow Guarantee）。不同的函数或操作可以提供不同级别的异常安全，理解这些级别有助于写出更健壮的代码。

什么是基本保证（Basic Guarantee）

基本保证是指：如果在操作过程中抛出了异常，程序的状态仍然保持一致（valid），但不一定是原来的状态。也就是说，对象可能被修改，资源可能被释放一部分，但不会出现数据损坏或资源泄漏。

常见场景：

• 容器插入元素时，如果拷贝构造函数抛出异常，原有容器的内容可能不变，也可能部分改变。
• 某些非关键路径的操作，比如日志记录、调试辅助函数等。

建议做法：

• 确保在异常发生后，所有对象都处于合法状态
• 避免资源泄漏，比如使用RAII（资源获取即初始化）
• 不要依赖异常后的具体状态去做判断

强保证（Strong Guarantee）意味着什么

强保证比基本保证更强，它要求操作要么完全成功，要么不产生任何副作用。如果抛出异常，程序状态应回退到调用前的状态，就像这个操作从未执行过一样。

典型例子：

• std::vector 的 push_back 如果提供了强保证，那么当新元素的拷贝失败时，整个 vector 应该恢复原状。
• 文件写入操作，在写入中途失败时应回滚已写入内容。

实现难点：

• 可能需要额外的内存或临时副本
• 对性能有一定影响，尤其在大数据结构上
• 并不是所有操作都能轻易实现强保证

如何设计强异常安全：

• 使用“复制并交换”（copy and swap）模式
• 把可能抛异常的操作放在不会修改原始状态的地方先执行
• 最后通过无异常操作完成替换

不抛异常保证（Nothrow Guarantee）

这是最高级别的异常安全保证，表示某个操作绝对不会抛出异常。这种保证通常用于确保某些关键操作不会中断程序流程，例如析构函数、swap 函数、移动操作等。

适用场合：

• 资源释放操作（如析构函数）
• 基础类型操作（如 int 的赋值）
• 移动构造/移动赋值（如果确实不会抛异常）

注意点：

• 标准库中很多函数都要求某些参数类型具备nothrow操作，否则会降级为基本保证
• 如果你自定义类型想用于标准容器或算法中，并希望获得更好的异常安全性，应尽量标记不会抛异常的操作为 noexcept

如何标记：

void my_swap(MyClass& other) noexcept;

如何选择合适的异常安全等级

在实际开发中，异常安全等级的选择取决于多个因素：

• 功能重要性：核心逻辑或资源管理模块应尽可能提供强保证或 nothrow。
• 性能敏感度：高频率调用的函数如果追求强保证可能带来较大开销。
• 可维护性：强保证通常需要更多代码逻辑支持，增加了复杂度。
• 平台与标准支持：不同编译器对异常处理的支持程度不同，也会影响你的选择。

一般建议：

• 析构函数、swap、移动操作尽量设为 noexcept
• 关键操作如插入、删除等尽量做到强保证
• 日常工具函数至少做到基本保证

基本上就这些了。异常安全不是一蹴而就的，而是要在设计类和接口时有意识地去考虑。有时候不抛异常比捕获异常更重要。