啓動並運行代碼合同

Question

在VS2010和.NET 4.0中，我看到intellisense中用於向我的代碼添加合同的快捷方式（例如cr，crr），但是當我添加這些代碼時，代碼（如Contract .Requires）沒有有效的程序集，所以沒有智能感知（基本上找不到類型）。

我如何準備好並使用代碼合同運行？

編輯：所有的方法存在於System.Diagnostics.Contracts，但我認爲我會在整個使用屬性？此外，還有很多不同的.dlls可用的合約！

感謝

Answer 1

裝配只是mscorlib - 和Contract是在System.Diagnostics.Contracts命名空間。

<plug> 有關代碼契約一些更多的信息，你可以買到的C＃第二版的深度和閱讀第15章（該章是免費提供的，但不是現在，我害怕。） </plug>

或課程，你可以閱讀文檔也是如此，因爲他們是相當不錯的:)

如果你發現你錯過了System.Diagnostics.Contracts命名空間，這是值得一試，你真正的目標.NET 4 - 如果你在VS2010中創建一個.NET 3.5項目，它將不具有代碼合同（不需要添加任何明確的彙編參考）辦法）。