软件构造3.2 Spec

3.2 Specification 方法的规约Spec 规约示例 静态类型声明是一种规约，可据此进行静态类型检查static checking; 方法前的注释也是一种规约，但需人工判定其是否满足 规约作用 规约可以隔离“变化”，无需通知客户端； 规约也可以提高代码效率； 规约：扮演“防火墙”角色； 行为等价性 根据规约判断是否行为等价。不同函数符合同一规约，则它们等价。 例： 行为不同，但满足同一

>>阅读原文<<