Timsort排序异常现象

异常类型：

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

 

分析：线上非必现，偶发概率很小；

java7开始引入了Timsort的排序算法，是稳定的nlogn复杂度，表现效果比快排要好。异常的原因是实现的compare排序算法不够严谨导致，需要对非法的比较对象进行更严谨的判断；

 

Timsort算法规则：

JDK7以后，实现Comparable接口后，要满足一下三个特性：

1） 自反性：x，y 的比较结果和 y，x 的比较结果相反。

2） 传递性：x>y,y>z,则 x>z。

3） 对称性：x=y,则 x,z 比较结果和 y，z 比较结果相同。（不严谨写法，违反了该条规则）

 

解决方法1:使用jdk6较宽松的规则；

缺点：使用不了Timsort算法：

System.setProperty("java.util.Arrays.useLegacyMergeSort", "true"); 

 

解决方法2:调整比较方法：（建议该方法）

缺点：需要根据具体情况调整比较逻辑；

模拟了一个线上异常概率高的示例及参考解决方法，如下：

import java.util.ArrayList;import java.util.Collections;import java.util.Comparator;import java.util.List;import java.util.Random;import org.apache.commons.lang3.StringUtils;public class Test {        public static void sortMessage(List<String> list) {        Collections.sort(list, new Comparator<String>() {            public int compare(String arg1, String arg2) {                /**                 * 不严谨写法                 *///                if(StringUtils.isBlank(arg1) || StringUtils.isBlank(arg2)) {//                    return 0;//                }                /**                 * 优化后写法                 */                if(StringUtils.isBlank(arg1) ) {                    if(StringUtils.isBlank(arg2)) {                        return 0;                    }else {                        return -1;                    }                                    }else if(StringUtils.isBlank(arg2)){                    return 1;                }                                return arg1.compareTo(arg2);            }        });    }    public static void main(String[] args) throws InterruptedException {        List<String> list = new ArrayList<String>();        Random random = new Random();        for(int i=10000;i>0;i--) {            if(i%5000 != 0) {                list.add(random.nextInt(1000)+"");            }else {                list.add("");            }                    }        sortMessage(list);    }    }