10

コントラクトを使用してコンパイル時に型の検証を追加しようとしていますが、残念ながら機能しません。たとえば、以下のコードでは、プロジェクトのコンパイル中にコンパイラ エラーが発生しません。何かを有効にする必要がありますか？

Contract.Assert(false, "Invalid state!");
4

1 に答える 1

9

はい、静的チェックを有効にする必要があります。プロジェクトのプロパティに移動し、[コード コントラクト] タブにアクセスします。もちろん、最初に静的チェッカー拡張機能をインストールする必要があります。これは、IIRC が Visual Studio Ultimate でのみ利用可能です。利用可能な正確なオプションの詳細については、ユーザー ドキュメントを参照してください。

これは最初のコンパイル段階の後に発生することに注意してください。そのため、ビルドの最初の部分と静的チェッカーの結果の間に遅延が発生することがあります。(これは実際には「コンパイラ」エラーではなく、「コントラクト チェック」エラーです。)

于 2012-06-19T11:11:39.910 に答える