本文详解 javascript 实现快速排序时因未跳过基准元素（pivot）导致的无限递归原因，并提供正确、健壮的实现方案及调试技巧。
本文详解 javascript 实现快速排序时因未跳过基准元素（pivot）导致的无限递归原因，并提供正确、健壮的实现方案及调试技巧。
快速排序是一种经典的分治（Divide and Conquer）算法，其核心逻辑是：选取一个基准值（pivot），将数组划分为“小于 pivot”和“大于等于 pivot”的两部分，再递归排序这两部分。然而，初学者常因忽略一个关键细节而陷入无限递归——即在分区循环中未跳过 pivot 本身。
在你提供的代码中，问题出在 for 循环的起始索引：
for (let i = 0; i <p>由于 pivot = arr[0]，当 i = 0 时，arr[0] 会被无条件地加入 highterThanPivot（因为 arr[0] >= pivot 恒成立），导致 highterThanPivot 始终包含原始 pivot。下一次递归调用 quickSort(highterThanPivot) 时，新子数组的 arr[0] 仍是该 pivot，循环再次将其加入，如此反复——子数组长度不减反增（或至少不收敛），最终触发栈溢出（RangeError: Maximum call stack size exceeded）。</p><p>✅ 正确做法是：<strong>从索引 1 开始遍历</strong>，跳过已选作 pivot 的首元素：</p><pre class="brush:php;toolbar:false;">const quickSort = function (arr) {
// 基础情况：空数组或单元素数组直接返回
if (arr.length <p>? <strong>调试建议</strong>：如答案中所提，善用 console.log 是定位递归问题的利器。例如，在循环前添加：</p><div class="aritcle_card flexRow artxards">
<div class="artcardd flexRow">
<a class="aritcle_card_img" rel="nofollow" href="/xiazai/skill12835" title="JavaScript 测试模式"><img
src="https://img.php.cn/upload/skill/001/246/273/6adaf20cf0281539.jpg" alt="JavaScript 测试模式" onerror="this.onerror='';this.src='/static/lhimages/moren/morentu.png'" ></a>
<div class="aritcle_card_info flexColumn">
<a rel="nofollow" href="/xiazai/skill12835" title="JavaScript 测试模式" class="overflowclass">JavaScript 测试模式</a>
<p class="overflowclass">使用 Jest、Vitest 和 Testing Library 实施全面的测试策略，包括单元测试、集成测试和端到端测试，涵盖模拟、测试夹具和测试驱动开发。在编</p>
</div>
<a rel="nofollow" href="/xiazai/skill12835" title="JavaScript 测试模式" class="aritcle_card_btn flexRow flexcenter"><b></b><span>下载</span>
</a>
</div>
</div><pre class="brush:php;toolbar:false;">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”的细节，不仅解决了无限循环，更深化了对分治思想中“问题规模严格递减”这一前提的理解。
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
