我曾在一段代码中看到过这种情况，其中经常执行空值检查:

if(( A==null ) && ( B==null )
  return +1;//WRONG: two null values should return 0!!!

我曾在一段代码中看到过这种情况，其中经常执行空值检查:

if(( A==null ) && ( B==null )
  return +1;//WRONG: two null values should return 0!!!

违反合同通常是指比较者在比较对象时没有提供正确或一致的值。例如，你可能想要执行一个字符串比较，并强制空字符串排序到最后:

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 );

在我的例子中，它是无限排序。 也就是说，首先这条线根据条件向上移动，然后这条线向下移动到相同的位置。 我在最后添加了一个条件，明确地建立了行序。

我也遇到过同样的问题，但我解决了。

//This this your code

private int compareParents(Foo s1, Foo s2) {
    if (s1.getParent() == s2) return -1;
    if (s2.getParent() == s1) return 1;
    return 0;
}

违例是将不同的事物相互比较。

//acceptable
compare between s1.getParent() and s2.getParent()

//acceptable
compare between s1 and s2

//NOT acceptable
compare between s1 and s2.getParent()

//NOT acceptable
compare between s1.getParent() and s2

在我的代码中，我想通过地址的协调来排序。在比较器中，我错误地比较了X和Y，而不是X和X。

//My code:
    private void sortBasedOnX(){
        //addresses is a list of addresses where each address has X and Y
        addresses.sort((o1, o2) -> {

            String a = o1.getAddress().getX(); 
            String b = o2.getAddress().getY(); //<-- this is supposed to be getX

            return Integer.parseInt(a)-Integer.parseInt(b);
        });
    }

//acceptable
compare between o1.getAddress().getX() and o1.getAddress().getX()

//acceptable
compare between o1.getAddress().getY() and o1.getAddress().getY()

//NOT acceptable
compare between o1.getAddress().getX() and o1.getAddress().getY()

//NOT acceptable
compare between o1.getAddress().getX() and o1.getAddress()

//NOT acceptable
compare between o1.getAddress().getX() and o1

你的比较器是不可传递的。

假设A是B的父类，B是C的父类，因为A > B和B > C，那么A > C必须是这样。然而，如果你的比较器在A和C上被调用，它将返回零，这意味着A == C。这违反了契约，因此抛出异常。

库能够检测到这一点并让您知道，而不是表现得不稳定，这是相当不错的。

在compareParents()中满足传递性要求的一种方法是遍历getParent()链，而不是只查看直接祖先。