コンストラクタでの例外

Question

質問

C# では、コンストラクタで例外をスローするのはお作法としてよいのでしょうか？

C++ とは異なり、GC がメモリを解放してくれるので
コンストラクタで例外を投げても、よしなに解放処理が走るため例外をスローしても問題ないのでは？と考えています。
※アンマネージリソースの確保がない場合。

以下コメントアウトしている箇所での、例外スローについて悩んでいます。
コメントアウトを解除してもよいかどうか、お知恵をお貸しいただけないでしょうか。

該当のソースコード

/// <summary>
/// コンストラクタ
/// </summary>
public Score(int score)
{
  // 生成されるインスタンスが 0-10 の範囲内であることを保証したい
  // if (_score < 0 || 10 < _score) throw new ArgumentOutOfRangeException();
  _score = score;
}

使用サンプル

[TestCase(-1)]
[TestCase(11)]
public void ExceptionScoreTest(int roll)
{
  Assert.That(() => new Score(roll), Throws.TypeOf<ArgumentOutOfRangeException>());
}

補足

この手の質問・記事は web ページにいくつかありましたが、
賛否両論であったり、記事のページが数年前のもの、また .NetFramework のバージョンも当時と異なるため
本質問を投稿させていただきました。

Answer 1

FileStream Constructors

FileStream のコンストラクタは例外を投げます。

Comments

[Zuishin]

アンマネージリソースであるファイルハンドルを確保しています。

例外を投げてはいけないという主張にはその理由が書いてあるはずです。それをよく読んで理解して使ってください。投げるべきではないケースもあるはずです。

「C++ がそうだから」というのは話になりません。無視してください。

[Ojawa]

>>Zuishin さん
いつもご回答ありがとうざいます。

FileStream 等は、アンマネージリソースを扱うので少々コストの高い例外をスローするのは処理に見合っていると思うのですが、

マネージリソースのインスタンス生成時で値範囲チェックのために例外をスローするのは、
コストに見合わない？とも考えています。生成の度に catch 処理もコードに埋めなくてはならないので。
しかし内部的に、-1 のような異常値を _score に持たせるのも考えもので・・・。

[Zuishin]

ケースバイケースだと思いますが、範囲チェックのための例外送出はありです。

速度が気になるなら、コンストラクタに渡す前に初期値のチェックをしてください。

[Ojawa]

> 速度が気になるなら、コンストラクタに渡す前に初期値のチェックをしてください。
こちら非常に参考になりました。
null チェックなどでも、null が入ることがありえないケースにおいてはチェック処理を記述しないため
例外でも同様のことが適用できそうです。
ありがとうございます。

[Zuishin]

コンストラクタでのチェック処理自体は書いておいた方がいいと思います。そして不正な値の場合は例外を起こすのが良いと思います。思わぬバグが入ったときにみつけやすくなります。

生成前と生成後と二重にチェックすることになりますが、それは許容するべきものだと思います。

Answer 2

コンストラクタで例外を投げても問題ないと思いますが，

コンストラクタをprivateにして，代わりにインスタンス生成する用のstaticメソッドを用意するとかすればそこで引数チェックしてからコンストラクタを呼ぶことができますから，コンストラクタ内では引数チェックを書かずに済み，リソース関係の心配事も減るかもです．（インスタンス生成するための記述が変わってしまいますが）
何なら，例外創出ではなくnullを返すとかも（やりたければですが）できます．

Comments

[Ojawa]

>>fana さん
ご回答ありがとうございます。

シングルトンや、Factory パターンの Create などで生成する時に使用していましたが
あえて private コンストラクタにしていることが使用者からすると気軽にインスタンス化出来ないクラスと明示できるため良さそうだと思いました。

Answer 3

C++ とは異なり

そもそも論として、C++でもコンストラクタから例外を投げるのが適切なときがあります（例外を投げずに対応しようとすると、呼んだ側に中途半端なオブジェクトを返してしまうことになります）。

一方で、C++のデストラクタで例外を投げるのは、基本的によくありません。

Comments

[Ojawa]

>>maisumakun さん
C++ でコンストラクタから例外を投げるときが適切な場合があるとのことで
私自身調べてみたのですが、該当するケースを見つけることが出来ませんでした。

基本的には、[TotW #42](https://abseil.io/tips/42) のパターンを活用しているのですが、
コンストラクタから例外を投げることが適切なケースが気になります。
該当ケースがどのようなものか教えていただけないでしょうか。

[maisumakun]

極論、newをプリミティブ型に使った場合でも、メモリ不足だと処理系がstd::bad_allocを飛ばします。

[Ojawa]

自作クラスの場合は、あまりケースとしてない認識でよいでしょうか？

Answer 4

C# では、コンストラクタで例外をスローするのはお作法としてよいのでしょうか？

「コンストラクタだから」という理由で御法度にはならないでしょう。
ただし、「コンストラクタは戻り値を返せないから」という理由で例外処理を使うのは良くないと思います。
「if文」と「例外処理」は正しい使い分けが必要です。

賛否両論であったり、記事のページが数年前のもの、また .NetFramework のバージョンも当時と異なるため
本質問を投稿させていただきました。

この辺の事情は、初期バージョンの頃から変わっていませんので、他の記事を参考にしていただいても良いと思います。

Comments

[Ojawa]

自分のやりたいことが上手く実現できないため、妥協案として使用するのはいけない。
肝に命じさせていただきます。

> この辺の事情は、初期バージョンの頃から変わっていませんので、他の記事を参考にしていただいても良いと思います。
こちら情報ありがとうございます。