Java 如何检测比较器合约违规？

Question

我发现令人惊讶的是，Java有时可以为你检查比较器合同。

例如，当您编写不遵循传递性的顺序关系时，您会得到

java.lang.IllegalArgumentException: Comparison method violates its general contract!

如何能够制止这种违反行为？Java是如何实现的？

(不知道我在说什么就看这个问题)

Answer 1

当然，它不能通过检查你的代码来证明这一点！

对于特定输入和某些代码分支，会检测到冲突。例如

if( compare(x,y)==0 && compare(y,x)!=0 )
    throw IllegalArgumentException: Comparison method violates its general contract!

只需检查引发异常的实际来源，例如http://grepcode.com/file/repository.grepcode.com/java/root/jdk/openjdk/8-b132/java/util/TimSort.java#772

Answer 2

你没有明确说你什么时候得到这个异常。我假设当您使用您自己的< code >比较器作为参数进行< code>Collections.sort调用时，您会得到这个错误，因为这是我能够在Java源代码中找到这个错误的地方。

http://grepcode.com/file/repository.grepcode.com/java/root/jdk/openjdk/8-b132/java/util/TimSort.java#773

（TimSort是用于Collections.sort的实现）

当您的比较器不一致（compare（a，b） 的结果与 compare（b，a） 的结果不一致）或不稳定时 - 对于相同的输入不返回相同的结果，您将在 TimSort 方法保持的临时状态下获得内部不一致。

该算法检测到这种内部不一致并抛出异常：

772        } else if (len1 == 0) {
773            throw new IllegalArgumentException(
774                "Comparison method violates its general contract!");
775        } 

请注意，当比较器违反合同时，不能保证您会得到此异常（这对于比较器的单元测试来说很酷）。

对于您碰巧传递给Collections.sort的特定调用的输入，它可能并不是不正确的，或者比较器的不一致输出可能根本不会导致TimSort方法的内部不一致。在这种情况下，生成的排序顺序仍然可能不正确，但不能保证会得到异常。