ADT与OOP中的等价性

一：等价关系
ADT是对数据的抽象，体现为一组对数据的操作。
抽象函数AF：内部表示->抽象表示
ADT上的等价性是基于AF定义的
关系等价性
1.自反
2.对称
3.传递
二：不可变类型的等价性
1.用观察的方法定义等价性
占在外部观察者的角度，对两个对象调用任何相同的操作，得到的结果一样，则认为两个对象等价。
例：

分析：外部只能通过getlength得到数据秒数，故d1、d3、d4等价。

三：= = 和.equals比较
1. = = 比较两个引用是否指向内存中相同的存储地点，同，则相等。
2. .equals 为自定义ADT是重写object的euals而来，比较的是两个对象是否具有等价性
四：实现.equals

分析：d1、d2传入对象具有等价性，故，true。
d1为Duration类，o2为Objects类，调用参数为Object that版本，使用等于号比较两者，两者所处存储位置不同，故不相等。
一种好的实现方式：

分析：重写了默认的Object类的.equals方法，首利用instanceof判断是否为Duration的实例，是进行下一步getlength值的判断。
A instanceof B：双目运算符，判断A是否为B的实例对象、是否为B的接口实现类、是否为直接子类或间接子类
A为null返回false
为动态检查
不应再处.equals方法外使用
五：重写equals方法的一般约定
1.满足等价关系
2.多次调用返回结果相等，除非被修改
3.x.equals(null)返回值为false
4.相等对象，hashCode( )产生的结果必须一致
5.重写equals必须重写hashCode
重写Hashcod例子：

六：可变类型的等价性
1.观察等价性：在不改变状态情况下，两个可变类型对象看起来一致
2.行为等价性：调用对象的任何方法都展示出一致的结果
3.如果某个mutable的对象包含在Set 集合类中，当其发生改变后，集合类的行为不确定
4.对可变类型，实现行为等价性即可，也就是说，只有指向同样内存空间的objects，才是相等的。所以对可变类型来说，无需重写这两个函数，直接继承Object的两个方法即可。如果一定要判断两个可变对象看起来是否一致，最好定义一个新的方法。
5.Clone（）in object

七：自动装箱