软件构造（五） 设计规约

1.程序设计语言中的函数和方法

程序是由一个个小的方法组成的，对于用户来说，并不需要知道方法具体如何实现，只需要知道，方法如何使用

[…] name(TYPE a1, TYPE a2){
   
	Statment;
}

以上就是一个方法的简单结构，而一个完整的方法，不仅要包含方法体还要有方法的规约

2.规约

2.1 编程文档化

我们翻阅的Java以及各类编程语言的手册就是很典型的编程文档化的一个例子（推荐一个很实用的软件Zeal）

记录下我们代码的假设也是文档化的一个重要手段，写下一个变量的类型记录了一个关于它的假设。Java实际上在编译时检查这个假设，并保证程序中没有违反这个假设的地方，声明变量final也是一种文档形式

写下假设是很实用的，因为也许过一段时间，再阅读一段没有假设的代码，你也读不懂，别人也读不懂。

2.2 方法的规约和合同

规约（Specifications）是团队合作的关键。写下规约，让程序员知道该方法如何实现，让用户知道该方法如何使用。重点在于，规约可以很好地划分责任，消除误解，减少bug，使出错的概率降低 （程序的人禽味儿）

分为三个部分：

• 输入/输出的数据类型
• 功能和正确性
• 性能

</