谁能简单地解释一下,为什么这段代码抛出一个异常,“比较方法违反了它的一般契约!”,以及我该如何修复它?
private int compareParents(Foo s1, Foo s2) {
if (s1.getParent() == s2) return -1;
if (s2.getParent() == s1) return 1;
return 0;
}
谁能简单地解释一下,为什么这段代码抛出一个异常,“比较方法违反了它的一般契约!”,以及我该如何修复它?
private int compareParents(Foo s1, Foo s2) {
if (s1.getParent() == s2) return -1;
if (s2.getParent() == s1) return 1;
return 0;
}
当前回答
以我为例,我做了如下事情:
if (a.someField == null) {
return 1;
}
if (b.someField == null) {
return -1;
}
if (a.someField.equals(b.someField)) {
return a.someOtherField.compareTo(b.someOtherField);
}
return a.someField.compareTo(b.someField);
我忘记检查的是当a.someField和b.someField都为空时。
其他回答
你不能像这样比较对象数据:s1.getParent() == s2 -这将比较对象引用。你应该重写Foo类的equals函数然后像这样比较它们s1.getParent()。equals(s2)
你的比较器是不可传递的。
假设A是B的父类,B是C的父类,因为A > B和B > C,那么A > C必须是这样。然而,如果你的比较器在A和C上被调用,它将返回零,这意味着A == C。这违反了契约,因此抛出异常。
库能够检测到这一点并让您知道,而不是表现得不稳定,这是相当不错的。
在compareParents()中满足传递性要求的一种方法是遍历getParent()链,而不是只查看直接祖先。
我曾在一段代码中看到过这种情况,其中经常执行空值检查:
if(( A==null ) && ( B==null )
return +1;//WRONG: two null values should return 0!!!
编辑虚拟机配置对我很有用。
-Djava.util.Arrays.useLegacyMergeSort=true
违反合同通常是指比较者在比较对象时没有提供正确或一致的值。例如,你可能想要执行一个字符串比较,并强制空字符串排序到最后:
if ( one.length() == 0 ) {
return 1; // empty string sorts last
}
if ( two.length() == 0 ) {
return -1; // empty string sorts last
}
return one.compareToIgnoreCase( two );
但是这忽略了1和2都为空的情况——在这种情况下,返回了错误的值(1而不是0以显示匹配),比较器将其报告为违规。它应该写成:
if ( one.length() == 0 ) {
if ( two.length() == 0 ) {
return 0; // BOth empty - so indicate
}
return 1; // empty string sorts last
}
if ( two.length() == 0 ) {
return -1; // empty string sorts last
}
return one.compareToIgnoreCase( two );