1 定义
规约是一个对象和它的使用者之间的协议。包括输入/输出的数据类型、功能和正确性以及性能。规约只讲“能做什么”,不讲“怎么实现”。
2 现实情况
很多bug来自于双方之间的误解,不写下来,那么不同开发者的理解就可能不同,没有规约难以定位错误。精确的规约有助于区分责任,客户端无需阅读调用函数的代码,只需理解spec即可。规约可以隔离“变化”,无需通知客户端。规约扮演“防火墙”角色,这种“防火墙”的效果是“解耦”,允许单元的代码和客户端的代码被独立地改变,只要这些改变遵守规约。
3 前置条件和后置条件
前置条件是对客户端的约束,在使用方法时必须满足的条件。后置条件是对开发者的约束,方法结束时必须满足的条件。如果前置条件满足了,后置条件必须满足。如果方法被调用时,前提条件不成立,那么实现就不受后置条件的约束,它可以自由地做任何事情,包括不终止、抛出异常、返回任意的结果、进行任意的修改,等等。
4 规约的强度
spec变强=更放松的前置条件+更严格的后置条件。如果S3既不比S1强也不比S1弱,那么这些规范可能会重叠(比如存在只满足S1、只满足S3、同时满足S1和S3的实现),也可能是不相交的。
5 声明式规约和操作式规约
操作式规约给出了方法所执行的一系列步骤;伪代码描述是操作性的。声明式规约不提供中间步骤的细节。相反,他们只是给出最终结果的属性,以及它与初始状态的关系。
声明式规约更有价值。它们通常更短,更容易理解,而且最重要的是,不会无意中暴露出客户可能依赖的实现细节。