第三章--第五节：在ADT和OOP中的“相等”

第三章：抽象数据类型（ADT）和面向对象编程（OOP）

第五节：在ADT和OOP中的“相等”

问题一：三种方式来看待“相等”

1.     使用AF来看待“相等”：AF映射到同样的结果，则等价（a equals b if and only if f(a)=f(b)）
2.      使用一个等价关系来看待“相等”：等价关系：自反、对称、传递（与第一种方式是等效的）
   
3.     站在外部观察者角度来看待“相等”：如果他们不能被抽象数据类型的一系列方法来被区分，则说他们是“相等的”
   

例:（通过以observation来确定等价性）判断下流对象是否等价

（因为此函数的方法只是判断分钟转化为秒并加上秒的数值是否相等即可判断两个对象是否相等。所以d1、d3、d4都是“相等的”）

问题二：比较“==”和“equals（）”

    “==”：表示引用等价性（比较在内存中的地址）

    “equals（）”：表示对象等价性（比较对象的内容）（在自定义ADT时，需要重写Object的equals()）

• 对基本数据类型，使用“==”判定相等（原因：基本数据类型的数据 只有值 没有ID，即相同的值的变量都指向同一块内存空间）
• 对对象数据类型，使用equals（）判定
• 如果如果用==，是在判断两个对象身份标识 ID是否相等（指向内存里的同一段空间）

问题三：immutable数据类型的“相等”

• 在Object中实现的缺省equals()是在判断引用等价性，这通常不是程序员所期望的。因此，需要重写
  

例：判断下列表示的“相等”

（注意：这里的equals（）方法不是重写Object的方法，而是overload。因为在重载的equals的方法中只是返回长度，并且d2是Duration类型的，与Duration类中的equals方法的参数类型相匹配，所以第一个返回true。然而o2是Object类型的不与Duration类中的equals方法的参数类型相匹配，所以调用的是Object中的equals（）方法，比较引用，所以返回false）

也可以重写 equals（）方法：↓↓↓

（用instanceof函数判断是不是某个类的实例）（注意instanceof是动态检查，不是静态检查）

问题四：Object的合约

    hashcode的合约：如果两个对象根据Object的方法equals来判断是相等的，那么根据两个对象的hashcode的方法必须产生相同的Interger的返回值结果。（两个equal的objects，一定要有同样的hashcode.）

    一般的规则：当你重写了equals（）时，总是一定要重写hashcode（）。

例：下面这段代码需要怎么重写hashcode（）函数

    

解：因为equals（）函数，仅有当两个Person的lastName相等时，才返回true；所以需要当返回true时，两个对象的hashcode（）函数返回结果相同。所以，只有第一个和第三个满足要求（但第一个全部映射到一个数，虽然满足要求，但效率太低）

问题五：mutable数据类型的“相等”

    对于可变数据类型来说的“相等”：

1.     观察等价性：在不改变状态的情况下（by calling only observer, producer, and creator methods），两个mutable对象是否看起来一致
2.     行为等价性：调用对象的任何方法（可以调用mutator）都展示出一致的结果

•     对于不可变的对象，观察等价性和行为等价性是一样的，因为他们没有任何的mutator的方法
• 对可变类型来说，往往倾向于实现严格的观察等价性

（但有些时候，观察等价性可能导致bug，甚至可能破坏RI）

**例：假设我们创建了一个List，并把它放进一个Set

我们能检测出这个set是包含这个List的：

现在我们修改List，我们发现这个List就不在Set中了：

更糟糕的是：当我们用迭代器迭代时发现List任然在Set中，但用函数contains却说它不在了。

    *解析：因为List是可变的对象，在标准的java实现类collection类中的List，可变性影响着equals（）和hashcode（）的结果；当你将List放入Hashset后，它就被存放在哈希桶/散列桶中，并对应着hashcode（）的结果；当List被改变后，它的hashcode（）也被改变了，但是Hashset并没有意识到它应该移动到一个不同的桶中，所以它再也找不到了；当equals（）和hashcode（）函数会被mutation（变值器）影响时，我们可以打破哈希表的RI适用对象作为一个key。    

• 对于Collections类使用的是观察等价性，但是对于其他的可变类（如StringBuilder）使用的是行为等价类

问题六：关于immutable和mutable的等价性的对比

• 对可变类型，实现行为等价性即可
• 也就是说，只有指向同样内存空间的objects，才是相等的
• 所以对可变类型来说，无需重写这两个函数，直接继承Object对象的两个方法即可
• 如果一定要判断两个可变对象看起来是否一致，最好定义一个新的方法

1. 对于不可变的数据类型：equeals应该比较抽象值，也就是应该提供行为等价性；hashcode（）应该匹配这个抽象值到一个integer。所以必须重写equeals（）和hashcode（）函数
2. 对于可变的数据类型：equals经过该比较引用相当于“==”。说明也应该提供行为等价性；hashcode（）应该匹配这个抽象值到一个integer。所以可变数据类型不应该重写equeals（）和hashcode（）函数。

例：看下列按不同要求的等价性是否满足（注意所给数据类型为mutable）

（false;true;false;false;false;true）（行为等价性就要比较地址是否相同）

（false;true;true;false;true;true）（观察等价性：仅仅看内容是否一样）

**例：看原始数据类型和包装后的数据类型的区别

解：（一定要注意原始数据类型和包装数据类型（对象数据类型）的区别:基本数据类型的数据 只有值 没有ID，即相同的值的变量都指向同一块内存空间;而对象数据类型有值也有ID）

**例：what do we get out of the map?

false；