学习的科学：适合大脑的最佳途径
为什么人们不明白你在会议上提出的想法？为什么你正在指导的开发人员仍然不理解你？为什么参加你的课程的学员只学到10%的内容？在某种程度上，我们都是老师，但只有专业教育工作者才接受过这方面的培训。本文讨论从神经科学学到的知识，以及如何把它们应用到敏捷软件开发及其他行业。
新闻
.NET代码契约组件目前已经提供下载
作者 Abel Avram 译者 赵劼 发布于 2009年2月25日 上午10时7分
代码契约（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
没有回复
关注此讨论 回复