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

时间:2022-11-21 16:02:10

第八条 在改写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类作为开始