Java排序 - DualPivotQuicksort

这里描述 leftmost = true 的情况，也就是会从数组的开始一直排序到数组的结尾。

数组类型：int[]、long[]、short[]、char[]、float[]、double[]，还有比较特殊的 byte[]

1. 插入排序（insertion sort）

适合长度短的数组排序，对于byte[] 长度小于等于30 和 其它数组长度小于47 的情况，会使用这种排序

代码以 int[] a 为例：

// 第一次循环i=j=0，之后每次循环j=i.
// j = ++i相当于在每次循环的最后执行 {i++; j = i;}
// j = i++相当于在每次循环的最后执行 {j = i; i++;}
for (int i = 0, j = i; i < (length - 1); j = ++i) {
   int ai = a[i + 1]; // 每次循环的目的是将下一个数排到它应该在的位置，这里ai就是下一个数
   while (ai < a[j]) { // while循环的目的是确定j的值 和 把所有比ai大的项向后移一位来腾出ai的位置
       a[j + 1] = a[j]; // 把比ai大的项向后移一位
       if (j-- == left) { // j-- 确定j的值，也就是确定ai的位置， j 可能等于 -1
           break;
       }
   }
   a[j + 1] = ai; // j+1 就是ai的位置
}

2. 计数排序（counting sort）

只针对byte[] 长度大于30的情况，因为byte的范围是[-128, 127]，只有256个数，所以循环会利用这点

int[] count = new int[256];

// 第一次循环：计数
for (int i = (0 - 1); ++i <= (length - 1); count[a[i] - (-128)]++);

// 第二次循环：给 < byte[] a > 赋值
// 循环结束条件以k为标准，k<=0就会停止;
// 因为i和k没有固定关系，所以没有增量表达式，但在方法体中利用--i和--k进行增量。
for (int i = 256, k = length; k > 0; ) {
   while (count[--i] == 0); // 如果计数个数为0，什么也不做，--i
   byte value = (byte) (i + (-128));
   int s = count[i];

do {
       a[--k] = value;
   } while (--s > 0);
}

3. 快速排序（Quicksort）

适合长度短的数组排序，插入排序也是快速排序的一种。
对于byte[] 长度大于30的情况会使用 计数排序，不是这种排序。
而对于其它数组长度大于等于47并且小于286 的情况，会使用这种排序。

3.1 对数组做近似7等分

// 7等分一段的长度近似值
int seventh = (length >> 3) + (length >> 6) + 1;
// 一个数组分为7段，则有五个切割点，如下为五个切割点的下标
int e3 = (left + right) >>> 1; // The midpoint
int e2 = e3 - seventh;
int e1 = e2 - seventh;
int e4 = e3 + seventh;
int e5 = e4 + seventh;

3.2 对五个切割点进行插入排序

// Sort these elements using insertion sort
if (a[e2] < a[e1]) { int t = a[e2]; a[e2] = a[e1]; a[e1] = t; }

if (a[e3] < a[e2]) { int t = a[e3]; a[e3] = a[e2]; a[e2] = t;
   if (t < a[e1]) { a[e2] = a[e1]; a[e1] = t; }
}
if (a[e4] < a[e3]) { int t = a[e4]; a[e4] = a[e3]; a[e3] = t;
   if (t < a[e2]) { a[e3] = a[e2]; a[e2] = t;
       if (t < a[e1]) { a[e2] = a[e1]; a[e1] = t; }
   }
}
if (a[e5] < a[e4]) { int t = a[e5]; a[e5] = a[e4]; a[e4] = t;
   if (t < a[e3]) { a[e4] = a[e3]; a[e3] = t;
       if (t < a[e2]) { a[e3] = a[e2]; a[e2] = t;
           if (t < a[e1]) { a[e2] = a[e1]; a[e1] = t; }
       }
   }
}

3.3 创建两个变量作为下标记录值

// 中心部分第一个元素的索引
int less  = left;

// 右部分第一个元素前的索引
int great = right;

3.4 五个切割点的值都不相同的情况

这种情况会将排序分三块，变量 pivot1 和 pivot2 作为三块区域值的区分：
第一块区域所有的值都 < pivot1
第二块区域所有的值都 >= pivot1 并且 <= pivot2
第三块区域所有的值都 > pivot2

3.4.1 第一块和第三块处理

// 取两个值作为分区值
int pivot1 = a[e2];
int pivot2 = a[e4];

