本文详解 javascript 实现快速排序时因未跳过基准元素（pivot）导致的无限递归原因，并提供正确、健壮的实现方案及调试技巧。
本文详解 javascript 实现快速排序时因未跳过基准元素（pivot）导致的无限递归原因，并提供正确、健壮的实现方案及调试技巧。
快速排序是一种经典的分治（Divide and Conquer）算法，其核心逻辑是：选取一个基准值（pivot），将数组划分为“小于 pivot”和“大于等于 pivot”的两部分，再递归排序这两部分。然而，初学者常因忽略一个关键细节而陷入无限递归——即在分区循环中未跳过 pivot 本身。
在你提供的代码中，问题出在 for 循环的起始索引：
for (let i = 0; i < arr.length; i++) { // ❌ 错误：i 从 0 开始，arr[0] 就是 pivot！由于 pivot = arr[0]，当 i = 0 时，arr[0] 会被无条件地加入 highterThanPivot（因为 arr[0] >= pivot 恒成立），导致 highterThanPivot 始终包含原始 pivot。下一次递归调用 quickSort(highterThanPivot) 时，新子数组的 arr[0] 仍是该 pivot，循环再次将其加入，如此反复——子数组长度不减反增（或至少不收敛），最终触发栈溢出（RangeError: Maximum call stack size exceeded）。
✅ 正确做法是：从索引 1 开始遍历，跳过已选作 pivot 的首元素：
立即学习“Java免费学习笔记（深入）”；
const quickSort = function (arr) {
// 基础情况：空数组或单元素数组直接返回
if (arr.length < 2) {
return arr;
}
const pivot = arr[0];
const smallerThanPivot = [];
const greaterThanPivot = []; // 修正拼写：'highter' → 'greater'
// ✅ 正确：i 从 1 开始，排除 pivot 自身
for (let i = 1; i < arr.length; i++) {
if (arr[i] < pivot) {
smallerThanPivot.push(arr[i]);
} else {
greaterThanPivot.push(arr[i]); // 注意：此处包含 == pivot 的元素（稳定划分）
}
}
// 递归排序左右子数组，并合并：[左, pivot, 右]
return [
...quickSort(smallerThanPivot),
pivot,
...quickSort(greaterThanPivot)
];
};? 调试建议：如答案中所提，善用 console.log 是定位递归问题的利器。例如，在循环前添加：
console.log(`Sorting [${arr}] with pivot = ${pivot}`);
console.log(`→ smaller: [${smallerThanPivot}], greater: [${greaterThanPivot}]`);可清晰观察每层递归的输入与划分结果，快速识别是否出现重复 pivot 或子数组未缩小。
⚠️ 注意事项：
- 本实现将 === pivot 的元素全部归入 greaterThanPivot，若需更均衡的分区（尤其对重复元素多的数组），可额外创建 equalPivot 数组，或改用原地分区（in-place partitioning）提升空间效率；
- 时间复杂度平均为 O(n log n)，最坏（如已排序数组且总选首元素为 pivot）为 O(n²)；可通过随机选择 pivot 或三数取中法优化；
- 该版本为非原地排序，每次递归创建新数组，空间复杂度为 O(n log n)；生产环境推荐使用 Array.prototype.sort() 或实现原地版本。
掌握这一“跳过 pivot”的细节，不仅解决了无限循环，更深化了对分治思想中“问题规模严格递减”这一前提的理解。
