Spec# の素晴らしさに影響された静的クラスについて読んだ後、System.Diagnostics.Contracts.Contract私は感激し、すぐにコードにContract.Requires()andの呼び出しを追加し始めましContract.Ensures()た。
私のコードが非常に素晴らしく、バグがないため、それらの呼び出しが実際に何かを実行したかどうかを確認することが最近まで行われなかったのだと思います。バグがすり抜けて、これらの呼び出しが何もしないことに気付きました! 条件に違反したときに少なくとも例外をスローすると思っていましたが、そのような運はありませんでした。
何か不足していますか？一体何がポイントなのか誰か知っていますか？
コントラクトの実行時の強制を挿入するには、バイナリ リライターを使用する必要があります。それ以外の場合、Contract.Ensures メソッドなどのコントラクトは静的にしかテストできず、コントラクトに違反しても実行時に例外をスローしません。バイナリ リライター CCRewrite は、MSDN DevLabs Web サイトの Code Contracts からダウンロードできます。CCRewrite には Visual Studio アドインが付属しており、プロジェクトの [プロパティ] ページからランタイム コントラクトの適用を有効にすることができます。バイナリ リライターと Visual Studio アドインは、Visual Studio 2010 または Windows SDK には同梱されていません。
JSBangs の回答を拡張します。
ここで「Perform Runtime Contract Checking」ボックスをチェックする必要があります。
（「静的チェック>静的コントラクトチェックを実行する」ボックスもチェックしました）
呼び出しでエラーをスローする場合.Requiresは、プロジェクト設定でオプションを設定するか、.Requires<T>呼び出しを使用する必要があります