C++异常(3) - 捕获基类与子类的异常

如果基类和子类都被做为异常捕获，则子类的catch代码块必须出现在基类之前。
如果把基类放在前面，则子类的catch代码块永远都不会被调用。

例如，下面程序打印“Caught Base Exception”。

[cpp]  view plain  copy

 print ?

1. #include<iostream>  
2. using namespace std;  
3. class Base {};  
4. class Derived: public Base {};  
5. int main()  
6. {  
7.    Derived d;  
8.    try {  
9.        throw d;  
10.    }  
11.    catch(Base b) {  
12.         cout<<"Caught Base Exception";  
13.    }  
14.    catch(Derived d) {  //这个catch代码块永远都不会被执行  
15.         cout<<"Caught Derived Exception";  
16.    }  
17.    return 0;  
18. }  

上述程序中，用引用也不行。因为catch对象是静态类型，而catch对象所引用的异常对象是动态类型，跟动态绑定一样，必须使用指针或引用才可以

上述程序中，如果调整下声明的顺序，则都可以被捕获。

下面是修改之后的程序，会打印“Caught Derived Exception”。

[cpp]  view plain  copy

 print ?

1. #include<iostream>  
2. using namespace std;  
3.    
4. class Base {};  
5. class Derived: public Base {};  
6. int main()  
7. {  
8.    Derived d;  
9.   
10.    try {  
11.        throw d;  
12.    }  
13.    catch(Derived d) {  
14.         cout<<"Caught Derived Exception";  
15.    }  
16.    catch(Base b) {  
17.         cout<<"Caught Base Exception";  
18.    }  
19.    return 0;  
20. }  

Java中, 编译器不允许在子类之前捕获基类的异常。C++中，编译器会给出类似下面的警告，但是还是可以编译成功。

visual studio 2015会提示： "warning C4286: “Derived”: 由基类(“Base”)在行 17 上捕获"

例如，下面Java代码会编译失败， “exception Derived has already been caught”

[cpp]  view plain  copy

  print ?

1. //文件保存为Main.java  
2. class Base extends Exception {}  
3. class Derived extends Base  {}  
4. public class Main {  
5.   public static void main(String args[]) {  
6.     try {  
7.        throw new Derived();  
8.     }  
9.     catch(Base b) {}  
10.     catch(Derived d) {}  
11.   }  
12. }  

注：此情况还适用于const和非const ，数组和引用的情况，详见《c++ primer》P584.