// 要排序的第一个和最后一个元素被移动到以前由枢轴占据的位置。
// 当分区完成时，轴心点被交换回它们的最终位置，并从随后的排序中排除。
a[e2] = a[left];
a[e4] = a[right];

// less一开始等于left， great一开始等于right。
// 跳过小于或大于分割值的元素。
while (a[++less] < pivot1); // 没有判断第一个
while (a[--great] > pivot2); // 没有判断最后一个

// 循环带outer:，`break outer;`会跳出整个循环，也就是结束整个下面的for循环。
// less不参与循环，只是一开始给k赋值，less的变化始终是`++less`，用来交换数组中的值。
outer:
for (int k = less - 1; ++k <= great; ) {
   int ak = a[k];
   if (ak < pivot1) { // Move a[k] to left part
       a[k] = a[less];
       /*
        * Here and below we use "a[i] = b; i++;" instead
        * of "a[i++] = b;" due to performance issue.
        */
       a[less] = ak;
       ++less;
   } else if (ak > pivot2) { // Move a[k] to right part
       while (a[great] > pivot2) {
           if (great-- == k) {
               break outer;
           }
       }
       if (a[great] < pivot1) { // a[great] <= pivot2
           a[k] = a[less];
           a[less] = a[great];
           ++less;
       } else { // pivot1 <= a[great] <= pivot2
           a[k] = a[great];
       }
       /*
        * Here and below we use "a[i] = b; i--;" instead
        * of "a[i--] = b;" due to performance issue.
        */
       a[great] = ak;
       --great;
   }
}

// 循环结束，交换left和(less - 1)的值，也就是处理循环前`a[e2] = a[left];`导致的分区错误
a[left]  = a[less  - 1]; a[less  - 1] = pivot1;
// 循环结束，交换right和(great + 1)的值，也就是处理循环前`a[e4] = a[right];`导致的分区错误
a[right] = a[great + 1]; a[great + 1] = pivot2;

// 分为三部分后，嵌套排序第一部分和第三部分
sort(a, left, less - 2, leftmost);
sort(a, great + 2, right, false);

3.4.2 第二块处理

分两种情况：
如果第二块剩余项超过数组要排序总长度的4/7，会将等于pivot1和等于pivot2的值取出来，再次缩减less和great中间的部分，然后进行排序。
否则直接排序。

if (less < e1 && e5 < great) { // 剩余的中间部分超过4/7
   /*
    * Skip elements, which are equal to pivot values.
    */
   while (a[less] == pivot1) {
       ++less;
   }

while (a[great] == pivot2) {
       --great;
   }

outer:
   for (int k = less - 1; ++k <= great; ) {
       int ak = a[k];
       if (ak == pivot1) { // Move a[k] to left part
           a[k] = a[less];
           a[less] = ak;
           ++less;
       } else if (ak == pivot2) { // Move a[k] to right part
           while (a[great] == pivot2) {
               if (great-- == k) {
                   break outer;
               }
           }
           if (a[great] == pivot1) { // a[great] < pivot2
               a[k] = a[less];
               a[less] = pivot1;
               ++less;
           } else { // pivot1 < a[great] < pivot2
               a[k] = a[great];
           }
           a[great] = ak;
           --great;
       }
   }
}

// Sort center part recursively
sort(a, less, great, false);

3.5 五个切割点的值有相同的情况（单轴分区 Partitioning with one pivot）

这种情况也可以理解为将排序分三块，但只需要一个变量 pivot 作为三块区域值的区分：
第一块区域所有的值都 < pivot
第二块区域所有的值都 = pivot，因为这块区域的值都相等，最后就可以不用排序
第三块区域所有的值都 > pivot

// 取下标在中间的值做一个临时变量，该变量是中值的廉价近似值，作为分割值
int pivot = a[e3];

