tctip demo页面>

(原)

今天看了一下现场的环境，发现有个其它部门的项目用到了这样一个参数：

-Djava.util.Arrays.useLegacyMergeSort=true

　　

于是查看了一下什么作用。

在JDK1.6和JDK1.7的版本中，使用comparator排序可能在1.6版本中正常运行，而在1.7版本有时会报异常，IllegalArgumentException(异常的内容大概是：Comparison method violates its general contract!)。

在JDK7的不兼容列表中，可以看到这样一条消息:

Area: API: Utilities  
Synopsis: Updated sort behavior for Arrays and Collections may throw an IllegalArgumentException  
Description: The sorting algorithm used by java.util.Arrays.sort and (indirectly) by java.util.Collections.sort has been replaced.   
The new sort implementation may throw an IllegalArgumentException if it detects a Comparable that violates the Comparable contract.   
The previous implementation silently ignored such a situation.  
If the previous behavior is desired, you can use the new system property, java.util.Arrays.useLegacyMergeSort,   
to restore previous mergesort behavior.  
Nature of Incompatibility: behavioral  
RFE: 6804124 

大概意思就是　Arrays.sort方法和Collections.sort（底层也是Arrays.sort）方法被替换了，如果违反了新的排序规则就可能会出现IllegalArgumentException异常（这里是可能，不是一定）。之前的方法会忽略掉一种情况，如果想使用之前的方法，这里提供了一个新的参数，java.util.Arrays.useLegacyMergeSort去还原之前的方法。

再来看看Arrays.sort的实现

它是有二种排序方法，legacyMergeSort和TimSort。

旧的排序方式为legacyMergeSort，新的为TimSort，如果要用旧的排序方式，可以在系统属性中加上 java.util.Arrays.useLegacyMergeSort=true 这个参数。

再看看Collections.sort方法的说明：

大概意思新的TimSort排序方法的实现需要满足三种情况：

• sgn(compare(x, y)) == -sgn(compare(y, x))
• ((compare(x, y)>0) && (compare(y, z)>0)) implies compare(x, z)>0
• compare(x, y)==0 implies that sgn(compare(x, z))==sgn(compare(y, z)) for all z

对于函数sgn(compare(x,y))，由于compare(x,y)的返回结果有0、1、-1三种，sgn(x)的结果也有三种，

1、当compare(x,y) < 0 时，sgn(compare(x,y))结果为-1

2、当compare(x,y) = 0 时，sgn(compare(x,y))结果为0

3、当compare(x,y) > 0 时，sgn(compare(x,y))结果为1

最容易出错的情况就是自己写的比较器只写了1和-1的情况，而没有写0，如：

return x > y ? 1 : -1; 

这样会导至当x == y时，compare(x,y)的结果为 -1，此时sgn(compare(x,y)) = -1，这与第一种满足条件sgn(compare(x, y)) == -sgn(compare(y, x))相违背。所以会抛出IllegalArgumentException异常。

对于 x > y ? 1 : -1 ，当x == y时，也只是可可能会抛出异常，什么会抛出该异常，这要取绝于TimSort算法。