软件构造复（3.2）

3.2设计规约

3.2.1设计规约是什么、为什么要写设计规约？

是什么：

1.是团队合作的关键， 没有规约，无法写出程序，即使写出来也不知道正确性。
2. 是一种契约，程序与客户端 达成的一致
3. spec给供需双方都确立了责任，在调用的时候双方都要遵守

为什么：

1. 很多bug来自于双方之间的误解；
2. 没有规约，那么不同开发者的理解就可能不同
3. 代码惯例增加了软件包的可读性，使工程师们更快、更完整的理解软件
4. 可以帮助程序员养成良好的编程习惯，提高代码质量
5. 没有规约，难以定位错误
6. 使用设计规约的好处。
   代表着程序与客户端之间达成的一致；客户端无需阅读调用函数的代码，只需理解spec即可。精确的规约，有助于区分责任，给“供需双方”确定了责任，在调用的时候双方都要遵守。

3.2.2行为等价性

行为等价性就是站在客户端的角度考量两个方法是否可以互换
举个栗子：

首先从客户端的角度来看，如果数组中只存在一个与val相同的元素，或不存在与val相同的元素时，两者时等价的，但是有两个相同的val值得时候，两者返回的index就不同。

可以根据规约判断两个函数是否等价