软件构造笔记——规约（Specifications）

一、为什么要写规约？

        1.没规约，没法写程序；即使写出来，也不知道对错。

        2.程序与客户端之间达成的一致。

        3.Spec给“供需双方”都确定了责任，在调用的时候双方都要遵守。

        精确的规约，有助于区分责任。客户端无需阅读调用函数的代码，只需理解spec即可。规约可以隔离“变化”，无需通知客户端，同时可以提高代码效率。他扮演了类似防火墙的作用：                        

        下面是add的spec的例子：

        

二、规约结构（Specification Structure）

        前置条件：对客户端的约束，在使用方法时必须满足的条件。

        后置条件：对开发者的约束，方法结束时必须满足的条件。

        契约：如果前置条件满足了，后置条件必须满足。前置条件不满足，则方法可做任何事情。

        在java中，静态类型声明是一种规约，可据此进行静态类型检查static checking。方法前的注释也是一种规约，但需人工判定其是否满足。

        例：

        

        在spec中，有几条约定：

• 除非在后置条件里声明过，否则方法内部不应该改变输入参数。
• 尽量不设计 mutating的spec，否则就容易引发bugs。
• 除非spec必须如此，否则不应修改输入参数

三、规约的强弱

        一个规约比另一个规约更强，那么他的前置条件更弱，后置条件更强（两者满足其一即可）。这是就可以使用强规约的方法代替弱规约的方法。

        前置规约更弱，后置规约无变化：

        

        前置规约更弱，但是后置规约也更弱了，两者不能进行比较：

        ​​​​​​​ 

        越强的规约，意味着implementor的自由度和责任越重，而client的责任越轻。