1、异常安全(出现异常,保证安全)有三个保证:
a、基本承诺:抛出异常,对象处于有效状态下;
b、强烈保证:抛出异常,对象要么修改成功,要么会滚到初始状态,可认为操作的原子行;
c、不抛出保证:保证不抛出异常。
2、为了异常安全,常常需要使用资源管理类shared_ptr。为了做到强烈保证,即操作的原子性。常常使用策略:copy and swap。考虑指向实现的类(pimpl idom),修改这样对象使用copy and swap策略:首先对对象做个copy副本,修改副本,然后交换指针。
3、异常安全保证,符合木桶理论的短板效应,异常安全保证等于最弱者。