《Effective Java》读书笔记（二）之对于所有对象都通用的方法

第八条 在改写equals的时候请遵守通用约定

一般以下几种情况，不适宜覆盖equals方法

1.类的每个实例本质上都是唯一的，对于代表活动实体而不是值的类确实如此，例如Thread.

2.不关心类是否提供了“逻辑相等”的测试功能

3.超类已经覆盖了equals,从超类继承过来的行为对子类也是合适的

4.类是私有的或者包级私有的，可以确定它的equals方法永远不会被调用。

那什么情况应该覆盖Object.equals呢？如果类具有自己特有的“逻辑相等”的概念（不同于对象等同的概念），而且超类没有覆盖equals以实现期望的行为，就需要进行覆盖，这通常属于“值类”的情形，例如Integer和Date。当使用equals来比较对象, 是希望他们在逻辑上是否相等, 而不是指向同一对象, 或者用来作为Map的key以及集合Set中的元素时, 就必须复写equals方法.

实例受控，确保“每个值最多只存在一个对象”的类，枚举通常属于这种类型。对于枚举类型来说, 逻辑相等与对象相等是同一回事, 因此不需要覆盖equals方法。

equals的改写规范：

1）自反性：对于任何非null的引用值x，x.equals(x)一定为true

2）对称性：对于任何非null的引用值x和y,当且仅当x.dquals(y)为true；那么y.equals(x)也必须为true

3）传递性：对于任何非null的引用值x和y和z,如果x.equals(y)为true，y.equals(z)；那么x.equals(x)也必须为true

4）一致性：对于任何非null的引用值x和y，如果用于equals比较的对象信息没有被修改的话，那么多次调用x.dquals(y)返回的值是一致的

5）对于非null引用值x，x.equals(null)一定返回false

接下来是逐一解析上面几个原则：

2）对称性

public final class CaseInsensitiveString {
    private final String s;

    public CaseInsensitiveString(String s) {
        if (s == null)
            throw new NullPointerException();
        this.s = s;
    }

    // Broken - violates symmetry!
    @Override
    public boolean equals(Object o) {
        if (o instanceof CaseInsensitiveString)
            return s.equalsIgnoreCase(((CaseInsensitiveString) o).s);
        if (o instanceof String) // One-way interoperability!
            return s.equalsIgnoreCase((String) o);
        return false;
    }

    // This version is correct.
    // @Override public boolean equals(Object o) {
    // return o instanceof CaseInsensitiveString &&
    // ((CaseInsensitiveString) o).s.equalsIgnoreCase(s);
    // }

    public static void main(String[] args) {
        CaseInsensitiveString cis = new CaseInsensitiveString("Polish");
        String s = "polish";
        System.out.println(cis.equals(s) + "  " + s.equals(cis));
    }
}

上面代码中的equals企图和String进行比较操作，假设我们有一个不区分大小的字符串和一个普通的字符串：

  CaseInsensitiveString cis = new CaseInsensitiveString("Test");
        String s = "test";

此时cis.equals(s)会返回true,CaseInsensitiveString 类中做了兼容大小写的处理，但是String 的equals方法是不知道要不区分大小写1的，所以s.equals(cis)会返回false,违反了自反性

假如你把CaseInsensitiveString 放到一个集合中

List<CaseInsensitiveString> list = new ArrayList<>();
        list.add(cis);
        list.contains(s);

list.contains(s)有可能返回true,也可能是false,甚至会抛出RumtimeException

为了解决这个问题，只要企图与String互操作的这段代码从equals去掉即可

@Override
    public boolean equals(Object o) {
        return o instanceof CaseInsensitiveString&&s.equalsIgnoreCase(((CaseInsensitiveString) o).s);

    }

3）传递性：

首先以一个简单不可变的二维整形Point类作为开始