【基础算法】归并排序（Merge sort）图文详解，附模板

前言

归并排序采用“分治”思想，在一组待排序的数字中，从中间将数组断成两段，进行递归处理，处理完成后左右两段已经是有序的了，再将左右两段进行合并。即“先分后合”，将原问题分割为子问题，逐个解决后再合并，得到原问题的结果。

详解

假设有一个数组为 2 5 4 3 1 7

mid 为该数组的中点下标

我们以 mid 为界，将原数组分割为左右两段（将问题转换为子问题，即分治思想）

之后分别对左右两段进行递归处理，递归处理后，左右两段都已经是排好序的状态了

此时，我们定义一个临时数组 temp[]，用来合拢后的结果

定义两个指针 i 与 j，分别指向前段开头、后段开头

然后我们比较 q[i] 与 q[j] 的大小，把小的放入 temp[k]，并移动指针

然后再对 q[i] 和 q[j] 进行比较，小的放入 temp[k]

再移动指针……以此类推，直到 i 或 j 有一个指针走到了末尾

此时再将左段和右段剩余的元素放入 temp[] 即可完成排序

代码模板

void merge_sort(int q[], int l, int r) {
  if (l >= r) return;  // 看左边界是否大于等于有边界，如果大于等于右边界，表明只有 1 个数或没有数
  
  int mid = (l + r) / 2;  // 中点下标，用于分段
  merge_sort(q, l, mid);
  merge_sort(q, mid + 1, r);  // 递归处理左右两段
  
  int temp[100010];  // 此处 temp[] 的长度可以跟 q[] 一致，也可以定义一个非常长的数组，不影响
  int k = 0, i = l, j = mid + 1;  // i 指向前段开头，j 指向后段开头
  while (i <= mid && j <= r)
    if (q[i] <= q[j]) temp[k++] = q[i++];  // 归并：把小的那个赋值给 temp[] ，再移动指针
    else temp[k++] = q[j++];
  while (i <= mid) temp[k++] = q[i++];  // 把左段剩余的元素放入 temp[]
  while (j <= r) temp[k++] = q[j++];  // 把右段剩余的元素放入 temp[]
  
  for (i = l, j = 0; i <= r; i++, j++) q[i] = temp[j];  // 将 temp[] 赋值回去给 q[]，完成排序。注意此处的条件是小于等于
}