比较法抛出一般合同异常

Question

下面是导致异常的代码块，

代码:

            Collections.sort( arrayList, new Comparator()
            {
                public int compare( Object o1, Object o2 )
                {
                TypeAdapterSort tas1 = ( TypeAdapterSort ) o1;
                TypeAdapterSort tas2 = ( TypeAdapterSort ) o2;
                if ( tas1.order < tas2.order )
                    return -1;
                else
                    return 1;
                }
            } );

例外情况:

java.lang.IllegalArgumentException: Comparison method violates its general contract!
                    at java.util.TimSort.mergeLo(TimSort.java:747)
                    at java.util.TimSort.mergeAt(TimSort.java:483)
                    at java.util.TimSort.mergeForceCollapse(TimSort.java:426)
                    at java.util.TimSort.sort(TimSort.java:223)
                    at java.util.TimSort.sort(TimSort.java:173)
                    at java.util.Arrays.sort(Arrays.java:659)
                    at java.util.Collections.sort(Collections.java:217)

当我运行与独立程序相同的代码时，问题永远不会发生。这里的比较器有什么问题？有没有办法在独立代码中重现该问题？

此问题仅在Java 1.7上发生，因为Arrays.sort上的实现已发生更改

Answer 1

您不需要只返回-1或1。一般合同规定，如果第一个元素较小，则返回的数字必须为负，如果它们相等，则返回零，如果第二个元素较小则返回正。因此，您可以跳过if/else语句并返回：

return tas1.order - tas2.order;

Answer 2

比较方不遵守总合同。看看这个：

if ( tas1.order < tas2.order )
    return -1;
else
    return 1;
}

现在考虑两个具有相同顺序的对象。比较它们应返回0。

如果您使用的是Java 7，最好委托给< code>Integer.compare:

return Integer.compare(tas1.order, tas2.order);

或者如果您使用的是早期版本：

return tas1.order == tas2.order ? 0
     : tas1.order < tas2.order ? -1
     : 1;