一、归并排序思想

归并排序（MERGE-SORT）是建立在归并操作上的一种有效的排序算法,该算法是采用分治法（Divide andConquer）的一个非常典型的应用。将已有序的子序列合并，得到完全有序的序列；即先使每个子序列有序，再使子序列段间有序。若将两个有序表合并成一个有序表，称为二路归并。 归并排序核心步骤 ：

我们现在要树立这么一个思路，分解数组并不是真的分解数组，而是可以通过下标的形式来区分数组。归并排序实际上就是将一个数组分解到不能子啊分解的部分，两两经行比较排序，再将数据更新到新的数组中去。这非常类似于我们学的数的后序遍历。

二、代码实现

1、单趟：

我们先写单趟，因为归并排序是对半分组，所以最后为两个区间经行比较，思路转化为之前我们学过的两个数组的合并

int mid = (rigt + left) / 2;
int begin1 = left;
int end1 = mid-1;
int begin2 = mid;
int end2 = rigt;
int i = left;
while (begin1 <= end1 && begin2 <= end2)
{if (a[begin1] > a[begin2]){tmp[i++] = a[begin2++];}else{tmp[i++] = a[begin1++];}
}
while (begin1<=end1)
{tmp[i++] = a[begin1++];
}
while (begin2 <= end2)
{tmp[i++] = a[begin2++];
}
memcpy(a+left, tmp+left, sizeof(int) * (rigt - left + 1));

这里要注意两个问题：1、区间怎么划分合适，2、为什么每排序一次就得将数组拷贝回去

 2、单趟问题解释

首先我们先解决第一个问题：区间怎么划分合适？

我们这里以下面图为例：

因为有-1的存在很容易导致下标为负数，最后导致数组的违法访问。同时可能还会有死循环的问题：

具体原因如下：

但是如果改为区间为 

int begin1 = left;
int end1 = mid;
int begin2 = mid+1;
int end2 = rigt;就不会出现这个问题：

所以正确代码如下：

int mid = (rigt + left) / 2;
int begin1 = left;
int end1 = mid;
int begin2 = mid+1;
int end2 = rigt;
int i = left;
while (begin1 <= end1 && begin2 <= end2)
{if (a[begin1] > a[begin2]){tmp[i++] = a[begin2++];}else{tmp[i++] = a[begin1++];}
}
while (begin1<=end1)
{tmp[i++] = a[begin1++];
}
while (begin2 <= end2)
{tmp[i++] = a[begin2++];
}
memcpy(a+left, tmp+left, sizeof(int) * (rigt - left + 1));

第二个问题：因为比较的时候是在原数组经行比较如果不及时将数组内容更新，可能会导致再排序时经行错误的大小比较，最后导致结果错误 

3、总体代码实现

结束条件当分割区间等于1或者小于1的时候。

void _MergeSort(int* a, int* tmp, int left, int rigt)
{if (left >= rigt){return;}int mid = (rigt + left) / 2;_MergeSort(a, tmp, left, mid);_MergeSort(a, tmp, mid + 1, rigt);int begin1 = left;int end1 = mid;int begin2 = mid+1;int end2 = rigt;int i = left;while (begin1 <= end1 && begin2 <= end2){if (a[begin1] > a[begin2]){tmp[i++] = a[begin2++];}else{tmp[i++] = a[begin1++];}}while (begin1<=end1){tmp[i++] = a[begin1++];}while (begin2 <= end2){tmp[i++] = a[begin2++];}memcpy(a+left, tmp+left, sizeof(int) * (rigt - left + 1));
}
void MergeSort(int* a, int n)
{int* tmp = (int*)malloc(sizeof(int) * n);if (tmp == NULL){return;}else{_MergeSort(a, tmp, 0, n - 1);free(tmp);tmp = NULL;}
}

三、非递归

对于归并排序我们实现非递归用循环更好一点，非递归我们可以直接从递归回去那出发，定义一个组个数，通过控制组的个数实现“并”这个过程：

还是我们先写一个数组只有一个数的情况：

for (int i = 0; i < end - begin + 1; i += 2 * gap)//每次比较两组，所以加2gap
{int begin1 = i;int end1 = begin1 + gap - 1;int begin2 = begin1 + 2 * gap - 1;//第二组的开头与第一组的开头差2倍int end2 = begin2 + gap - 1;int k = i;while (begin1 <= end1 && begin2 <= end2){if (a[begin1] > a[begin2]){tmp[k++] = a[begin2++];}else{tmp[k++] = a[begin1++];}}while (begin1 <= end1){tmp[k++] = a[begin1++];}while (begin2 <= end2){tmp[k++] = a[begin2++];}memcpy(a + i, tmp + i, sizeof(int) * (2 * gap));//同理这里也得排序一次就拷贝回去}

那么后面就是gap*2控制即可：

void _MergeSortNonR(int* a, int* tmp,int begin, int end)
{int gap = 1;for (int j = gap; j < end-begin+1; j *= 2){for (int i = 0; i < end - begin + 1; i += 2 * gap)//每次比较两组，所以加2gap{int begin1 = i;int end1 = begin1 + gap - 1;int begin2 = begin1 + 2 * gap - 1;//第二组的开头与第一组的开头差2倍int end2 = begin2 + gap - 1;int k = i;while (begin1 <= end1 && begin2 <= end2){if (a[begin1] > a[begin2]){tmp[k++] = a[begin2++];}else{tmp[k++] = a[begin1++];}}while (begin1 <= end1){tmp[k++] = a[begin1++];}while (begin2 <= end2){tmp[k++] = a[begin2++];}memcpy(a + i, tmp + i, sizeof(int) * (2 * gap));}}
}

但是上面的代码仍然存在问题，和快排类似这里会存在数组越界问题：这里我们打印数组下标区间来观察一下：、

大致我们可以分为这两种情况：

 如果end1越界，那么说明分为了只有这一组数据，不用排了直接跳出循环，如果end2越界我们就需要给end2修改值。

所以改进代码如下：

void _MergeSortNonR(int* a, int* tmp,int begin, int end)
{int gap = 1;for (int j = gap; j < end-begin+1; j *= 2){for (int i = 0; i < end - begin + 1; i += 2 * gap)//每次比较两组，所以加2gap{int begin1 = i;int end1 = begin1 + gap - 1;int begin2 = begin1 + 2 * gap - 1;//第二组的开头与第一组的开头差2倍int end2 = begin2 + gap - 1;int k = i;// 第二组都越界不存在，这一组就不需要归并if (begin2 >= end - begin + 1)break;// 第二的组begin2没越界，end2越界了，需要修正一下，继续归并if (end2 >= end - begin + 1)end2 = end - begin + 1 - 1;while (begin1 <= end1 && begin2 <= end2){if (a[begin1] > a[begin2]){tmp[k++] = a[begin2++];}else{tmp[k++] = a[begin1++];}}while (begin1 <= end1){tmp[k++] = a[begin1++];}while (begin2 <= end2){tmp[k++] = a[begin2++];}memcpy(a + i, tmp + i, sizeof(int) * (2 * gap));}}
}
void MergeSortNonR(int* a, int n)
{int* tmp = (int*)malloc(sizeof(int) * n);if (tmp == NULL){return;}else{_MergeSortNonR(a, tmp, 0, n - 1);free(tmp);tmp = NULL;}
}

可能有人会想如果只剩一组数据了，我直接return行不行？实际上是可以的，因为break跳出循环后在gap*2还是只有一组数据，所以直接return即可。