exception

exception
异常：程序运行时，超出函数处理范围的反常行为。
当程序通过throw检测到问题，然后发出异常信号，之后的程序不再执行。（类似于return语句）CP684
使用异常处理时需要把异常处理的代码和正常运行的代码分离开来。CP173

//原代码
if(…==…)
   cout<<…<<endl;
//最好不用if else语句
if(…!=…)
   throw runtime_error("must refer");
cout<<…<<endl;

通过try block（try 语句块）的catch 子句处理异常。CP174

try{
   …
   if(…!=…)
      throw runtime_error("must refer");
   cout<<…<<endl;
}catch (runtime_error){
   …
}

stack unwinding（栈展开）：沿嵌套函数的调用链逐层回退。（当异常抛出时，在抛出异常的函数中搜索是否有相匹配的catch子句（未必是最佳匹配CP687），没有找到终止该函数。到调用该函数的函数中查找。如果最终没有找到，程序执行terminate的标准库函数非正常退出。CP175）

E08 避免在析构函数中抛出异常:
当析构函数中必须执行1个可能抛出异常的动作，此时程序会结束执行或导致不明确行为。通过重新设计接口使用户有机会处理可能出现的异常。例如可以自行设计函数封装该动作，在析构函数中用异常处理调用该函数。EP47
在退出某个块时，编译器负责在块中创建的对象被正确销毁。但是执行throw后负责释放资源的代码可能被跳过。CP685

E29 异常安全函数的保证 （至少提供1个）

• 基本保证：异常抛出时，程序内的任何事物能够保持有效状态。

class A{
public:
  void change(std::istream& ia);
  …
private:
  D d;
  std::shared_ptr<E> e;
  F f;
};
 void A::change(std::istream& ia)
 {
    funD(d);
    e.reset(new E(ia));
    //new成功之后才会调用reset函数释放e原来指向的对象
    funF(f);
    funD(d);
 }

• 强烈保证：异常抛出时，程序能够恢复到调用函数之前的状态。
  利用copy and swap提供。

struct PMImpl{
  std::shared_ptr<E> e;
  F f;
}

class A{
public:
  void change(std::istream& ia);
  …
private:
  D d;
  std::shared_ptr<PMImpl> pimpl;
};
 void A::change(std::istream& ia)
 {
    using std::swap;
    funD(d);
    std::shared_ptr<PMImpl> 
        pNew(new PMImpl(pimpl));//先备份
    //修改副本
    pNew->e.reset(new E(ia));
    funF(pNew->f);
    //如果上述函数无法提供强烈保证，则整个函数无法提供强烈保证
    swap(pimpl,pNew)；
    //注意复制的复杂度
    funD(d);
 }

• nothrow：绝不抛出异常
  1.内置类型都提供此项保证。
  2.大部分函数考虑基本保证或者强烈保证