c++ - 多態的に例外をキャッチする

Question

ここにあるmain()：

int main()
{
    B b(1,"two","three");
    try
    {
        f1(b);
    }
    catch(B& b_ref)
    {
        cout<<"Caught B&"<<endl;
        b_ref.print();
    }
    catch(A& a_ref)
    {
        cout<<"Caught A&"<<endl;
        a_ref.print();
    }

    system("pause");
    return 0;
}

ここにあるf1()：

void f1(A& subject)
{
    throw subject;
}

情報：

B は A から継承します。A::print()仮想であり、B で再実装されます。例外をキャッチする catch はです。これはcatch(A& a_ref)、例外の静的な型 (サブジェクト) が A& であるため、理にかなっていると思います。しかし、なぜB:: print()実行されていないのですか？動的タイプは「失われた」ですか？ラインでのみA::print()実行されますa_ref.print();。

誰か説明できますか？

score 6 · Accepted Answer

throwそれに続く式の型のオブジェクトのみをスローします。この場合、は実際のオブジェクトが何であるかに関係なくsubject型であるため、がスローされます (参照はスローできないため、コピーが作成されることに注意してください)。A&A

例外をスローする例外クラスにメンバー関数を追加することで、これに対処できます。このメソッドをすべてのクラスに実装している限り、呼び出されるオーバーライドはオブジェクトのランタイムタイプを認識し、throw *this.

http://www.ddj.com/cpp/184401940

score 6 · Accepted Answer

C++ 標準 15.1/3 によると:

throw 式は、例外オブジェクトと呼ばれる一時オブジェクトを初期化します。その型は、throw のオペランドの静的型から最上位の cv 修飾子を削除することによって決定されます...

したがって、タイプ B ではなくタイプ A の一時オブジェクトを作成します。

score 5 · Accepted Answer

「」と言うとthrow subject、スロー式の静的型に基づいて新しい例外オブジェクトが作成されます ( subject)。参照であるという事実subjectは、スローするオブジェクトを決定する目的には関係ありません。新しいAオブジェクトは、から構築されたコピーsubjectです。このコピー (またはこのコピーのコピー) が、実際にキャッチされるオブジェクトです。

score 4 · Accepted Answer

Catch ブロックはポリモーフィックに機能しますが、throw は機能しません。あなたが言う時：

void f1(A& subject)
{
    throw subject;
}

関数に渡されるものは B ですが、A をスローしています。

score -1 · Accepted Answer

参照によってキャッチするため、オブジェクトは「スライス」されます。

本当にポリモーフィックな動作が必要な場合は、pimpl イディオムのようなものを使用してみてください。

c++ - 多態的に例外をキャッチする

5 に答える 5

Related

Reference