(原)
今天看了一下現場的環境，發現有個其它部門的項目用到了這樣一個參數：html
-Djava.util.Arrays.useLegacyMergeSort=true
因而查看了一下什麼做用。java
在JDK1.6和JDK1.7的版本中，使用comparator排序可能在1.6版本中正常運行，而在1.7版本有時會報異常，IllegalArgumentException(異常的內容大概是：Comparison method violates its general contract!)。python
在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去還原以前的方法。api
再來看看Arrays.sort的實現bash
它是有二種排序方法，legacyMergeSort和TimSort。oracle
舊的排序方式爲legacyMergeSort，新的爲TimSort，若是要用舊的排序方式，能夠在系統屬性中加上 java.util.Arrays.useLegacyMergeSort=true 這個參數。svn
再看看Collections.sort方法的說明：函數
大概意思新的TimSort排序方法的實現須要知足三種狀況：spa
- 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三種，sgn(x)的結果也有三種，
一、當compare(x,y) < 0 時，sgn(compare(x,y))結果爲-1
二、當compare(x,y) = 0 時，sgn(compare(x,y))結果爲0
三、當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算法。