C++ 异常！！！

一.本文前提：

• 默认说明截止至C++98:
• 在C++11，dynamic-exception-specifiers（异常规格）被抛弃。

二.exception：virtual const char* what() const throw();打印异常内容。也可能是如下格式const char* what() const noexcep;

• bad_exception --- 是exception的子类，被设计用于dynamic-exception-specifiers。
• bad_typeid --- typeid(*基类指针)，如果基类指针为NULL，则抛出此异常；
• bad_cast --- 如果dynamic_cast的“引用”失败，如dynamic_cast<Derived&>，则抛出此异常
• bad_alloc --- new或new[]失败
• bad_array_new_length --- new[]失败，C++11引入

三.terminate_handler： typedef void (*terminate_handler)();
  unexpected_handler: typedef void (*unexpected_handler)(); set_unexpected

• 如果没有设置unexpected_handler，抛出不能处理的异常，如果新的异常不在异常处理列表：1、如果bad_exception在异常处理列表，则抛出bad_exception异常；此处相当于对异常做了转换！！！2、如果bad_exception不在异常处理列表，则抛出的异常不做转换。跳到最后一步！
• 如果设置了unexpected_handler，抛出不能处理的异常，调用unexpected_handler进行处理，处理可以采用terminate，exit或abort方式；
• 如果设置了unexpected_handler，抛出不能处理的异常，调用unexpected_handler进行处理，处理可以抛出新的异常；如果新的异常可以处理，则ok；
• 如果设置了unexpected_handler，抛出不能处理的异常，调用unexpected_handler进行处理，处理可以抛出新的异常；如果新的异常还不在异常处理列表：1、如果bad_exception在异常处理列表，则抛出bad_exception异常；此处相当于对异常做了转换！！！2、如果bad_exception不在异常处理列表，则抛出的异常不做转换。
• 如果异常无法处理，则调用unexpected_handler缺省的行为terminate，而terminate缺省的行为是调用函数abort（或者执行terminate_handler）；

四、详细说明

• 不要使用“异常规格”，无法保证调用的函数遵守“异常规格”；
• C++拒绝为没有完成构造操作的对象调用析构函数；
• 永远不会回到抛出异常的地方；
• 异常抛出给调用者处理；
• C++规范要求被做为异常抛出的对象必须被复制：

• • 即使被抛出的对象不会被释放(如static对象)，也会进行拷贝操作；
  • 即使throw的是引用，也会进行拷贝操作；
  • 因为throw之后就离开了生存空间。
    • 一个被异常抛出的对象总是一个临时对象。
    • catch的都是副本。

• 当异常对象被拷贝时，拷贝操作是由对象的拷贝构造函数完成的。该拷贝构造函数是对象的静态类型（static type）所对应类的拷贝构造函数，而不是对象的动态类型（dynamic type）对应类的拷贝构造函数。--- 如果throw一个基类的引用，catch得到也一定是基类的对象；
• 指针捕获异常 --- 不符合C++语言本身的规范。因为不知道抛出的异常是“全局”？“静态”？“堆”？的异常，不确定是否需要删除。
• 值捕获异常 --- 多一次拷贝过程，如果throw子类，catch基类，则多出的一次拷贝会导致截断问题。
• 引用捕获异常 ---

catch (Widget& w)                 // 捕获Widget异常

{

  ...                             // 处理异常

  throw;                         // 重新抛出异常，让它

}                                 // 继续传递---------重新抛出的是当前捕获的异常，这个异常可能是Widget类型，也可能是Widget的派生类，由捕获的决定；

catch (Widget& w)                 // 捕获Widget异常

{

  ...                             // 处理异常

  throw w;                        // 传递被捕获异常的

}                                 // 拷贝  ----------重新抛出的是当前捕获异常的一个新的拷贝，这个异常一定是Widget类型；

• catch子句中进行异常匹配时可以进行两种类型转换： 
  • 继承类与基类间的转换：捕获基类的catch子句也可以处理派生类类型的异常（用于数值、引用以及指针上）,先catch派生类的异常，再catch基类的异常！
  • 第二种是允许从一个类型化指针（typed pointer）转变成无类型指针；  catch (const void*)...    //捕获任何指针类型异常
  • 不支持其他默认转换，包括int到doule类型的转换；
• 提供“异常安全保证”！！！目标：不泄露资源；不破坏数据；

         不泄露资源：使用智能指针，智能lock等技术。

         不破坏数据分三种：

                基本型；

                       失败，则数据保持在有效状态下，但状态未知。

                强烈型：

                       失败，则恢复原状。

                       1、往往通过copy-and-swap实现。使用std：：swap或自写的swap，不能抛出异常。

                       2、但有时候没意义。因为其他函数的“异常安全保证”太低，这个函数这么高，性能受影响，意义不大。

                不抛异常型：throw()

• 析构函数应该扑捉任何异常，然后吞下它们或者结束程序。如果 客户想对异常做出处理，则提供普通的“成员函数”（而非析构函数），运行客户主动执行该操作。