C＃4.0 + / Visual Studio 2013中的代码契约

Question

我很确定我尝试在C＃代码中使用Code Contracts，只需包含对System.Diagnostics.Contracts Namespace http://goo.gl/wZIg54的引用。

但是Code Contracts for .NET页面建议我需要下载MSI包。为什么会这样？ Code Compcts是否内置于.NET / C＃中？

Answer 1

@vkelman 指定合同所需的调用是基本框架的一部分（例如，Contract.Requires）。但是，除非您安装了MSI包中的工具，否则Visual Studio不会执行任何操作。