举个例子,当我们要顺序排列一个int类型的list的时候,我们的代码是这样的:
data.sort(new Comparator<Integer>() {
@Override
public int compare(Integer o1, Integer o2) {
return o1-o2;
}
});
把compare函数的第一个参数叫做a,第二个参数叫做b。为什么a-b能表示顺序排列呢,让我们简单看看源码:
除了画红线的地方是核心代码以外,modCount是指修改的次数,执行的其他的函数比如replace,replaceAll都会使modCount加1从而modCount != expectedModCount然后抛出并行修改的异常。那让我们继续看Arrays.sort函数:
也只有红线位置是核心代码,else里的if是说如果jdk版本过低则使用老版本的排序方法,所以我们直接进入TimSort.sort:
这里如果待排序数组的长度小于MIN_MERGE=32那么就进行binarySort,进入函数会发现是一个插入排序;如果数组长度>32就会进行优化的插入排序也就是目前最快的排序TimSort。我水平有限只能分析简单的插入排序binarySort,看它是怎么满足a-b是顺序排序的:
首先了解一下插入排序的思路,假设是顺序排列。对于某个数组1,7,5,11,3,6,首先从前往后找到一个自然的递增序列1,7,然后遍历后面的5,11,3,6,把他们一个个插入到前面的递增序列里,检查每个数该插在序列的哪里使用的是二分法。
可是这里怎么知道我们是要顺序还是逆序排列呢,先看看找自然序列的函数
int initRunLen = countRunAndMakeAscending(a, lo, hi, c):
可以看到compare函数使用的地方了,如果改变compare函数的输入参数为右左的形式,或者更改翻转数组的逻辑为compare函数返回值大于等于0才翻转,那么得到的自然序列都会由递增序列变为递减序列。也就是说得到的是什么序列和
1.a,b是左右还是右左的形式
2.compare函数的写法是a-b还是b-a
3.是在compare函数返回值小于0还是大于等于0翻转
这3个条件都有关系,关系如下:
代码里是第一种情况,所以就使得我们可以用a-b还是b-a来控制取得的自然序列是顺还是逆。
里面是一个java大牛写的代码,而且还涉及最快的排序TimSort