本文深入剖析 javascript 归并排序实现中的典型逻辑缺陷，重点修复合并阶段的循环条件错误及递归调用缺失问题，并提供可直接运行的完整、健壮代码示例。
本文深入剖析 javascript 归并排序实现中的典型逻辑缺陷，重点修复合并阶段的循环条件错误及递归调用缺失问题，并提供可直接运行的完整、健壮代码示例。
归并排序（Merge Sort）是一种经典的分治（Divide and Conquer）排序算法，其核心思想是：递归地将数组二分，直至子数组长度 ≤ 1（自然有序），再逐层合并两个已排序的子数组。然而，初学者在手动实现时极易忽略关键细节，导致算法无法正确排序——正如示例代码中所暴露的问题。
? 主要错误分析
原始代码存在两个根本性缺陷：
-
mergeTwoSortedArrays 中的错误循环条件
原写法：while (i < A.length && j < B.length && A[i] || B[j])
❌ 问题：A[i] || B[j] 是值判断而非索引有效性判断，当数组含 0 或 null 等 falsy 值时会提前终止循环（例如 A = [0, 2], B = [1, 3]，首次比较 A[0] || B[0] 即为 0 || 1 → 1 → true，看似正常；但若 A = [0], B = [5]，则 A[0] || B[0] 为 0 || 5 → 5 → true，仍无问题；真正危险在于——该条件完全冗余且语义错误，它不保证 i 和 j 在合法范围内访问元素，反而引入不可预测行为。正确做法仅需确保索引未越界：i
-
mergeSort 函数缺少递归调用
原代码直接对未排序的左右子数组 c 和 d 调用 mergeTwoSortedArrays：return this.mergeTwoSortedArrays(c, d); // ❌ c 和 d 未排序！
✅ 正确逻辑必须先递归排序左右两半，再合并：
立即学习“Java免费学习笔记（深入）”；
return this.mergeTwoSortedArrays( this.mergeSortFunction(c), this.mergeSortFunction(d) );
✅ 修正后的完整实现
以下为结构清晰、命名规范、可直接运行的归并排序模块：
const mergeSort = {
solve: function (A) {
// 防御性处理：避免修改原数组（可选）
return this.mergeSortFunction([...A]);
},
mergeTwoSortedArrays: function (A, B) {
let i = 0, j = 0, k = 0;
const C = [];
// 核心合并：仅依据索引边界判断，不依赖元素值真假性
while (i < A.length && j < B.length) {
if (A[i] <= B[j]) { // 使用 <= 保证稳定性（相等时优先取左）
C[k++] = A[i++];
} else {
C[k++] = B[j++];
}
}
// 处理剩余元素（必有一方已耗尽）
while (i < A.length) C[k++] = A[i++];
while (j < B.length) C[k++] = B[j++];
return C;
},
mergeSortFunction: function (a) {
const n = a.length;
if (n <= 1) return a; // 基础情况：单元素或空数组已有序
const mid = Math.floor(n / 2);
const left = a.slice(0, mid); // 更简洁的切片写法
const right = a.slice(mid); // 替代 Array.from + 映射
// 关键：递归排序左右子数组，再合并
return this.mergeTwoSortedArrays(
this.mergeSortFunction(left),
this.mergeSortFunction(right)
);
}
};
// ✅ 使用示例
const input = [38, 27, 43, 3, 9, 82, 10];
console.log("Original:", input);
console.log("Sorted: ", mergeSort.solve(input));
// 输出: [3, 9, 10, 27, 38, 43, 82]
// ? 边界测试：含重复值、零、负数
console.log(mergeSort.solve([0, -5, 2, 2, -1]));
// 输出: [-5, -1, 0, 2, 2]⚠️ 注意事项与最佳实践
- 稳定性保障：合并时使用
- 空间优化提示：当前实现每次合并都创建新数组，时间复杂度 O(n log n)，空间复杂度 O(n)。进阶可实现原地归并（难度高）或使用临时缓冲区减少内存分配。
- 避免原数组污染：solve 方法内部使用 [...A] 创建副本，确保函数纯度（不影响输入）。
- 切片优于手动构造：a.slice(0, mid) 比 Array.from({length: mid}, (_, i) => a[i]) 更简洁、高效且可读。
- 调试建议：对小规模输入（如 [2, 1]）逐步打印 left/right 及合并结果，验证分治流程是否符合预期。
归并排序的优雅之处正在于其清晰的逻辑分层——“分”得干净，“治”得准确。修复上述两个关键点后，你将获得一个鲁棒、可复用、符合算法本质的 JavaScript 归并排序实现。
