java - Comparator 和 Comparable 中的compare 和compareTo 方法的契约

Question

在实现Comparator和Comparable接口(interface)时，是否需要确保:

如果

• x.compare(对象 obj1, 对象 obj2) == x.compare(对象 obj3, 对象 obj2)

或

• obj1.compareTo(obj2) == obj3.compareTo(obj2) ,

那么obj1.equals(obj3)必须是true？

Answer 1

不一定。

您所描述的是 transitive relation三个给定对象之间，以及 as far as both of the interfaces就相关而言，使用它们时的关系必须在它们之间是可传递的。

这就是说，给定三个相互可比较的类 A、B 和 C，如果 A .compareTo(B) == 0 && B.compareTo(C) == 0，然后 A.compareTo(C) == 0。同样的原理也适用于Comparator。

您现在混淆的是 compareTo 和 equals 之间的区别。虽然这两者密切相关，但没有任何东西可以强制执行 very strong recommendation文档中提供:

It is strongly recommended, but not strictly required that (x.compareTo(y)==0) == (x.equals(y)). Generally speaking, any class that implements the Comparable interface and violates this condition should clearly indicate this fact. The recommended language is "Note: this class has a natural ordering that is inconsistent with equals."

equals 定义与 compareTo 甚至 compare 不一致当然是可能且有效的，但这取决于程序的性质，它可能会导致隐蔽的错误。如果您发现自己处于需要同时依赖 equals 和 compareTo(或 compare)的情况，请记录下来并与它的用法。