1.等价性关系
等价关系
自反、对称、传递
2.评价等价性的三种方法
ADT的等价操作
抽象函数AF:内部表示->抽象表示
基于抽象函数AF定义ADT的等价操作。
使用AF定义等价性
如果AF映射到相同的结果,则等价。
使用操作定义等价性
站在外部观察者角度,对两个对象调用任何相同的操作,都会得到相同的结果则说明等价。
3.==和equals()
== :引用等价性,equals():对象等价性
自定义ADT时,需要根据对等价的要求,决定是否重写equals()
==操作和equals()方法
对对象数据类型,采用equals(),对基本数据类型,采用==(判断ID是否相等,指向同一段空间)
应该总是使用equals()判断相等,
4.实现equals()
不变类型的等价性
默认实现是使用了引用等价性
需要重写
instanceof
判断某个对象是不是特定类型(或其子类型)
动态类型检查。除了用于实现equals方法,尽可能避免使用instanceof和getclass
用多态性代替instanceof
5.对象契约
对象里的equals()契约
除非对象被修改了,否则调用多次equals的结果应一致。相等的对象,其hashCode的结果必须一致。
打破了等价关系
自反性,传递性(绝对值的例子),对称性
哈希表
哈希表实现了键值之间的映射。键值对中的key被映射为hashcode,对应到数组的index,hashcode决定了数据被存储到数组的哪个位置。
哈希表契约
程序中多次调用同一对象的hashCode方法,都要返回相同值。等价的对象必须有相同的hashCode。不相等的对象hashCode相同性能会变差。
重写hashCode()
最简单方法:让所有对象的hashcode为一常量:降低了效率。
通过equals计算用到的所有信息的hashcode组合出新的hashcode
6.可变类型的等价性
观察等价性(倾向):不改变状态的情况下,两个可变对象看起来一致。
行为等价性:调用对象的任何方法都展示出一致的结果。
可变类型和不可变类型equals和hashcode的方法总结
后者必须重写,前者不应该
7.自动装箱和等价性