c++捕获异常

catch子句（catch clause）中的异常说明符（exception specifier）决定了处理代码能够捕获的异常种类。

1. 查找匹配的处理代码

在查找匹配的catch期间，找到的是第一个可以处理该异常的catch。异常的类型与catch说明符的类型必须完全匹配，仅仅存在下面几种可能的区别。

（1）非const对象的throw可以与指定接受const引用的catch匹配。

（2）派生类对象的throw可以与指定其基类类型的catch匹配。

（3）throw的数组会转换为指向其首元素的指针，函数会转换为函数指针。

2. 异常说明符

如果异常说明符不是引用，就将异常对象复制到catch形参中，catch操作异常对象的副本。如果说明符是引用，则catch形参只是异常对象的另一名字，catch操作作用于异常对象。

3. 异常说明符与继承

基类的异常说明符可以用于捕获派生类型的异常对象。异常说明符的静态类型决定catch子句可以执行的动作。如果catch子句处理因继承而相关的类型的异常，应该将形参定义为引用。如果异常说明符不是引用，并且catch对象是基类类型对象而异常对象时派生类型的对象，就会将异常对象分割为它的基类子对象。

4. catch子句的次序必须反映类型层次

因为catch子句按出现次序匹配，所以使用来自继承层次的异常的程序应该将catch子句排序，将派生类型的catch放在基类类型的catch之前。

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