归并排序通过递归将数组二分至单元素后合并，实现稳定排序。C++代码使用临时数组合并子序列，保证相同元素相对位置不变，时间复杂度始终为O(n log n)，空间复杂度O(n)。适用于需稳定性和一致性能的场景，可结合插入排序或改用自底向上方式优化。
归并排序是一种基于分治思想的稳定排序算法，通过将数组不断二分，直到每个子数组只有一个元素，再逐层合并，最终得到有序序列。C++中实现归并排序不仅逻辑清晰，而且便于理解递归与数组操作。下面详细介绍其实现方式和性能特点。
归并排序的基本实现
归并排序的核心是“分”和“合”。分的过程使用递归将数组一分为二；合的过程则是将两个已排序的子数组合并成一个有序数组。
以下是C++中的典型实现：
#include#include using namespace std; void merge(vector
& arr, int left, int mid, int right) { vector temp(right - left + 1); int i = left, j = mid + 1, k = 0; while (i zuojiankuohaophpcn= mid && j zuojiankuohaophpcn= right) { if (arr[i] zuojiankuohaophpcn= arr[j]) { temp[k++] = arr[i++]; } else { temp[k++] = arr[j++]; } } while (i zuojiankuohaophpcn= mid) temp[k++] = arr[i++]; while (j zuojiankuohaophpcn= right) temp[k++] = arr[j++]; for (int p = 0; p zuojiankuohaophpcn k; p++) { arr[left + p] = temp[p]; }}
立即学习“C++免费学习笔记（深入）”；
void mergeSort(vector
& arr, int left, int right) { if (left >= right) return; int mid = left + (right - left) / 2; mergeSort(arr, left, mid); mergeSort(arr, mid + 1, right); merge(arr, left, mid, right); }
调用方式如下：
int main() {
vector arr = {38, 27, 43, 3, 9, 82, 10};
mergeSort(arr, 0, arr.size() - 1);
for (int x : arr) cout << x << " ";
return 0;
}
输出结果为：3 9 10 27 38 43 82
关键细节说明
在合并函数中，使用临时数组存储排序结果，避免直接覆盖原数组。比较时采用保证稳定性，即相同值的元素相对位置不变。计算中点使用left + (right - left)/2防止整数溢出。
递归终止条件是区间长度小于等于1（即 left >= right），此时无需排序。
时间与空间复杂度分析
归并排序的时间复杂度在最好、最坏和平均情况下均为 O(n log n)，因为每次都将数组对半分，共 log n 层，每层合并操作耗时 O(n)。
空间复杂度为 O(n)，主要来自合并时使用的辅助数组。此外，递归调用栈深度为 O(log n)，但通常忽略不计。
相比快速排序，归并排序性能更稳定，不会出现最坏 O(n²) 的情况，适合对稳定性有要求的场景，如外部排序或多线程环境。
优化建议
对于小规模数组，可以结合插入排序提升效率。当子数组长度小于某个阈值（如10）时，改用插入排序减少递归开销。
也可以实现非递归版本（自底向上），避免深层递归带来的栈溢出风险，适用于超大数组。
基本上就这些。归并排序实现直观，性能可靠，是学习分治法的经典案例，在实际开发和算法竞赛中都有广泛应用。虽然需要额外空间，但在多数现代系统中是可以接受的代价。
