ArrayList.sort() 方法中的 IllegalArgumentException [重复]

Question

我遇到了以下异常，但我不太明白为什么：

java.lang.IllegalArgumentException：比较方法违反了它的 总承包！

在 java.util.TimSort.mergeLo(TimSort.java:777) 在 java.util.TimSort.mergeAt(TimSort.java:514) 在 java.util.TimSort.mergeCollapse(TimSort.java:441) 在 java.util.TimSort.sort(TimSort.java:245) 在 java.util.Arrays.sort(Arrays.java:1512) 在 java.util.ArrayList.sort(ArrayList.java:1454)

我编写了以下 JUnit 测试来验证行为：

@Test
public void testComparator() {
    List<Boolean> item = new ArrayList<>();

    item.add(true);
    for (int i = 0; i < 1000000; i++) {
        item.add(false);
    }

    while(true) {
        System.out.println("Sorting");
        Collections.shuffle(item);

        item.sort((lineItem1, lineItem2) -> {
            if (lineItem1 && lineItem2) {
                return 0;
            } else if (!lineItem1) {
                return 1; 
            } else if (!lineItem2 ) {
                return -1;
            } 

            return 0;
        });
    }
}

如果我交换 return 1 和 return -1，它会毫无例外地突然工作。 但为什么？这应该只改变排序顺序而不破坏整个比较器。

我错过了什么？

Answer 1

你的比较器违反了约定，因为当两个参数都是false时，由于if (!lineItem1) { return 1; }…的声明，它将返回1。

通常，不能保证 TimSort 会发现不正确的比较器，它不会主动尝试查找违反合同的情况，它只是将某些情况检测为算法的副作用。

你真正想要的是

item.sort((lineItem1, lineItem2) -> {
    if (lineItem1.equals(lineItem2)) {
        return 0;
    } else if (!lineItem1) {
        return 1; 
    } else {
        return -1;
    }
});

虽然你可以达到同样的效果

item.sort((lineItem1, lineItem2) -> lineItem1^lineItem2? lineItem1? -1: 1: 0);

甚至更简单

item.sort(Comparator.reverseOrder());