异常安全等级分为基本保证、强保证和不抛出保证：基本保证确保无资源泄漏且对象状态有效，但程序状态可能已改变；强保证要求操作具有原子性，异常时状态完全回滚；不抛出保证则承诺操作绝不抛出异常，常用于析构函数等关键场景。
异常安全等级主要分为三种：基本保证、强保证和不抛出（不失败）保证。它们的核心区别在于当函数执行过程中发生异常时，程序或对象所能维持的状态和资源完整性。
基本保证 (Basic Exception Safety)
满足基本保证的函数在抛出异常后，程序不会出现资源泄漏（如内存、文件句柄等），并且所有对象都处于有效状态，可以被安全地销毁或调用其成员函数。但程序的具体状态是未知的，可能已经发生了部分修改。
• 资源不会泄漏
• 对象不会被破坏，可以安全使用
• 程序状态可能已改变，但保持一致（没有数据损坏）
• 实现相对简单，是编写异常安全代码的最低要求
强保证 (Strong Exception Safety)
强保证要求操作具有原子性，即“要么全部成功，要么完全不发生”。如果函数抛出异常，程序的状态必须回滚到函数调用之前的样子，没有任何副作用。
• 操作具有“提交/回滚”语义
• 发生异常时，所有修改都会被撤销
• 调用前后程序状态完全一致
• 实现难度较高，通常需要复制对象、使用临时变量或事务性设计
不抛出保证 (No-throw Guarantee)
这是最高级别的异常安全保证。承诺该操作在任何情况下都不会抛出异常。这通常适用于那些不执行可能失败操作的函数，例如简单的赋值、移动操作或资源释放。
• 操作绝对不会抛出异常
• 常用于析构函数、移动赋值运算符等关键函数
• 保证了调用栈的稳定性和可预测性
• 实现时必须确保所有内部调用也满足此保证
基本上就这些。选择哪种保证级别取决于具体场景。一般建议至少实现基本保证，关键操作争取达到强保证，而像析构函数这样的函数应努力实现不抛出保证。使用RAII（资源获取即初始化）是达成这些保证的有效手段。
以上就是异常安全等级有哪些 基本保证强保证不抛保证区别的详细内容，更多请关注创想鸟其它相关文章！
版权声明：本文内容由互联网用户自发贡献，该文观点仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。
如发现本站有涉嫌抄袭侵权/违法违规的内容， 请发送邮件至 chuangxiangniao@163.com 举报，一经查实，本站将立刻删除。
发布者：程序猿，转转请注明出处：https://www.chuangxiangniao.com/p/1471288.html
微信扫一扫 
支付宝扫一扫 
