匹配的异常并不要求与其捕获的对象类型一致。
一个对象或者是指向派生类对象的引用都会与其积累处理器匹配。
如果是对象本身而不是引用或指针的话,这个异常对象将会被“切割”,丢失派生类包含的所有信息。
因此最好是抛出引用,或者是指针。
但是不会进行自动类型转换。比如如下情况:
class Except1{};
class Except2{
public:
Except2(const Except1&){}
}
void f(){throw Except1();}
int main(){
try{
f();
}
catch(Except2&){}
catch(Except1&){}
将执行第二个catch。