例外の有効期間はネストされたハンドラによって影響を受けますか？

Question

次のコードスニペットを考えてみましょう：標準から

struct ExceptionBase : virtual std::exception{}; 
struct SomeSpecificError : virtual ExceptionBase{}; 
struct SomeOtherError : virtual ExceptionBase{}; 

void MightThrow(); 
void HandleException(); 
void ReportError(); 

int main() 
{ 
    try 
    { 
    MightThrow(); 
    } 
    catch(...) 
    { 
    HandleException(); 
    } 
} 

void MightThrow() 
{ 
    throw SomeSpecificError(); 
} 

void HandleException() 
{ 
    try 
    { 
    throw; 
    } 
    catch(ExceptionBase const &) 
    { 
    // common error processing 
    } 

    try 
    { 
    throw; 
    } 
    catch(SomeSpecificError const &) 
    { 
    // specific error processing 
    } 
    catch(SomeOtherError const &) 
    { 
    // other error processing 
    } 

    ReportError(); 
} 

void ReportError() 
{ 
} 

15.1.4項を教えてくれる：

スローされた例外の一時的なコピーのためのメモリが指定されていない方法で 割り当てられ、 3.7.3.1に記載されている場合を除く。 例外のためにハンドラが実行されている限り、 のテンポラリは持続します。特に、ハンドラが throwを実行して終了した場合、同一の 例外の別のハンドラに制御を渡すので、一時的に残ります。 例外のために実行された最後のハンドラが の場合、throw以外の手段で終了します。 一時オブジェクトが破棄され、が実装され、一時オブジェクトのメモリが に割り当て解除される可能性があります。そのような割り振り解除は、指定されていない方法で で行われます。破棄は、 ハンドラの例外宣言で宣言されたオブジェクトの破棄の直後に発生します。

mainのハンドラを「最後のハンドラ」として表示するのは正しいですか？したがって、現在の例外オブジェクトの破壊を引き起こさずに、HandleExceptionに任意の数の再スローとキャッチが許可されますか？

Answer 1

アムは、私がメインで、ハンドラを表示するには修正「最後のハンドラ？」

はい、あります。

ので、再スローのと漁獲量の任意の数は現在の例外オブジェクトの破壊を引き起こすことなく、HandleExceptionで許可されていますか？

はい。最終的に未処理の例外オブジェクトは、コンパイラ生成コードによって破棄されます。メモリリークは発生しません。

HandleException()に再スローするのは良いことではありません。代わりに 1.特定の処理を要求する例外タイプにキャッチを書き込みます。 2. dynamic_castを使用して例外処理をグループ化できます。基本例外タイプをキャッチし、それを派生した例外クラスのいずれかにダウンキャストしようとします。しかし、dynamic_castは良い習慣ではありません。だから、第1の解決策を使う方が良いです。

それは次のようにあなたのコードを書き換える方が良いでしょう。これまでに投稿されたコメントと回答のため

struct ExceptionBase : virtual std::exception{}; 
struct SomeSpecificError : virtual ExceptionBase{}; 
struct SomeOtherError : virtual ExceptionBase{}; 

void MightThrow(); 
void HandleExceptionBase(); 

int main() 
{ 
    try 
    { 
    MightThrow(); 
    } 
    catch (SomeOtherError &error) { 
    // first common code 
    HandleExceptionBase(); 
    // react on this exception correctly 
    // specific code 
    } 
    catch (SomeSpecificError &error) { 
    // first common code 
    HandleExceptionBase(); 
    // react on this exception correctly 
    // specific code 
    } 
    catch (ExceptionBase &error) { 
    HandleExceptionBase(); 
    // finally catch anything derived from base class 
    // react on this exception correctly 
    } 
    catch(...) { 
    // react on any other exception except 3 listed above 
    } 
} 

void MightThrow() 
{ 
    throw SomeSpecificError(); 
} 

void HandleExceptionBase() { 
    // base exception handler 
} 

Answer 2

感謝。私は私が探しているものを見たことがないので、私はan answer provided by ascheplerの情報をフォローアップの質問に追加します。

15.3p7：ハンドラは、catch節の仮パラメータ（ある場合）の初期化が完了したときにアクティブと見なされます。 ... ハンドラは、catch節が終了したとき、またはスローによって入力された後に std :: unexpected（）が終了したときにアクティブであるとはもはや考えられません。

15。3p8：まだアクティブになっている最も最近アクティブ化されたハンドラを持つ例外は、現在処理されている例外と呼ばれます。

私は標準の言語がここに非常に明確であり、mainが実際に最後ハンドラだと思います。したがって、例外の存続期間はネストされたハンドラの影響を受けません。