第八章 ADT和OOP中的“等价性”

一.Equality of Immutable Types
1.判断等价性：集合中；AF
2.观察者角度：对两个对象调用任何一个相同**操作(方法)**得到结果都相同，就视为等价
3.在观察定义等价与AF定义等价相同的意义上：若AF定义的相等，则观察定义利用的所有操作必须相等；若AF定义的不相等，则观察定义利用的操作可以判断出不相等
二.== vs equals()
1.==用来判断二者指向的内存空间是否一样；equals()用来判断内容是否一样
2.对于基本数据类型，直接用 == 判断是否相等
3.对于对象数据类型，使用equals()：缺省的情况下的Object.equals()是用 == 判断是否相等，如果要判断逻辑地址是否相等，则不需要重写equals，直接调用Object.equals()即可；否则需要重写Object.equals()，此时调用的是已重写的equals()方法，总之只要调用equals()一定是我们想要的
4.immutable中equals()的重写
(1)注意：重写的一定是Object中的equals()，否则就是重载

这个例子中因为不是Object类型的，所以是重载，相当于Duration中有两个equals方法，另一个是继承过来的Object的那个。第一句判断d1和d2时，由于重载，所以直接在编译阶段根据参数类型判断究竟调用的是哪个。因为d2是Duration类，所以调用的是equals(Duration)方法，所以第一个是true；第二个由于o2是Object类，所以调用的是equals(Object)方法，而两者不是同一地址，所以是false
5.instanceOf：判断某个对象是不是特定类型(或其子类型)，是操作符，动态类型检查；与其相近的getClass()方法获得对象的类型
注：除了equals()方法，尽量避免使用instanceOf和getClass()，因为这会在运行时就得到对象的类型，太灵活，对client来说可以直接针对类型来进行操作；判断完类型之后强制转换不是一个好的操作
三.实现equals()的一些准则
1.满足自反，对称，传递
2.只要对象没修改，多次调用equals()应是同一结果(一致性)
3.一个非空对象.equals(null)应该是false
4.相等对象hashCode()结果一样
四.hashCode()准则
1.调用同一个对象的hashCode，必须返回相同值
2.等价对象必须有相同的hashCode，重写equals()时必须重写hashCode()
3.不相等对象最好有不同的hashCode(可以有不同的)
4.hashCode()方法肯定要返回整数
可以用Object.hash()来让IDE帮助我们写hashCode方法
hashCode和equals的逻辑必须一样，否则contains()会异常
五.Equality in Java for mutable type
1.观察等价性：在不改变状态情况下看两个mutable对象是否一致
2.行为等价性：调用对象任何一个方法显示出一致结果
3.对mutable类型大部分使用观察等价性，也有少数用行为等价性，但观察等价性不安全->改变后hashCode值就变了(RI破坏)

4.总结：对mutable类型，最好实现行为等价性，看指向空间是否相等，直接继承Object中的equals()或hashCode()即可；要想实现观察等价性，看内容是否相等，就需要定义一个新方法
5.immutable一定重写equals()/hashCode()；mutable一定不重写
六.特殊
1.Integer…

x == y就是false
2.Map

放入Map中时，自动转换为Integer类型，两者指向不同地址空间，所以是false(但是若这两个数在-128~127之间就是true)；但如果调用a.get(“c”).equals(b.get(“c”))就是true

左边是false，右边是true