抛出类类型的异常

异常抛出后，被选中的处理代码是调用链中与该对象类型匹配且离抛出异常位置最近的那个。

如果抛出的异常对象是一个数组，将转换为指向数组首元素的指针；如果抛出的是一个函数，则转换为指向该函数的指针。

抛出throw之后，跟在throw后面的语句不会继续执行。控制将从throw转移到匹配的catch。该catch可以是同一函数中局部的catch，也可以在直接或间接调用发生异常的函数的另一个函数中。

因为在处理异常的时候会释放局部存储，所以被抛出的对象就不能再局部存储，而是用throw表达式初始化一个称为异常对象（exception object）的特殊对象。异常对象由编译器管理，而且保证驻留在可能被激活的任意catch都可以访问的空间。这个对象由throw创建，并被初始化为被抛出的表达式的副本。异常对象将传给对应的catch，并且在完全处理了异常之后撤销。

异常对象通过复制被抛出表达式的结果创建，所以该表达式结果必须是可以复制的类型。

1. 异常对象与继承

在实践中，许多应用程序抛出的表达式，其类型来自某个继承层次。当抛出一个表达式时，被抛出对象的静态编译类型将决定异常对象的类型。

2. 异常与指针

如果在抛出的表达式中，对指针解引用，其类型与指针的类型匹配。如果该指针是一个指向派生类对象的基类类型指针，则那个对象将被分割，只抛出基类部分。也就是说，无论对象的实际类型是什么，异常对象的类型都与指针的静态类型相匹配。

如果抛出的是指针本身，问题可能更严重。如果抛出指向局部对象的指针，而处理代码在另一函数中，则执行处理代码时指针所指向的对象将不再存在。即使处理代码在同一函数中，也必须保证指针所指向的对象在catch处存在。

【学习资料】 《c++ primer》