c++ - 例外でデストラクタが呼び出されないのはなぜですか?

Question

A::~A()私はこのプログラムで呼び出されることを期待していましたが、そうではありません:

#include <iostream>

struct A {
  ~A() { std::cout << "~A()" << std::endl; }
};

void f() {
  A a;
  throw "spam";
}

int main() { f(); }

ただし、最後の行を次のように変更すると

int main() try { f(); } catch (...) { throw; }

A::~A() が呼び出されます。

Visual Studio 2005 から「Microsoft (R) 32-bit C/C++ Optimizing Compiler Version 14.00.50727.762 for 80x86」でコンパイルしています。コマンドラインはcl /EHa my.cpp.

コンパイラはいつものように正しいですか? この問題について標準は何と言っていますか？

score 75 · Accepted Answer

スタックが巻き戻される前に未処理の例外の terminate() が呼び出されるため、デストラクタは呼び出されません。

C++ 仕様の具体的な詳細は私の知識外ですが、gdb と g++ を使用したデバッグトレースはこれを裏付けているようです。

ドラフト標準セクション 15.3 の箇条書き 9によると:

9 プログラム内に一致するハンドラーが見つからない場合、関数 terminate()
  (_except.terminate_) が呼び出されます。スタックが巻き戻されているかどうか
  terminate() を呼び出す前は実装定義です。

score 18 · Accepted Answer

18

于 2008-10-22T12:19:54.630 に答える

score 3 · Accepted Answer

申し訳ありませんが、標準のコピーを持っていません。
私は間違いなくこれに対する決定的な答えが欲しいので、標準のコピーを持っている誰かが、何が起こっているかについての章と節を共有したいと思っています:

私の理解では、terminate は iff と呼ばれるだけです:

score 2 · Accepted Answer

2 番目の例では、try{} ブロックを離れるときに dtor が呼び出されます。

最初の例では、プログラムが main() 関数を離れた後にシャットダウンするときに dtor が呼び出されます --- その時点で cout はすでに破棄されている可能性があります。

score 2 · Accepted Answer

また、参照されていないため、コンパイラは「a」に関連するコードを生成しないと想定しましたが、それでも、デストラクタが実行する必要があることを行うため、これは正しい動作ではありません。

だから、VS2008/vc9 (+SP1)、デバッグとリリースで試してみました。例外がスローされた後に ~A が呼び出され、f() から抜け出します - 私が正しければ、それは正しい動作です。

今、VS2005/vc8 (+SP1) で試してみましたが、同じ動作です。

確実にするためにブレークポイントを使用しました。コンソールで確認したところ、「〜A」メッセージもあります。もしかしてどこかで間違えた？

score 2 · Accepted Answer

この質問は簡単にグーグルで検索できるので、ここで私の状況を共有します。

例外が境界を越えていないことextern "C"、または MSVC オプション /EHs を使用していないことを確認してください (C++ 例外を有効にする = Extern C 関数 (/EHs) ではい)

6 に答える 6