归并排序递归边界应设为左闭右开区间[left, right)，即递归终止条件为left >= right；此时merge中for循环i从left到mid-1、j从mid到right-1，避免越界。
归并排序的递归边界怎么设才不越界
归并排序写崩，八成卡在 mergeSort 的左右边界判断上。常见错误是把右边界设成 end 却用 for (int i = left; i 遍历，结果在 <code>mid + 1 处越界访问——尤其当数组长度为奇数时更隐蔽。
标准做法是统一采用「左闭右开」区间：left 到 right（不含 right），这样 mid = left + (right - left) / 2，递归调用写成 mergeSort(arr, left, mid) 和 mergeSort(arr, mid, right)，天然避免越界。
- 别用
int mid = (left + right) / 2：可能整数溢出，改用left + (right - left) / 2 - 终止条件必须是
if (right - left ，不是 <code>== 1，否则空数组或单元素会漏处理 - 如果非要「左闭右闭」，那终止条件得是
if (left >= right)，且mid计算后要小心mid + 1是否超right
合并过程为什么一定要用临时数组
原地合并听着省空间，但 c++ 标准库没提供高效原地归并接口，手写极易出错。直接在原数组上覆盖会导致未读数据被提前改写，比如把 arr[i] 覆盖掉，后面还等着拿它跟右半部分比。
临时数组不是可选项，是必须项。大小就开 right - left，只存当前待合并段，用完立刻拷回原位置，不累积、不复用。
立即学习“C++免费学习笔记（深入）”；
- 别用
std::vector在每次merge里 new —— 频繁分配拖慢性能；应在顶层预分配一个辅助数组传入 - 拷贝回原数组时，起始位置是
left，不是0，否则整个数组错位 - 两个子数组比较时，用
i 和 <code>j 控制下标，不是 <code>i 这类易错写法
std::stable_sort 和手写归并排序的区别在哪
std::stable_sort 在多数实现里确实用了优化过的归并逻辑，但它不是纯归并：小数组切分后可能切到 std::sort（introsort），还带内存自适应策略。你手写归并能控制每一步，但默认没这些优化。
所以别指望手写版跑得比 std::stable_sort 快——除非你针对特定场景做了优化，比如预分配缓冲区、用移动语义替代拷贝、或对小段改用插入排序。
- 对比测试时，用
std::vector<int></int>测，别用int[]：后者无法体现 move 优势 -
std::stable_sort是稳定排序，你的手写版也必须保证相等元素相对顺序不变，否则不算正确归并 - 若数据有大量重复值，归并中相等判断写成
还是 <code> 直接影响稳定性，必须用 <code>（即左段优先取）
迭代版归并排序怎么避免索引混乱
递归版好理解但栈深受限；迭代版省栈空间，代价是循环变量多、边界难盯。核心是控制「当前子数组长度」len，从 1 开始翻倍，每次合并相邻两个长为 len 的段。
最容易错的是右边界计算：right = std::min(left + 2 * len - 1, n - 1)，其中 n 是总长。漏掉 std::min 就越界；写成 left + 2 * len（右开）又和前面逻辑不一致。
- 外层循环条件是
for (int len = 1; len ，不是 <code>len ，否则最后一次 <code>len == n会白跑 - 内层
for (int left = 0; left ，注意是 <code>n - 1，不是n，因为至少要留两个元素才能合并 - 合并函数参数保持和递归版一致（
left,mid,right），别为了图省事硬塞进一个循环里改逻辑
实际写的时候，最常被忽略的是：归并排序的「稳定」特性依赖于合并时对相等元素的处理顺序，以及临时数组拷贝回原位置的起始偏移是否严格对应——这两点一错，排序结果看似有序，实则破坏了稳定性的契约。