- 异常安全的两个条件:
- 不泄漏任何资源
- 不允许数据败坏
- 关于泄漏资源,使用copy and swap的思路,使用临时变量来copy资源基本能够解决。
- 一个一般性的规则:较短的码就是较好的码。
- 异常安全函数通常提供一下三个保证之一:
- 基本保证:如果异常被抛出,程序内的任何事物仍然保持在有效状态下。
- 强烈保证:如果异常被抛出,程序状态不会改变。
- 不抛掷异常(nothrow)。
- 基本数据类型如int提供nothrow,我们自定义的数据类型很难达到这一程度。因此一般是在强烈保证和基本保证上面做选择。
- 期待已久的copy and swap:
原则:为你打算修改的对象(原件)作出一份副本,然后在那副本身上做一切必要修改。若有任何修改动作抛出异常,原对象仍保持未改变状态。待所有改变都成功后,再将修改过的那个副本和原对象在一个不抛出异常的操作中置换(swap)。 - tips
- “强烈保证”往往能够以copy-and-swap实现出来,但“强烈保证”并非对所有函数都可实现或具备现实意义。(考虑到效率以及代码中的函数调用)
- 函数提供的“异常安全保证”通常最高只等于其所调用之各个函数的“异常安全保证”中的最弱者。
条款29:为“异常安全”而努力是值得的
最后编辑于 :
©著作权归作者所有,转载或内容合作请联系作者
- 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
- 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
- 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...