1

VS2010 と .NET 4.0 では、コード (例: cr、crr) にコントラクトを追加するためのショートカットが Intellisense に表示されますが、タブでこれらを追加すると、コード (Contract.Requires など) に有効なアセンブリがないため、インテリセンスがない（基本的に型が見つからない）。

コード コントラクトを使用して起動および実行するにはどうすればよいですか?

編集: System.Diagnostics.Contracts にすべてのメソッドが存在しますが、全体で属性を使用すると思いましたか? また、利用可能なコントラクト用のさまざまな .dll が多数あります。

ありがとう

4

1 に答える 1

2

アセンブリは単にmscorlib- でありContract、System.Diagnostics.Contracts名前空間にあります。

<plug> Code Contracts の詳細については、C# in Depth の第 2 版を購入して、第 15 章を参照してください (この章は無料で入手できましたが、残念ながら現在は利用できません)。 </plug>

または、もちろん、ドキュメントもかなり優れているため、読むこともできます:)

名前空間が見つからない場合はSystem.Diagnostics.Contracts、実際に .NET 4 をターゲットにしていることを確認する価値があります。VS2010 で .NET 3.5 プロジェクトを作成すると、コード コントラクトが利用できなくなります (とにかく、明示的なアセンブリ参照を追加しなければ)。 ）。

于 2010-03-28T22:02:50.480 に答える