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关键操作如插入、删除等尽量做到强保证日常工具函数至少做到基本保证
基本上就这些了。异常安全不是一蹴而就的，而是要在设计类和接口时有意识地去考虑。有时候不抛异常比捕获异常更重要。
以上就是C++异常安全保证分哪几个等级 基本保证/强保证/不抛保证详解的详细内容，更多请关注创想鸟其它相关文章！
版权声明：本文内容由互联网用户自发贡献，该文观点仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。
如发现本站有涉嫌抄袭侵权/违法违规的内容， 请发送邮件至 chuangxiangniao@163.com 举报，一经查实，本站将立刻删除。
发布者：程序猿，转转请注明出处：https://www.chuangxiangniao.com/p/1467020.html
微信扫一扫 
支付宝扫一扫 
