1 设计规约
关于设计规约:
代码中的设计决策:给编译器读
注释形式的“设计决策”:给自己和别人读
Specification and Contract
- Spec给供需双方都确定了责任,在调用的时候双方都要遵守
- 区分责任
- 客户端无需阅读调用函数的代码,只需理解spec即可
Behavioral equivalence (行为等价性)
两个函数是否可以相互替换
- 根据规约判断行为是否等价
Spec的结构:前置条件和后置条件
- 前置条件:对客户端的约束,在使用方法时必须满足的条件
- 后置条件:对开发者的约束,方法结束时必须满足的条件
- 契约:如果前置条件满足了,后置条件必须满足
静态类型声明是一种规约,可据此进行静态类型检查
方法前的注释也是一种规约,但需人工判定其是否满足
Designing specifications
规约的分类
规约的强度:
S2>S1意味着:
- S2的前置条件更弱
- S2的后置条件更强
就可以用S2替代S1
越强的规约意味着实现者的责任越重,而客户端的责任越轻
- 确定的规约:给第一个满足前置条件的输入,其输出是唯一的、明确的
- 欠定的规约:同一个输入可以有多个输出
- 非确定的规约:同一个输入,多次执行时得到的输出可能不同
操作式规约,例如伪代码
声明式规约:没有内部实现的描述,只有“初-终”状态
声明式规约更有价值
规约的图示
某个具体实现, 若满足规约,则落在其范围内;否则,在其之外
程序员可以在 规约的范围内自由选择实现方式
客户端无需 了解具体使用了哪个实现
更强的规约,表达为更小的区域
设计好的规约
-
内聚的(coherent):Spec描述的功能应该单一、简单、易理解
-
信息丰富的:不能让客户端产生理解的歧义
-
足够强(让client放心)
-
足够弱(减轻开发者负担)
-
使用抽象类型
-
precondition or postcondition?
客户端不喜欢太强的precondition,惯用做法是不限定太强的precondition,而是在postcondition中抛出异常:输入不合法
归纳:是否使用前置条件取决于:
- check的代价
- 方法的使用范围
如果只在类内部使用该方法(private),那么可以不用前置条件,在使用该方法的各个位置进行check--责任交给内部client
如果在其他地方使用该方法(public),那么必须使用前置条件,若client端不满足则方法抛出异常。
2 Equals
==
是引用等价性 ;而equals()
是对象等价性。==
比较的是索引。更准确的说,它测试的是指向相等(referential equality)。如果两个索引指向同一块存储区域,那它们就是==的。对于我们之前提到过的快照图来说,==
就意味着它们的箭头指向同一个对象。equals()
操作比较的是对象的内容,换句话说,它测试的是对象值相等(object equality)。e在每一个ADT中,quals操作必须合理定义。
- 基本数据类型,也称原始数据类型。byte,short,char,int,long,float,double,boolean
- 他们之间的比较,应用双等号(==),比较的是他们的值。
- 复合数据类型(类)
- 当他们用(==)进行比较的时候,比较的是他们在内存中的存放地址,所以,除非是同一个new出来的对象,他们的比较后的结果为true,否则比较后结果为false。
- JAVA当中所有的类都是继承于Object这个基类的,在Object中的基类中定义了一个equals的方法,这个方法的初始行为是比较对象的内存地址,但在一些类库当中这个方法被覆盖掉了,如String,Integer,Date在这些类当中equals有其自身的实现,而不再是比较类在堆内存中的存放地址了。
- 对于复合数据类型之间进行equals比较,在没有覆写equals方法的情况下,他们之间的比较还是基于他们在内存中的存放位置的地址值的,因为Object的equals方法也是用双等号(==)进行比较的,所以比较后的结果跟双等号(==)的结果相同。
- HahCode:Java中的hashCode方法就是根据一定的规则将与对象相关的信息(比如对象的存储地址,对象的字段等)映射成一个数值,这个数值称作为散列值。
当我们当向集合中插入对象时,就可以使用hashcode,先调用这个对象的hashCode方法,得到对应的hashcode值,实际上在HashMap的具体实现中会用一个table保存已经存进去的对象的hashcode值,如果table中没有该hashcode值,它就可以直接存进去,不用再进行任何比较了;如果存在该hashcode值, 就调用它的equals方法与新元素进行比较,相同的话就不存了,不相同就散列其它的地址,所以这里存在一个冲突解决的问题,这样一来实际调用equals方法的次数就大大降低了。