C++ メンバ関数内でthrowしてもデストラクタは実行される？

Question

C++ メンバ関数内でthrowしてもデストラクタは実行される？

クラスのメンバ関数内で例外が送出された場合、デストラクタは呼び出されますか？
デストラクタ内にコンソールに文字列を表示させる処理を追加して検証してみましたが、デストラクタは呼び出されていないように思いました。

そもそも、メンバ関数でthrowを使うのはだめなんでしょうか。

該当のソースコード

class hoge {
 private:
 public:
  hoge();
  ~hoge();
  void some_func();
};

hoge::hoge() { /* new 処理 */ }
hoge::~hoge() { /* delete 処理 */ }
void hoge::some_func() { throw; }

Answer 1

こんにちは。

そのインスタンスのスコープから外れる時にそのインスタンスのデストラクタが呼び出されます。
例外を投げたのがメンバ関数かどうかは無関係です。

なお、throw;は現在保留中の例外を再throwする命令です。catchブロックの中で使います。
保留している例外が無い時は単にstd::terminate()を呼び出します。ここの2)参照

#include <iostream>

class hoge {
 private:
 public:
  hoge();
  ~hoge();
  void some_func();
};

hoge::hoge() { /* new 処理 */ }
hoge::~hoge() { /* delete 処理 */ std::cout << "~hoge()\n"; }
void hoge::some_func() { throw 123; }

int main()
{
    {
        hoge h;
        std::cout << "h is in the scope.\n";
    }
    std::cout << "h is out of scope.\n";

    try
    {
        hoge h;
        h.some_func();
    }
    catch(int e)
    {
        std::cout << "e=" << e << "\n";
    }

    try
    {
        hoge h;
        throw 456;
    }
    catch(int e)
    {
        std::cout << "e=" << e << "\n";
    }
}

// h is in the scope.
// ~hoge()
// h is out of scope.
// e=123
// ~hoge()
// e=456

wandbox

Answer 2

some_func() が失敗したらhogeがデストラクトされなければならないんですか?
例外は"なんかヤバいことが起こった"ことをthrowするからくりで、
デストラクトする/しないはcatch側の責任じゃないんですか?

Comments

[episteme]

低評価の理由が知りたいなぁ...