3.5 equals()

3.5 Equality in ADT and OOP

等价性equals()和==

1、== 引用等价性

• == 对基本数据类型，使用==判定相等
• 如果用==，是在判断两个对象身份标识 ID是否相等（指向内存里的同一段空间）

2、equals() 对象等价性

• 在自定义ADT时，需要重写Object的equals()
• 对对象类型，使用equals()

Equality of immutable types 的重写override 和 重载overload

首先，在Object中实现的缺省equals()是在判断引用等价性，通常不是程序员所期望的

所以需要重写，有两种方式

1、overload

直接使用这个equal()来实现下面的代码会出错

这样进行改进

2、Override

参数类型仍未Object，所以这是override

意义在于 先判断thatObject是否为Duration的类型，然后再将其转成Duration的引用，再将转换后的引用对象调用方法和其进行比较。

equals()的自反、传递、对称

hashCode()

1、两个被认为equal的对象hashcode应该相同；

override equal()必须重写hashcode

2、unequal的对象hashcode不能相同

3、Hash code must not change unless object mutated

继续以上例为例

可变对象的观察等价性、行为等价性

观察等价性：在不改变状态的情况下，两个mutable对象是否看起来一致

行为等价性：调用对象的任何方法都展示出一致的结果

对可变类型，实现行为等价性即可。也就是说，只有指向同样内存空间的objects，才是相等的。

所以对可变类型来说，无需重写这两个函数，直接继承Object对象的两个方法即可。

如果一定要判断两个可变对象看起来是否一致，最好定义一个新的方法。

可变不可变对equals()和hashcode()的比较

不可变	可变
equals()实现行为等价性	equals()在实现引用等价性==的基础上实现行为等价性
hashcode（）把abstrract value映射成一个整数	hashcode（）把引用映射成一个整数
equals(）改变必须重写hashcode()	equals(）改变无需重写hashcode()