前几天我看到了 Code Contracts 的演示，并决定在一个小测试项目中试一试。
在向类添加“使用 System.Diagnostics.Contracts”语句后，我可以适本地设置我的代码契约(Contract)代码，但似乎没有强制执行契约(Contract)。
为什么我在项目属性屏幕上看不到“代码契约(Contract)”选项卡？
最佳答案
您需要安装 Dev Labs 工具包才能显示 Visual Studio 集成。
Code Contracts 是 .Net 4 的一部分，但默认情况下该工具不是 VS 2010 的一部分。
可以从这里下载:http://msdn.microsoft.com/en-us/devlabs/dd491992.aspx
关于code-contracts - 为什么代码契约(Contract)选项卡没有出现在 VS 2010 中？，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/4155162/