等价性梳理

引用等价性 VS 对象等价性

对象等价性

1. 使用AF判断等价性：AF（）映射到相同元素，则等价
2. 观察等价：调用相同操作观察到的结果相同
   注意不可变对象，上面两个条件都必须满足，不能出现一个满足一个不满足的情况。

引用等价性

两个引用指向同一个内存空间

关系

引用等价性是对象等价性更严格的形式。在Java中，缺省的equals方法就是实现了引用等价性。除此之外，当对一个引用使用equals方法，语义上是判断对象等价性，因此需要重写。使用==语义上是判断引用等价性。

观察等价性 VS 行为等价性

**PS：**注意观察等价性和行为等价性依然属于对象等价性的范畴，即两个对象无法通过方法来区分

观察等价性

在不改变状态的情况下，两个mutable对象是否看起来一致 Date，Collections

行为等价性

调用对象的任何方法，两个对象都展示出一致的结果（指向同一内存空间） StringBuilder

关系

二者分别从变化和不变化的角度描述了等价性。需要注意的是，对于immutable类型，观察等价性和行为等价性一致。