1. 不用覆盖的情况
- 类的每个实例本质上都是唯一的。对于代表活动实体而不是值(value)的类来说确实如此,如Thread;
- 不关心类是否提供了“逻辑相等(logical equality)”的测试功能。简单来说就是该类不需要这个功能;
- 超类已经覆盖了equals,从超类继承过来的行为对于子类也是合适的。那我还费啥事重写equals;
- 类是私有的或者包集私有的,可以确定它的equals方法永远不会被调用。在这种情况下应该覆盖equals方法的,为的是防止它被意外调用,代码如下:
@Override
public boolean equals(object o) {
throw new AssertionError(); //Method is never called
}
2. 需要覆盖的情况
类具有自己特有的“逻辑相等”概念(不同于对象相等概念),而且超类还没有覆盖equals以实现期望的行为,这时,我们就需要覆盖equals方法。主要目的是知道其在逻辑上是否相等,而不是想了解它们是都指向同一个对象。
- “每个值至多只存在一个对象”的“值类”不需要覆盖equals方法;还如枚举类型也属于这样的类。
equals的通用约定:
- 自反性(reflecive)
- 对称性(symmetric)
- 传递性(transitive)
- 一致性(consistent)
- 对于任何非null的引用值x,
x.equals(null)
必须返回false
既可扩展不可实例类又增加值组件,采用复合优先于继承的方式(权宜之计)。不在让类B扩展类A,而是在类B中加入一个私有的A域。
3. 实现高质量equals方法诀窍★
- 使用==操作符检查“参数是否为为这个对象的引用”;
- 使用instanceof操作符检查“参数是否为正确的类型”;
- 把参数转换成正确的类型;
- 对于该类中的每个“关键(significant)”域,检查参数中的域是否与该对象中对应的域相匹配;
- 考虑上述编写的equals方法,它是否是对称的、传递的、一致的?
示例代码:
public class PhoneNumber {
private final short areaCode;
private final short prefix;
private final short lineNumber;
@Override
public boolean equals(Object obj) {
if (obj == this) {
return true;
}
if (!(obj instanceof PhoneNumber)) {
return false;
}
PhoneNumber pn = (PhoneNumber)obj;
return pn.lineNumber == lineNumber
&& pn.prefix == prefix
&& pn.areaCode == areaCode;
}
}