[迷信] コンストラクタから例外を送出してはならない

比較的有名なサイトで「コンストラクタからの例外送出」が「禁じ手」として紹介されていることもあり、また、最近ではその内容を再編集した書籍が出版されたこともあって、コンストラクタから例外を送出すべきではないと考える人は多いようです。

その根拠となっているのは、コンストラクタから例外を送出した場合、デストラクタが呼ばれないためにリソースリークにつながるというものです。これは、次のようなケースを想定しているものと思われます。

foo::foo()
  : a(new A), b(new B)
{
}

確かに、a または b のうち、後から初期化される側で例外が送出されると、他方が解放される機会が失われるため、リークにつながります。しかし、

void foo()
{
  A* a = new A;
  B* b = new B;
  ...
}

でも同じことが起こるのではないでしょうか。つまり、リークが起きるのは、コンストラクタから例外が送出されたからではなく、例外安全ではない設計またはコーディングに問題があるからです。

オブジェクトの生存期間というのは、コンストラクタの処理が完了した時点から始まります。生まれていないものが（デストラクタによって）死ぬことはナンセンスですし、生まれていないものに対して、何らかの操作を行うのも同じくナンセンスです。

また、コンストラクタが失敗したことを通知する一般的な手段は例外しかありません。明示的にコンストラクタが呼ばれる場合は、エラーを格納するためのオブジェクトを、参照またはポインタで渡すこともできるでしょう。しかし、関数からの return 時に呼び出されるコピーコンストラクタなど、それが不可能なケースもあるのです。

もし、Embedded C++ のように例外処理をサポートしない処理系の場合には、コンストラクタが失敗したことをデータメンバに記録しておき、後からそれを参照する方法などで逃げなければならないかもしれません。しかし、それは非標準処理系における特例に過ぎません。

ところで、最初の例に挙げたように、a と b の両方のデータメンバ初期化時に例外が送出される可能性がある場合はどうすればよいのでしょうか？

リークを回避するには次のようにします。

foo::foo()
try
  : a(0), b(0)
{
  a = new A;
  b = new B;
  ...
}
catch (...)
{
  delete a;
  delete b;
}

しかし、可能であれば、a と b をそれぞれ new するのではなく、構造体にまとめることで、もっと簡単に状況を改善する方がよいと思います。

参考までに、最初は「コンストラクタから例外を送出すべきではない」としていたにもかかわらず、後にその主張を撤回しているページをご紹介したいと思います。

C と C++ での例外処理 第 16 部

結論としては、コンストラクタが失敗した場合には例外を送出することによってそれを通知すべきであり、それ以外の一般的な方法はありません。

参考情報

• [迷信] オブジェクトの動的生成に失敗するとメモリリークする