C++における基底クラスと派生クラスの例外キャッチ：正しい順序の重要性

C++で基底クラスと派生クラスの両方の例外を捕捉したい場合は、派生クラスのcatchブロックを基底クラスのcatchブロックよりも必ず先に配置する必要があります。この順序を守らないと、派生クラスのcatchブロックは決して実行されず、常に基底クラス側が処理を引き受けてしまいます。

これは、C++の例外処理が上から順に型の一致判定を行う仕組みになっているためです。派生クラスのオブジェクトは基底クラスの型としても扱えるため、基底クラスのcatchブロックが先にあると、そこで例外が捕捉されてしまうのです。

アルゴリズム

Begin
    クラスBを宣言する。
    クラスBを継承する別のクラスDを宣言する。
    クラスDのオブジェクトを生成する。
    Try: 派生オブジェクト(derived)をthrowする。
    Catch (D derived)
        「Caught Derived Exception」を出力する。
    Catch (B b)
        「Caught Base Exception」を出力する。
End.

例1：派生クラスのcatchを先に記述した場合

以下は、派生クラスのcatchブロックを基底クラスのcatchブロックより前に配置したシンプルな例です。出力結果を確認してみましょう。

#include<iostream>
using namespace std;
class B {};
class D: public B {}; // クラスDはクラスBを継承
int main() {
    D derived;
    try {
        throw derived;
    }
    catch(D derived){
        cout<<"Caught Derived Exception"; // 派生クラスのcatchブロック
    }
    catch(B b) {
        cout<<"Caught Base Exception"; // 基底クラスのcatchブロック
    }
    return 0;
}

出力

Caught Derived Exception

期待どおり、派生クラスのcatchブロックが実行されました。

例2：基底クラスのcatchを先に記述した場合

次に、逆に基底クラスのcatchブロックを派生クラスのcatchブロックより前に配置した例を見てみましょう。

#include<iostream>
using namespace std;

class B {};
class D: public B {}; // クラスDはクラスBを継承
int main() {
    D derived;
    try {
        throw derived;
    }
    catch(B b) {
        cout<<"Caught Base Exception"; // 基底クラスのcatchブロック
    }
    catch(D derived){
        cout<<"Caught Derived Exception"; // 派生クラスのcatchブロック
    }
    return 0;
}

出力

Caught Base Exception

まとめ

このように、throwされたのが派生クラスのオブジェクトであっても、基底クラスのcatchブロックが先に書かれていると、そちらで例外が捕捉されてしまいます。多くのコンパイラでは、到達不能な派生クラスのcatchブロックに対して警告が出ることもあります。

したがって、派生クラスのcatchブロックは必ず基底クラスのcatchブロックより前に配置することが、C++の例外処理における重要なルールです。これにより、より具体的な（派生クラスの）例外を優先的に、かつ適切に処理できるようになります。