我们爱分享---Obey the general contract when overriding equals

这两天热度有点低，也没什么好写的，就随便奉献上Effective Java中的一条规则
Obey the general contract when overriding equals

今天只讲其中的一个原则及其注意事项：
symmetric: For any reference values x and y, x.equals(y) must return true if and only if y.equals(x) returns true.
可以称之为对称性或者交换性原则，即x.equals(y)返回true是y.equals(x)的充要条件。

理论大家会讲，但是在override的时候，大家很容易出错。

public class A {

  public int x;

  public boolean equals(Object obj) {

    if (! (obj instanceof A)) {

      return false;

    }

    A that = (A) obj;

    return this.x == that.x;

  }

}

这段代码粗看上去没有任何问题（null instanceof A也是false），但实际上，这段代码在将来的某个时刻很有可能导致symmetric原则被破坏。

public class B extends A {

  public int y;

  public boolean equals(Object obj) {

    if (! (obj instanceof B)) {

      return false;

    }

    B that = (B) obj;

    return super.equals(obj) && this.y == that.y;

  }

}

此时，无论B中间的equals方法如何调整，都会导致symmetric原则被破坏：

A a = new A();

B b = new B();



System.out.println(a.equals(b)); // true，B是A的子类，b当然是instanceof A，而且由于之比较a.x和b.x，所以true

System.out.println(b.equals(a)); // false，a不是B的实例

老实说，这个世界上没有一个完美的修正方案，这点不光是Java，C#等OO语言都有这个问题。

1 如果所有的类都可以修改的话，那么你可以在每一个类中都override equals方法，并用this.getClass() == obj.getClass()来判断（只适用于所有类都是自己写的，最顶层的父类直接继承自Object，而且，每一层都添加了字段）
2 如果能够用组合的话，尽量使用组合，而不是继承“Favor composition over inheritance”，通过这种方式绕过去
3 忍受它，因为这个问题，其实你天天可能在JDK中间碰到这个问题，比如java.util.Date及其java.sql包中间的子类，所以当你如果可能碰到java.util.Date实例和java.sql.Timestamp实例做equals的时候，你就该当心了。