关于JavaScript sort()算法原理及数组排序执行机制的技术问询

先明确比较函数的作用 #

你提到的比较函数(a, b) => a - b逻辑是准确的：

• 返回负数：a排在b前面
• 返回正数：b排在a前面
• 返回0：a和b的相对顺序保持不变（仅当排序算法支持稳定排序时生效）

你的模拟误区：sort不是只做一轮相邻比较 #

你模拟的是单轮相邻元素的比较交换，但这并不是sort()的实际执行逻辑——sort()会完整执行一套排序算法流程，不会只跑一轮就结束。所以对数组[0, 2, 1, 3, 1]调用一次sort((a,b)=>a-b)，直接就能得到完全有序的[0, 1, 1, 2, 3]，根本不需要手动多次调用。

JavaScript sort()的具体实现逻辑 #

JavaScript标准没有强制规定sort()必须使用哪种排序算法，具体实现由各浏览器的JavaScript引擎决定，主流引擎的实现规则如下：

• V8引擎（Chrome、Edge等）：
  • 当数组长度≤22时，使用插入排序：逐个将未排序元素插入到已排序序列的正确位置，会多次迭代比较，直到所有元素归位。
  • 当数组长度>22时，使用Timsort：这是结合了归并排序和插入排序的高效稳定排序算法，会将数组拆分为多个有序子序列，再合并这些子序列，全程自动完成多轮比较、合并操作，直到整个数组有序。
• SpiderMonkey引擎（Firefox）：使用归并排序（稳定排序）。
• JavaScriptCore引擎（Safari）：使用Timsort。

核心结论 #

1. sort()方法内部会根据数组长度选择对应的排序算法，自动完成多轮迭代、比较、交换/合并操作，直到数组完全有序，不需要用户手动循环调用。
2. 你模拟的单轮相邻比较只是排序算法中的一个微小环节，完整的排序流程会覆盖所有需要调整的元素位置，最终输出完全有序的数组。

内容的提问来源于stack exchange，提问作者user22362540