visual studio 2010 Premium是否包含合同工具？

Question

根据此功能矩阵,Visual Studio 2010 Premium(RC)包括"静态代码分析".

但是,Contract.Requires在我的方法开头添加调用似乎没有任何效果.如果合同被违反,我不会得到运行时异常.如果无法证明合同,我不会收到编译器警告.我也找不到项目设置中的"代码合同"选项卡.

我错过了一些明显的东西,或者这个功能仅在Ultimate版本中可用吗？

Answer 1

关于代码契约是否包含在 VS2010 beta 2 附带的框架中，甚至包含在 VS2010 本身中，确实似乎存在一些混乱。代码契约论坛（特别是这篇文章）多次提到了这一点，但目前还没有答案。

我不认为代码契约属于静态代码分析的范畴。我认为静态代码分析指的是其他代码分析工具，例如FxCop。

我曾尝试在 VS2010 beta 2 终极版中使用Contract.Requires，但我得到了与你相同的行为。如果您查看“代码分析”选项卡下的项目属性，则可以启用代码分析，但这与代码契约无关。

根据 Melitta（来自基类库团队）对 connect 文章Make data协定静态检查在专业版中可用的评论：

...但是对静态分析工具的限制代表了即将发布的版本。它使代码分析故事保持一致，因为静态分析工具需要 VSTS。

这表明您（将）必须拥有团队系统版本才能获取代码合约的编译时版本。