契约式设计的优点、开销和限制

1.获得更优秀的设计
更系统的设计 契约式设计鼓励程序员思考诸如“例程的先验条件是什么”这样的问题，这样有助于程序员理清概念。
更清楚的设计 使用者和提供者之间的权利和义务得到了共享，同时获得了清晰的描述。
更简单的设计 程序的先验条件清楚地描述了使用该程序的限制，而且非法调用的结果也很清楚，所以我们鼓励程序员不要开发过于通用的程序，而要设计小巧的、目标专一的例程。
控制对继承的使用 例如，当要用到多态性和动态绑定时，检查契约可以确保重定义例程的先验条件在子类中不会被加强。
系统地运用异常 当例程被非法使用（先验条件失败）或者例程没有遵循契约的规定（后验条件或者不变式失败）时，就会发生异常。
2.提高可靠性
（1）编写契约可以帮助开发者更好地理解代码
（2）契约有助于测试（契约可以随时关闭或者启用）
3.更出色的文档
（1）契约乃是类特性的公用视图中的固有成分
（2）契约是值得信赖的文档（运行时要检查断言，以保证制定的契约与程序的实际运行情况一致）
（3）契约是精确的规范，同时也可以作为测试的可靠指导
4.简化调试
契约能把错误牢牢地定位
5.支持复用
（1）出色的文档
（2）正确运用了复用代码的运行时检测

 

契约的一些开销和限制
1.开发这需要时间学习撰写良好契约的思想和技术。
目前的主流语言中，只有Eiffel支持契约，而且仅仅支持顺序式程序（sequential program）的契约。
2.契约的撰写成本
其回报是节省了编写测试指导的时间、节省了编写文档的时间、节省了调试的时间以及由于复用节省下来的时间等。
3.需要大量的实践
4.最好用于顺序式程序（sequential program） 契约可以用在并发程序和分布式程序中。但是在那些地方，游戏的本质已经截然不同。

据我们所知，目前还没有一种商业语言同时支持校验先验条件和等待先验条件。

 

摘自：http://www.cnblogs.com/hBifTs/articles/9291.html