Visual Studio 2010 Premium是否包括合同工具?

对于代码契约是否包含在VS2010的beta 2附带的框架中,或者甚至在VS2010本身中,似乎确实存在一些混淆。这个 Code Contracts forum (尤其是 this post)已经多次提到这一点,到目前为止还没有答案。

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

我试过用 Contract.Requires 在VS2010测试版2的终极版,但我得到了与你相同的行为。如果在“代码分析”选项卡下查看项目属性,则可以启用代码分析,但这与代码合同无关。

根据Melitta(来自基类库团队)对Connect文章的评论 Make data contract static checking available in Professional Edition :

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

这意味着您(将)必须拥有团队系统版本才能获得代码契约的编译时版本。

要在beta 2中获得静态分析,您必须从下载并安装代码契约位(1.2.21023.14或更高版本) MSDN DevLabs . 然后在项目属性下,将出现一个代码合同选项卡…从这里您可以打开静态分析…

您看到的行为是因为代码契约API位于mscorlib程序集中,它允许断言工作,但不允许其他任何操作。

我假设RTM不需要这样做。

您需要在项目属性中打开代码契约运行时检查。如果该设置窗格不存在,则需要安装从Microsoft下载的代码协定(尽管框架中存在协定.requires)。

只有运行时检查在专业版中可用。