Java-Specification

一：规约的引出：行为等价性
1.行为等价性
行为对等的的概念是客户眼中的，为了能够用一种实现代替另一种实现，并知道什么时候可以接受，因此java中需要一个规范来说明客户端所依赖的内容-specification。
2.例子

3.分析
函数一正向查找，直到找到val，返回位置i；否则，返回数组长度
函数二倒向查找，直到找到val，返回位置i；否则，返回-1
可以看出此二者不同，那么是否具有行为等价性呢，这需要从客户端及用户的视角查看
由此引出规约。
设两者规约为：

对于用户而言，使用两函数的requires为val只在数组中出现一次且必出现一次，那么这两个函数均能正确返回目标位置，且不会出现失败情况，由此得到的结果在客户端看来是完全一指的，因此具有行为等价性。

二：规约（specification）含义
程序与客户端之间达成一致的约定，用于区分责任范围，客户端不需要了解调用函数的具体实现，只需要理解规约并使用。