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

  1. 异常安全的两个条件:
    • 不泄漏任何资源
    • 不允许数据败坏
  2. 关于泄漏资源,使用copy and swap的思路,使用临时变量来copy资源基本能够解决。
  3. 一个一般性的规则:较短的码就是较好的码。
  4. 异常安全函数通常提供一下三个保证之一:
    • 基本保证:如果异常被抛出,程序内的任何事物仍然保持在有效状态下。
    • 强烈保证:如果异常被抛出,程序状态不会改变。
    • 不抛掷异常(nothrow)。
  5. 基本数据类型如int提供nothrow,我们自定义的数据类型很难达到这一程度。因此一般是在强烈保证和基本保证上面做选择。
  6. 期待已久的copy and swap:
    原则:为你打算修改的对象(原件)作出一份副本,然后在那副本身上做一切必要修改。若有任何修改动作抛出异常,原对象仍保持未改变状态。待所有改变都成功后,再将修改过的那个副本和原对象在一个不抛出异常的操作中置换(swap)。
  7. tips
    • “强烈保证”往往能够以copy-and-swap实现出来,但“强烈保证”并非对所有函数都可实现或具备现实意义。(考虑到效率以及代码中的函数调用)
    • 函数提供的“异常安全保证”通常最高只等于其所调用之各个函数的“异常安全保证”中的最弱者。

你可能感兴趣的:(条款29:为“异常安全”而努力是值得的)