Object类中的equals方法用于检测一个对象是否等于另外一个对象。在Object类中,这个方法将判断两个对象是否具有相同的引用。如果两个对象具有相同的引用,它们一定是相等的。从这点上看,将其作为默认操作也是合乎情理的。然而,对于多数类来说,这种判断开没有什么意义。例如,采用这种方式比较两个PrintStream对象是否相等就完全没有意义。然而,经常需要检测两个对象状态的相等性,如果两个对象的状态相等,就认为这两个对象是相等的。
例如,如果两个雇员对象的姓名、薪水和雇佣日期都一样, 就认为它们是相等的(在实际的雇员数据库中,比较ID更有意义。
在这种方法下,如果发现类不匹配,equals方法就返回true。但是许多程序员却喜欢instanceof进行检测:
if(!(otherObject instanceof Employee)) return false;
这样做不但没有解决otherObject是子类的情况,并且还有可能会招致一些麻烦。 这就是建议不要使用这种处理方式的原因所在。Java语言规范要求equals方法具有下面的特性:
(1)自反性:对于任何非空引用x,x.equals(x)应该返回true。
(2)对称性: 对于任何引用x和y,当且仅当y.equals(x)返回true, x.equals(y) 也应该返回true。
(3)传递性:对于任何引用x、y和z,如果x.equals(y)返回true, y.equals(z)返回true,x.equals(z)也应该返回true。
(4)一致性:如果x和y引用的对象没有发生变化,反复调用x.equals(y)应该返回同样的结果。
(5)对于任意非空引用x,x.equals(null)应该返回false.
这些规则十分合乎情理,从而避免了类库实现者在数据结构中定位一一个元素时还要考虑调用x.equals(y),还是调用y.equals(x)的问题。
在继承的前提下,我们用equals方法有些问题,下面我们从两个截然不同的情况看一下这个问题:
- 如果子类能够拥有自己的相等概念,则对称性需求将强制采用getClass进行检测。
- 如果由超类决定相等的概念,那么就可以使用instanceof进行检测,这样可以在不同的子类对象相等的比较。
下面给出编写一个完美的equals方法的建议:
(1)显式参数命名为otherObject, 稍后需要将它转换成另一个叫做other的变量。
(2)检测this与otherObiect是否引用同”个对象:
if (this otherobject) return true;
这条语句只是一个优化。实际上,这是一种经常采用的形式。因为计算这个等式要比一个- 个地比较类中的域所付出的代价小得多。
(3)检测otherObject是否为null,如果为null,返回false.这项检测是很必要的。
if (other0bject nu11) return false;
(4)比较this与otherObject是否属于同一个类。如果equals的语义在每个子类中有所改变,就使用getClass检测:
if (etCass != otherbjcegetCass0) return false;
如果所有的子类都拥有统一的语义,就使用instanceof检测:
if (!(otherobject instanceof ClassName)) returm false;
(5)将otherObiect转换为相应的类类型变量:
ClassName other = (C1assName) other0bject
(6)现在开始对所有需要比较的域进行比较了。使用一比较基本类型域,使用equals比较对象域。如果所有的域都匹配,就返回true;否则返回false
retur fieldl == other.field1
&&0bjects.equals(field2, other.field2)
&&...
如果在子类中重新定义equals,就要在其中包含调用superequals(other).