本文详解 JavaScript 中快速排序递归实现时因未跳过基准元素导致的无限递归问题，指出 for 循环应从索引 1 开始而非 0，并提供修复后的完整代码、调试建议与关键注意事项。
本文详解 javascript 中快速排序递归实现时因未跳过基准元素导致的无限递归问题，指出 `for` 循环应从索引 `1` 开始而非 `0`，并提供修复后的完整代码、调试建议与关键注意事项。
快速排序是一种经典的分治（Divide-and-Conquer）排序算法，其核心思想是：选取一个基准值（pivot），将数组划分为“小于基准”和“大于等于基准”的两部分，再递归地对这两部分排序。然而，一个看似微小的索引错误——在分区循环中未跳过已选为 pivot 的首元素——会导致逻辑错误，最终引发无限递归和栈溢出（RangeError: Maximum call stack size exceeded）。
问题根源在于原始代码中的 for 循环：
for (let i = 0; i < arr.length; i++) { // ❌ 错误：i 从 0 开始
if (arr[i] < pivot) {
smallerThanPivot.push(arr[i]);
} else {
highterThanPivot.push(arr[i]); // ⚠️ arr[0]（即 pivot）被重复加入！
}
}由于 pivot = arr[0]，当 i = 0 时，arr[0] >= pivot 恒成立（相等），因此 pivot 会被无条件推入 highterThanPivot。结果是：每次递归调用 quickSort(highterThanPivot) 时，新子数组仍包含原 pivot（甚至可能包含多个重复 pivot），且长度未严格减小——最坏情况下子数组长度始终为 n，导致递归永不满足 arr.length
✅ 正确做法是：从索引 1 开始遍历，跳过已作为 pivot 的首个元素：
立即学习“Java免费学习笔记（深入）”；
const quickSort = function (arr) {
if (arr.length < 2) {
return arr; // 基础情况：空数组或单元素数组直接返回
}
const pivot = arr[0];
const smallerThanPivot = [];
const higherThanPivot = []; // 修正拼写：highter → higher
for (let i = 1; i < arr.length; i++) { // ✅ 关键修复：i 从 1 开始
if (arr[i] < pivot) {
smallerThanPivot.push(arr[i]);
} else {
higherThanPivot.push(arr[i]);
}
}
return [
...quickSort(smallerThanPivot),
pivot,
...quickSort(higherThanPivot)
];
};? 调试建议：初学递归时，强烈推荐在关键节点添加 console.log 辅助验证逻辑流，例如：
// 在循环前添加
console.log(`Sorting [${arr}], pivot = ${pivot}`);
// 在递归调用前添加
console.log(`→ Left: [${smallerThanPivot}], Right: [${higherThanPivot}]`);? 额外注意事项：
- 该实现为“Lomuto 分区方案”的简化版，时间复杂度平均为 O(n log n)，最坏（如已排序数组）为 O(n²)；
- 若需稳定性能，可考虑随机化 pivot（如 const pivotIndex = Math.floor(Math.random() * arr.length);）；
- 注意数组浅拷贝特性：此版本不修改原数组，但若处理大型数组，可考虑原地排序以节省内存；
- 拼写修正：highterThanPivot 应为 higherThanPivot，避免语义混淆。
掌握这一细节不仅解决了当前问题，更深化了对递归边界控制与分治逻辑严谨性的理解——真正的算法健壮性，往往藏于一行索引的取舍之间。
