【2012.12.27更新】.Net 4.0代码协定用法简介

2012.12.27更新：

• 增加了EnsureContractReferenceAssemblies。

“代码协定”包括它的语法和使用方法。如果以前不知道代码协定，去看看http://msdn.microsoft.com/zh-cn/library/dd264808.aspx。它的语法是很简单的，可以参见http://msdn.microsoft.com/zh-cn/library/system.diagnostics.contracts.contract.aspx。

我这里重点讲讲代码协定的用法。

Visual Studio本身并不“认识”代码协定，不会对它们有特别的反应。如果你安装了Code Contracts Editor Extensions（只能装在VS 2010上），则能在语法提示上显示你写的协定。

如果你乐于使用代码协定，用不了多久，你会发现Contract.Requires(bool , string )抛出的异常总是类似“Must use rewriter when using Contract”。

这时你要去http://msdn.microsoft.com/zh-cn/devlabs/dd491992.aspx，点击右侧的Download Code Contracts。下载安装。

新建一个项目后，进项目属性（不是解决方案），你应该在代码分析下见到Code Contracts这个选项夹。Assembly mode选Standard比较好。打勾Perform Runtime..，下拉框里有五项选项。

• Full表示执行所有的代码协定语句。
• Pre and Post表示执行Contract.Require和Contract.Ensure。
• Preconditions表示执行Contract.Require。
• ReleaseRequires表示执行公开类的公开方法的Contract.Require，即public class.public method。
• None就是没有。

Contract Reference Assembly选Build。 这表示在编译的时候重写程序集，使上图的提示能弹出来。就是说如果你新建一个项目，写一个方法M，在里面写几句Contract，然后在另一个方法里调用M，是不会弹出如上图的提示的。你必须Contract Reference Assembly选Build，再按F6编译一下，然后提示才有。但是，如果设置为build，如果你用VS 2012（我没注意2010是不是也这样），每次F5运行时，不论你是否修改过代码，ccrewriter总是会EnsureContractReferenceAssemblies，在我的电脑上耗时至少3秒。

经过这样的设置，Contract.Requires(bool , string )抛出的异常就给出你自已定义的提示消息了。

另外，也请参考《我并没有定义CODE_ANALYSIS编译符号，为什么基于此符号条件编译的类、特性、语句仍在？》。