rethrow_exceptionは本当にコピーではなく同じ例外オブジェクトをスローすることができますか？

Question

exception_ptrが何をするか検討している間は、C++ 11標準は、（18.8.5/7）と言うこと：データ競合を導入してはならない同じ例外オブジェクトを参照してくださいexception_ptrオブジェクト上rethrow_exceptionの

使用。 [注意：rethrow_exceptionは同じ例外オブジェクト（というよりコピー）を再スローした場合、その再スロー例外オブジェクトへの同時アクセスは、データ競合を導入することができる...

私はこの奇妙な「ノートケースを見つけることができません。 rethrow_exceptionの記載された効果は「例外：pが参照する例外オブジェクト」であるが15.1/3であるため、「例外を投げる」ことは例外オブジェクトと呼ばれる一時オブジェクトをコピー初期化することを要求する。 "

奇妙なメモは、rethrow_exceptionがこのコピー初期化をスキップすることを意味します。しかし、これは本当に可能ですか？

Answer 1

はい、標準の欠陥のようです。オペランドなしで再スロースロー発現即ちthrow;ため、15.1p8は言う：

ないオペランドとスロー発現が現在処理例外を再スロー。例外は既存の例外オブジェクトで再アクティブ化されます。新しい例外オブジェクトは作成されません。 [...]

つまり：

​​

current_exceptionコピー現在処理例外オブジェクトの実装は、rethrow_exceptionコピーかどうかを指示する方法はありません場合は、それはを参照している場合例外オブジェクトは、その後、我々は確認することができます。

#include <exception> 
#include <iostream> 
int main() { 
    std::exception_ptr p; 
    try { 
     try { 
     throw std::exception(); 
     } catch(...) { 
     p = std::current_exception(); 
     std::cout << (p == std::current_exception()) << ' '; 
     std::rethrow_exception(p); 
     } 
    } catch(...) { 
     std::cout << (p == std::current_exception()) << '\n'; 
    } 
} 

私は版画1 1上でそれを試してみた全ての実施を。 コピーの場合は0 0が許可されます。 0 1は明らかに不可能ですが、現在の状態の標準は1 0が必要です。この修正は、rethrow_exceptionがexception_ptrが指し示す例外オブジェクトをコピーすることを許可または義務づけている15.1p8と同様の言語で18.8.5p10を明確にすることになります。

ほとんど例外：標準で仕様がちょうどタイプ（例外：bad_alloc）の名​​前または不定冠詞（例外：タイプ...の例外）を使用します。明確な記事を使用するための他の唯一の例外仕様はfuture::getとshared_future::getのものなので、どの解像度でもこれらの問題に対処する必要があります。

Answer 2

はい、可能です。例外処理メカニズムは、もともとスローされたオブジェクトのコピーをすでに持っています。通常、exception_ptrは、そのコピーの参照カウントを管理するスマートポインタとして実装されます。 一般要件として

は、一般的な要件を持つ特定の要件の競合は、特定の要件が勝てば。

Answer 3

throw x;と言うとき、例外オブジェクトはxと同じタイプですが、コピーです。

std::rethrow_exception(p);と言うとき、例外オブジェクトはポインタによって参照される実際のオブジェクトであり、それ以上のコピーは作成されません。

は、このように複数のスレッドが同時に同じ例外ポインタ再スローである（コピーを許可されている！）、それらすべてが同じオブジェクトへの参照を持っています。