条款29：为“异常安全”而努力是值得的

  1. 异常安全的两个条件：
    • 不泄漏任何资源
    • 不允许数据败坏
  2. 关于泄漏资源，使用copy and swap的思路，使用临时变量来copy资源基本能够解决。
  3. 一个一般性的规则：较短的码就是较好的码。
  4. 异常安全函数通常提供一下三个保证之一：
    • 基本保证：如果异常被抛出，程序内的任何事物仍然保持在有效状态下。
    • 强烈保证：如果异常被抛出，程序状态不会改变。
    • 不抛掷异常（nothrow）。
  5. 基本数据类型如int提供nothrow，我们自定义的数据类型很难达到这一程度。因此一般是在强烈保证和基本保证上面做选择。
  6. 期待已久的copy and swap：
    原则：为你打算修改的对象（原件）作出一份副本，然后在那副本身上做一切必要修改。若有任何修改动作抛出异常，原对象仍保持未改变状态。待所有改变都成功后，再将修改过的那个副本和原对象在一个不抛出异常的操作中置换（swap）。
  7. tips
    • “强烈保证”往往能够以copy-and-swap实现出来，但“强烈保证”并非对所有函数都可实现或具备现实意义。（考虑到效率以及代码中的函数调用）
    • 函数提供的“异常安全保证”通常最高只等于其所调用之各个函数的“异常安全保证”中的最弱者。
最后编辑于 ：
©著作权归作者所有,转载或内容合作请联系作者
【社区内容提示】社区部分内容疑似由AI辅助生成，浏览时请结合常识与多方信息审慎甄别。
平台声明：文章内容（如有图片或视频亦包括在内）由作者上传并发布，文章内容仅代表作者本人观点，简书系信息发布平台，仅提供信息存储服务。

友情链接更多精彩内容