.NET 代码契约组件目前已经提供下载

代码契约（Code Contracts）是“契约式设计”的.NET 实现。按照原计划它将与.NET 4.0 一起发布，不过现在开发人员已经可以从DevLab 上下载这个组件了。“契约”为API 的使用增加了限制和更多验证，编程因此变得更为安全，并可有效避免在运行中出现意料之外的错误。

契约式设计（或“契约式编程”）并不是编程领域的新概念，许多语言中已经有类似的实现了。代码契约为.NET 引入了这种编程范式。简单地说，它在委托方（调用者）和提供方（被访问的API）两者之间建立一个契约，在遵守契约规范的情况下，委托方则更有把握从提供方那里获得预期的结果，而提供方也对委托方发起正确的调用有了更多信心。

目前代码契约组件中包含三种契约条件：前置条件（pre-conditions）、对象不变量（object invariants）、及后置条件（post-conditions）。前置条件可检查构造函数或方法的调用是否得到了正确的参数。后置条件则用于检验返回值的合法性。对象不变量则将特定条件运用于对象的状态上，确保其不会拥有非法的值。

这听起来与单元测试很相像，不过它意味着现在已经可以在构建期间执行这些验证了。编译器会根据契约来检查代码是否满足了所有的条件，并在出现状况时发出警告。这样程序员就可以立即得知条件是否得到满足，并在运行代码之前进行一定调整。

目前DevLabs 的工作还包括从契约中生成项目文档。任何人阅读了某个API 的文档之后就能了解它所有的契约条件。

使用代码契约能够得到更好、更安全的代码，并为外部API 提供合适的使用指导，最终有助于开发出更高质量的软件。

有用的链接：代码契约在线文档、微软研究院的代码契约网站和相关论坛。

查看英文原文： Code Contracts for .NET Is Available for Download