// less一开始等于left， great一开始等于right。
// 方法体内部不断修改great的值，使循环执行的次数不断的缩减，一次循环great可以减少0，可以减少1，可以减少n。
// less并不影响循环，只是作为临时变量进行数组中值的交换，始终小于等于k，一次循环只能加1或不加。
for (int k = less; k <= great; ++k) {
   if (a[k] == pivot) { // 如果a[k]的值等于分割值，跳过
       continue;
   }
   int ak = a[k]; // 取出a[k]值赋给临时变量ak
   if (ak < pivot) { // Move a[k] to left part
       a[k] = a[less];
       a[less] = ak;
       ++less;
   } else { // a[k] > pivot - Move a[k] to right part
       while (a[great] > pivot) {
           --great;
       }
       if (a[great] < pivot) { // a[great] <= pivot
           a[k] = a[less];
           a[less] = a[great];
           ++less;
       } else { // a[great] == pivot
           /*
            * Even though a[great] equals to pivot, the
            * assignment a[k] = pivot may be incorrect,
            * if a[great] and pivot are floating-point
            * zeros of different signs. Therefore in float
            * and double sorting methods we have to use
            * more accurate assignment a[k] = a[great].
            */
           a[k] = pivot;
       }
       a[great] = ak;
       --great;
   }
}

// 分为三部分后，嵌套排序第一部分和第三部分
sort(a, left, less - 1, leftmost);
sort(a, great + 1, right, false);

4. 合并排序（merge sort）

长度很长的数组排序，对于其它数组长度大于等于286 的情况，会使用这种排序。

两个关键常量，起控制作用

// 合并排序中的最大运行次数
static final int MAX_RUN_COUNT = 67;

// 合并排序中运行的最大长度
static final int MAX_RUN_LENGTH = 33;

排序方法

/**
* 长度大于等于286的int数组排序
*
* @param a
*            要排序int数组
* @param left
*            起始下标
* @param right
*            结束下标
* @param work
*            null
* @param workBase
*            0
* @param workLen
*            0
*/
private static void largeSort(int[] a, int left, int right, int[] work,
int workBase, int workLen) {

/*
    * Index run[i] is the start of i-th run (ascending or descending
    * sequence).
    */
   int[] run = new int[MAX_RUN_COUNT + 1];
   int count = 0;
   run[0] = left;

// Check if the array is nearly sorted
   for (int k = left; k < right; run[count] = k) {
       if (a[k] < a[k + 1]) { // ascending
           while (++k <= right && a[k - 1] <= a[k]);
       } else if (a[k] > a[k + 1]) { // descending
           while (++k <= right && a[k - 1] >= a[k]);
           for (int lo = run[count] - 1, hi = k; ++lo < --hi;) {
               int t = a[lo];
               a[lo] = a[hi];
               a[hi] = t;
           }
       } else { // equal
           for (int m = MAX_RUN_LENGTH; ++k <= right && a[k - 1] == a[k];) {
               if (--m == 0) {
                   sort(a, left, right, true);
                   return;
               }
           }
       }

/*
        * The array is not highly structured, use Quicksort instead of
        * merge sort.
        */
       if (++count == MAX_RUN_COUNT) {
           sort(a, left, right, true);
           return;
       }
   }

// Check special cases
   // Implementation note: variable "right" is increased by 1.
   if (run[count] == right++) { // The last run contains one element
       run[++count] = right;
   } else if (count == 1) { // The array is already sorted
       return;
   }

// Determine alternation base for merge
   byte odd = 0;
   for (int n = 1; (n <<= 1) < count; odd ^= 1);

// Use or create temporary array b for merging
   int[] b; // temp array; alternates with a
   int ao, bo; // array offsets from 'left'
   int blen = right - left; // space needed for b
   if (work == null || workLen < blen || workBase + blen > work.length) {
       work = new int[blen];
       workBase = 0;
   }
   if (odd == 0) {
       System.arraycopy(a, left, work, workBase, blen);
       b = a;
       bo = 0;
       a = work;
       ao = workBase - left;
   } else {
       b = work;
       ao = 0;
       bo = workBase - left;
   }

// Merging
   for (int last; count > 1; count = last) {
       for (int k = (last = 0) + 2; k <= count; k += 2) {
           int hi = run[k], mi = run[k - 1];
           for (int i = run[k - 2], p = i, q = mi; i < hi; ++i) {
               if (q >= hi || p < mi && a[p + ao] <= a[q + ao]) {
b[i + bo] = a[p++ + ao];
               } else {
   b[i + bo] = a[q++ + ao];
}
}
run[++last] = hi;
}
if ((count & 1) != 0) {
for (int i = right, lo = run[count - 1]; --i >= lo;
   b[i + bo] = a[i + ao]
);
run[++last] = right;
}
int[] t = a;
a = b;
b = t;
int o = ao;
ao = bo;
bo = o;
}
}

来源：https://blog.csdn.net/u012551120/article/details/115392541