なぜ派生クラスでベースをキャッチするのですか？

Question

以下のコードでは、結果は "EA Exception Finished"です。これは、派生クラスで投げたものの、基本クラスで捕捉したものです。それはいつもですか？もしそうなら、どのように派生クラスをキャッチすることができますか？ "EB Exception Finished"は表示されますか？

また、throw EB()とcatch(EA&)とはどういう意味なのでしょうか。そしてcatch(EA&)は、catchブロックがEA オブジェクトの参照を取得することを意味しますか？

ご迷惑をおかけして申し訳ありません。あなたが私に本や例外の構造について言及する何かを勧めたら、それは大きな助けになるでしょう。

class EA {}; 
class EB: public EA {}; 

void F() 
{ 
    throw EB(); // throw at EB(). 
} 

int main() 
{ 
    try 
    { 
    F(); 
    } 
    catch(EA&) // caught here?? 
    { 
    std::cout<<"EA Exception"; 
    } 
    catch(EB&) // why not me? every time? 
    { 
    std::cout<<"EB Exception"; 
    } 

    std::cout<<" Finished"<<std::endl; 

    return 0; 
} 

Answer 1

理由：

アップキャストベースに派生クラスの

。常に最初のキャッチにはまってしまいます。

Answer 2

キャッチブロックは、宣言した順序でチェックインするためです。

最初にキャッチするのはEA&です。 EBはEAから派生しているので、これは有効なキャッチであり、2番目のキャッチは無視されます。

例外的に最も特殊な例外を捕捉したいと考えています。したがって、キャッチブロックを切り替えると、別の方法で動作するはずです。

Answer 3

catch文が順番に検査されます。 EA&が一致するので、使用されます。 EB&は決して照合できません。より具体的なキャッチを最初に置く必要があります。

catch(EB&) // Will catch 
    { 
    std::cout<<"EB Exception"; 
    } 
    catch(EA&) // and this would catch EA objects that aren't EB. 
    { 
    std::cout<<"EA Exception"; 
    } 

Answer 4

変更その動作を修正するcatchブロックの順序：

#include <iostream> 

class EA {}; 
class EB: public EA {}; 

void F() 
{ 
    throw EB(); // throw at EB(). 
} 

int main() 
{ 
    try 
    { 
    F(); 
    } 
    catch(EB&) // why not me? every time? 
    { 
    std::cout<<"EB Exception"; 
    } 
    catch(EA&) // caught here?? 
    { 
    std::cout<<"EA Exception"; 
    } 

    std::cout<<" Finished"<<std::endl; 

    return 0; 
} 

コンパイラもこのことについて警告を表示します：

main.cpp:21:3: warning: exception of type 'EB' will be caught 
    catch(EB&) // why not me? every time? 
    ^~~~~ 
main.cpp:17:3: warning: by earlier handler for 'EA' 
    catch(EA&) // caught here?? 
    ^~~~~ 

Answer 5

[except.handle]に標準で述べたように（作業ドラフト）：

tryブロックのハンドラが外観順に試行されます。これにより、たとえば、対応する基本クラスのハンドラの後に派生クラスのハンドラを配置するなど、実行できないハンドラを記述することができます。

これはまさにあなたがしたことです。確かに興味深い。
ハンドラを反転して問題を解決します。