软件构造笔记（四）

软件构造笔记（四）

本讲内容为specification(规约)，其实本应该是数据类型的，但我实在受不了如此重要的理论放在如此靠后的位置，特此提前。

正如上面提到的，specification(以下简称spec)，对孤独且偏爱一气呵成的编程者而言它没什么大不了，因为他只需要理解自己在做什么，就能在日后忘记程序功能后很容易想出当时的情景，并回忆出代码的功能。但是，对多个共事的人来说，就不同了，大段没有说明与注释的代码很难使人产生好感，毕竟我们不是人型编译器。所以需要一种约定(即spec)，去说明当前的函数到底在做什么，应该怎么使用等等。

而对spec的学习，可以使人能够更清晰地描述一个函数，它应该有怎样地参数，它的功能、返回值等等。这对软件的开发人员很重要，因为他们不仅需要与程序打交道，还需要同时维护好与人，尤其是共同开发人员的关系。