effectivejava程序员effective java

覆盖equals时请遵守通用约定

2016-06-30  本文已影响164人  想飞的僵尸

第8条:覆盖equals时请遵守通用约定


1. 前言

覆盖equals方法看似很简单,但是有许多覆盖方法或导致错误,避免这些错误最直接的方法就是不覆盖equals,这样,没有对象就只与自己相等。

2. 不需要覆盖equals方法的情况有哪些?

(1)类的每一个实体本质上都是唯一的。比如Thread类,每一个实体都是唯一的,所以不需要覆盖equals方法。

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

(3)父类已经覆盖了equals方法,并且在子类中这些方法同样适用。

(4)类是私有的或是包级私有的,可以确定equals方法永远不会被调用。其实这种情况我们还是应该覆盖equals的方法的,将equals方法设置成不可访问的。像下面这样:

@Override
public boolean equals(Object o) {
    throw new AssertionError();
}

3. 需要覆盖equals方法的情况

一般来说,“值类”都是需要覆盖equals方法的。
什么类属于“值类”?
对于那些只关心内容,不关心是否指向同一片内存空间的类,都属于“值类”。
注意:有一种“值类”不需要覆盖equals方法,那就是单例。也就是说,如果一个类,它又是单例又是“值类”的话,它就不需要覆盖equals方法。

4. 在覆盖equals方法时我们需要遵行的规范

(1)自反性:
即对于一个非空对象x,x.equals(x)必须返回true。

(2)对称性:
即对于非空的对象x、y,如果x.equals(y)返回true的话,则y.equals(x)则必须返回true。

(3)传递性:
即对于非空的对象x、y、z,如果x.equals(y)返回true,y.equals(z)返回true,则x.eqauls(z)则必须返回true。

(4)一致性:
即对于非空对象x,y,只要equals方法的中比较的字段没有被修改,那么x.equals(y)不管执行多少次都是返回true,或都是返回false。

(5)和null相比必须返回false:
即对于非空对象x,x.equals(null)必须返回false;

5. 实现高质量equals方法的诀窍

(1)用==操作符来检查“参数是否是这个对象的引用”。如果是,则返回true。
这样做是为了提高性能。

(2)使用instanceof操作符来检查“参数是否为真确类型”。如果不是,则返回false。
“正确类型”一般指的是equals方法所在的类。有些情况是指该类所实现的某个接口。

(3)把参数转化为真确的类型。
在被instanceof检测过后,我们就将Object强行转换成上面所提到的“正确的类型”,instanceof保证了我们转换的真确性。

(4)对于该类中的每个关键域(字段),检查参数中的域是否与该对象中所对应的域想匹配。
强转之后,就可以开始匹配两个对象中的字段了。如果匹配成功就可以返回true,如果“正确的类型”是一个接口,那么需要接口提供方法来访问这些字段,如果是个类的话,那就不用说了。
字段匹配技巧:

a、如果是非float和double类型的基本数据类型,那么直接使用==符号。

b、如果是float和double,则使用Float.compare和Double.compare方法。

c、其他类型(也就是那些需要new出对象的类)则调用他们自身的equals方法。有些字段可能被允许为空,所以要进行判断,如下:

field == null ?  o.field == null : filed.equal(0.field);

d、数组的话需要遍历每一个元素进行匹配,匹配的时候参考上面的三条方法。

6. 覆盖equals方法的时候我们还需要注意的地方

(1) 覆盖equals的时候总是要覆盖hashCode方法。(为什么覆盖和怎么覆盖会在下一篇文章讲)
(2) 不要企图让equals方法过于智能。只是匹配对象的类型和对象中的各个参数的话很容易做到,并且一般不会违反上面提到的规范。如果你过度的去寻求各种等价关系,那么上面的约定将很难遵守。
(4)覆盖equals方法的时候请在方法前面加@Override注解。

本文到此结束

上一篇下一篇

猜你喜欢

热点阅读