JavaScript 快速排序（Quicksort）实现中的无限循环问题解析-js教程-PHP中文网

JavaScript 快速排序（Quicksort）实现中的无限循环问题解析

本文详解 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 <p>由于 pivot = arr[0]，当 i = 0 时，arr[0] >= pivot 恒成立（相等），因此 pivot 会被无条件推入 highterThanPivot。结果是：每次递归调用 quickSort(highterThanPivot) 时，新子数组仍包含原 pivot（甚至可能包含多个重复 pivot），且长度未严格减小——最坏情况下子数组长度始终为 n，导致递归永不满足 arr.length </p><p>✅ 正确做法是：<strong>从索引 1 开始遍历</strong>，跳过已作为 pivot 的首个元素：</p><div class="aritcle_card flexRow artxards">
											<div class="artcardd flexRow">
												<a class="aritcle_card_img" rel="nofollow" href="/xiazai/skill5980" title="javascript-pro"><img
														src="https://img.php.cn/upload/skill/000/000/081/179074807567238.jpg" alt="javascript-pro" onerror="this.onerror='';this.src='/static/lhimages/moren/morentu.png'" ></a>
												<div class="aritcle_card_info flexColumn">
													<a rel="nofollow" href="/xiazai/skill5980" title="javascript-pro" class="overflowclass">javascript-pro</a>
													<p class="overflowclass">专注现代 ECMAScript、异步编程、性能优化和全栈的 JavaScript 专家，适用于现代开发</p>
												</div>
												<a rel="nofollow" href="/xiazai/skill5980" title="javascript-pro" class="aritcle_card_btn flexRow flexcenter"><b></b><span>下载</span>
												</a>
											</div>
										</div><pre class="brush:php;toolbar:false;">const quickSort = function (arr) {
  if (arr.length <p>? <strong>调试建议</strong>：初学递归时，强烈推荐在关键节点添加 console.log 辅助验证逻辑流，例如：</p><pre class="brush:php;toolbar:false;">// 在循环前添加
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，避免语义混淆。

掌握这一细节不仅解决了当前问题，更深化了对递归边界控制与分治逻辑严谨性的理解——真正的算法健壮性，往往藏于一行索引的取舍之间。