c++++中异常安全保证分为三个等级：基本保证、强保证和不抛异常保证。基本保证指操作抛出异常后程序状态仍合法但可能改变，如容器插入元素失败时保持合法状态；强保证要求操作完全成功或无副作用，如std::vector的push_back失败时恢复原状；不抛异常保证表示操作绝不抛出异常，如析构函数和swap函数。实现上建议使用raii确保资源释放，采用复制并交换模式实现强保证，关键操作标记为noexcept以提高安全性。选择异常安全等级需综合考虑功能重要性、性能、可维护性和平台支持。
C++中异常安全保证通常分为三个等级：基本保证（Basic Guarantee）、强保证（Strong Guarantee）和不抛异常保证（Nothrow Guarantee）。不同的函数或操作可以提供不同级别的异常安全，理解这些级别有助于写出更健壮的代码。
什么是基本保证（Basic Guarantee）
基本保证是指：如果在操作过程中抛出了异常，程序的状态仍然保持一致（valid），但不一定是原来的状态。也就是说，对象可能被修改，资源可能被释放一部分，但不会出现数据损坏或资源泄漏。
常见场景：
立即学习“C++免费学习笔记（深入）”；
- 容器插入元素时，如果拷贝构造函数抛出异常，原有容器的内容可能不变，也可能部分改变。
- 某些非关键路径的操作，比如日志记录、调试辅助函数等。
建议做法：
- 确保在异常发生后，所有对象都处于合法状态
- 避免资源泄漏，比如使用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
- 关键操作如插入、删除等尽量做到强保证
- 日常工具函数至少做到基本保证
基本上就这些了。异常安全不是一蹴而就的，而是要在设计类和接口时有意识地去考虑。有时候不抛异常比捕获异常更重要。
