异常安全有两个条件:
①不泄漏任何资源
②不允许数据破坏
对于资源泄漏的问题我们只要遵循以对象管理资源这条条款就很容易解决,对于数据败坏的问题,首先我们要知道异常安全函数的概念,异常安全函数提供以下三个保证之一:
①基本承诺:如果异常被抛出,程序内所有事物仍保持在有效状态下,没有任何对象或数据结构被破坏,所有对象都处于一种内部前后一致的状态。
②强烈保证:如果异常被抛出,程序状态不改变。同时,如果函数成功,则完全成功,如果函数失败,则程序会回复到调用函数前的状态。类似于原子操作。
③nothrow保证:承诺绝不抛出异常,它们总能完成它们原先承诺的功能。(例如对于内置类型上的所有操作都提供nothrow保证)
有一个一般化的操作很容易提供强烈保证,该策略被称为copy and swap,即为你打算修改的对象(原件)创建一个副本,然后在副本上做一切必要的修改,若有任何修改动作抛出异常,原对象未改变状态,待所有改变都成功后,再将修改过的副本和原对象在一个不抛出异常的操作中置换。实现的方法通常是将所有对象所拥有的数据从原对象放进另一个对象中,然后赋予原对象一个指针指向该副本。