代码契约（Code Contracts）是“契约式设计”的.NET 实现。按照原计划它将与.NET 4.0 一起发布，不过现在开发人员已经可以从DevLab 上下载这个组件了。“契约”为API 的使用增加了限制和更多验证，编程因此变得更为安全，并可有效避免在运行中出现意料之外的错误。
契约式设计（或“契约式编程”）并不是编程领域的新概念，许多语言中已经有类似的实现了。代码契约为.NET 引入了这种编程范式。简单地说，它在委托方（调用者）和提供方（被访问的API）两者之间建立一个契约，在遵守契约规范的情况下，委托方则更有把握从提供方那里获得预期的结果，而提供方也对委托方发起正确的调用有了更多信心。
目前代码契约组件中包含三种契约条件：前置条件（pre-conditions）、对象不变量（object invariants）、及后置条件（post-conditions）。前置条件可检查构造函数或方法的调用是否得到了正确的参数。后置条件则用于检验返回值的合法性。对象不变量则将特定条件运用于对象的状态上，确保其不会拥有非法的值。
这听起来与单元测试很相像，不过它意味着现在已经可以在构建期间执行这些验证了。编译器会根据契约来检查代码是否满足了所有的条件，并在出现状况时发出警告。这样程序员就可以立即得知条件是否得到满足，并在运行代码之前进行一定调整。
目前DevLabs 的工作还包括从契约中生成项目文档。任何人阅读了某个API 的文档之后就能了解它所有的契约条件。
使用代码契约能够得到更好、更安全的代码，并为外部API 提供合适的使用指导，最终有助于开发出更高质量的软件。
有用的链接：代码契约在线文档、微软研究院的代码契约网站和相关论坛。
暂无签名
腾讯云云原生提质增效实践精选集 2024
《2024腾讯云云原生提质增效实践精选集》出炉，5大热门技术领域，13个行业精选标杆案例，痛点到解决方案全...
评论