设计规约spec

目录

1 定义

2 现实情况

3 前置条件和后置条件

4 规约的强度

5 声明式规约和操作式规约

---

1 定义

规约是一个对象和它的使用者之间的协议。包括输入/输出的数据类型、功能和正确性以及性能。规约只讲“能做什么”，不讲“怎么实现”。

2 现实情况

很多bug来自于双方之间的误解，不写下来，那么不同开发者的理解就可能不同，没有规约难以定位错误。精确的规约有助于区分责任，客户端无需阅读调用函数的代码，只需理解spec即可。规约可以隔离“变化”，无需通知客户端。规约扮演“防火墙”角色，这种“防火墙”的效果是“解耦”，允许单元的代码和客户端的代码被独立地改变，只要这些改变遵守规约。

3 前置条件和后置条件