“代码协定”包括它的语法和使用方法。如果以前不知道代码协定,去看看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,则能在语法提示上显示你写的协定。
如果你乐于使用代码协定,用不了多久,你会发现Contract.Requires(bool , string )抛出的异常总是类似“Must use rewriter when using Contract”。
这时你要去http://msdn.microsoft.com/zh-cn/devlabs/dd491992.aspx,点击右侧的Download Standard Edition。下载安装。
新建一个项目后,进项目属性(不是解决方案),你应该在代码分析下见到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编译一下,然后提示才有。
经过这样的设置,Contract.Requires(bool , string )抛出的异常就给出你自已定义的提示消息了。