例外と例外のスロー。<T>？

Question

私は例外を投げるか、例えばContract.Requires<TException>

を呼ぶべきかどうか迷っています：

public static void Function(String str) 
{ 
    if (str == null) throw new ArgumentNullException("str", "Input string cannot be null."); 

    // ... 
} 

public static void Function(String str) 
{ 
    Contract.Requires<ArgumentNullException>(str != null, "Input string cannot be null."); 

    // ... 
} 

対Contract.Requires<TException>がCONTRACTS_FULLシンボルを必要としないので、私はそれを維持することができます私のリリースも構築されています。

これは私の考察です：

コン：あなたはカスタム例外型コンストラクタのオーバーロードされたバージョンを呼び出すことはできません。追加のパラメータをコンストラクタに渡す方法はありません。

プロ：静的ツールは、（たとえば、契約違反の呼び出し元に通知します）。

どのような状況で、どのような状況で使用する必要がありますか？

Answer 1

CodeContractユーザーガイドに記載されているif-then-throwと​​の基本的なトレードオフは、リリースビットを使って構築する方法です。

ケース1：if-then-throw、​​のみを使用してください。この場合、dll/exeで契約ツールを実行せずにリリースビットを構築することができます。利点は、ビルドが高速で、ツールがバグを導入するリスクがないことです。もう1つの利点は、チームメンバーがCodeContractツールの使用をオプトアウトできることです。デメリットは、必要なものの契約継承を取得しないことであり、契約書は必ずしもツールには表示されません（EndContractを使用しない限り）。このケースは、アセンブリモードを使用して指定します。カスタムパラメータの検証

ケース2：CodeContractツールは常にリリースビットで実行することにしました。これにより、​​を使用することができ、インタフェースの計測など、契約の継承を得ることができます。契約は清潔であり、ツールは認識可能です。欠点は、コードを作成するすべての人がCodeContractsツールをインストールしている必要があることです。この場合は、[契約]プロパティウィンドウの[アセンブリ]モード：[標準]を使用して指定します。

この明確な事柄を期待してください。

Answer 2

あなたが書いているようなコードは、非常にすっきりです）私は2つのアプローチのいずれかの驚天動地の違いがあることをわからないんだけど、ここで私は契約を好む理由は二つの理由...

1でありますその方法の基礎となる前提を示すステートメント。仮定が違反された場合に起こることの実装でコードを詰まらせることはありません。

2）コードを書くときにVisual Studioがコード契約を引き受けるという利点があります。また、呼び出すメソッドがどのようなことを期待しているかのヒントを提供します。これはメソッドの有効なパラメータを送信していることを確認するのに役立ちます。メソッド定義にジャンプしてコードをチェックする必要はありません。

コードをコンパイルして実行しても、大きな違いはないと思います。

これが役に立ちます。