Java 对象 覆盖equals时请遵守通用约定

Posted 2020-10-10

　　如果满足了以下任何一个条件，就是所期望的结果：

　　类的每个实例本质上都是唯一的。

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

　　超类已经覆盖了equals，从超类继承过来的行为对于子类也是合适的。

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

 

　　如果类具有自己特有的“逻辑相等”概念（不同于对象等同的概念），而且超类还没有覆盖equals以实现期望的行为，这时我们就需要覆盖equals方法。这通常属于“值类”的情形。值类仅仅是一个表示值的类，例如Integer或者Date。在用equals方法比较值对象的引用时，希望知道它们在逻辑上是否相等，而不是想了解它们是否指向同一个对象。

　　确保“每个值至多只存在一个对象”的类不需要覆盖equals方法。对于这样的类而言，逻辑相同与对象等同是一回事，Object的equals方法等同于逻辑意义上的equals方法。

 

　　equals方法实现了等价关系：

　　自反性：对于任何非null的引用值x，x.equals(x)必须返回true。

　　对称性：对于任何非null的引用值x和y，仅当y.equals(x)返回true时，x.equals(y)必须返回true。

　　传递性：对于任何非null的引用值x、y和z，如果x.equals(y)返回true，并且y.equals(z)也返回true，那么x.equals(z)也必须返回true。

　　一致性：对于任何非null的引用值x和y，只要equals的比较操作在对象中所用的信息没有被修改，多次调用x.equals(y)就会一致地返回true，或者一致地返回false。

　　对于任何非null的引用值x，x.equals(null)必须返回false。

 

　　无法在扩展可实例化的类的同时，既增加新的值组件，同时又保留equals约定。在一个抽象类的子类中增加新的值组件，不会违反equals约定，因为不能创建抽象类的实例。

　　如果instanceof的第一个操作数为null，那么，不管第二个操作数是哪种类型，instanceof操作符都会返回false。

 

　　实现高质量equals方法的诀窍：

　　使用==操作符检查“参数是否为这个对象的引用”。

　　使用instanceof操作符检查“参数是否为正确的类型”。

　　把参数转换成正确的类型。

　　对于该类中的每个“关键”域，检查参数中的域是否与该对象中对应的域相匹配。

　　

　　对于既不是float也不是double类型的基本类型域，可以使用==操作符进行比较；对于对象引用域，可以递归地调用equals方法；对于float域，可以使用Float.compare方法；对于double域，则使用Double.compare方法。对float和double域进行特殊的处理，是因为存在Float.NaN、-0.0f以及类似的double常量。对于数组域，则要把以上这些规则应用到每个元素上。如果数组域中的每个元素都很重要，就可以使用发行版本1.5中新增的其中一个Arrays.equals方法。

 

　　最后的建议：

　　覆盖equals时总要覆盖hashCode。

　　不要企图让equals方法过于智能。

　　不要将equals方法声明中的参数Object对象替换为其他的类型。因为替换之后方法不是重写，而是重载。

 

　　参考资料

　　《Effective Java 中文版 第2版》 第8条：覆盖equals时请遵守通用约定 P28-38