JavaScript sort()比较函数的a、b参数顺序为何与预期相反？

你给出的测试代码如下：

const n = [2, 5, 100, 4]

n.sort((a, b) => {
 console.log(a, b)
 return a - b;
})

你观察到的首次比较输出5 2，是由JavaScript引擎的排序算法实现逻辑决定的，具体原因如下：

1. 规范层面的约定边界 #

ECMAScript 标准仅对Array.sort()的输出结果做了约束：

当自定义比较函数compare(a, b)返回值小于0时，a会排在b前面；返回值大于0时，b会排在a前面；返回值等于0时，a和b保持原有相对位置。

标准既没有强制要求sort必须使用某一种排序算法，也没有规定比较函数的两个参数a、b对应的数组元素位置顺序，引擎实现方可以根据性能需求自由选择参数传递逻辑。

2. V8引擎短数组排序的实现逻辑 #

Chrome、Edge、Node.js等环境使用的V8引擎，对长度小于22的短数组默认使用插入排序实现，插入排序的核心逻辑是：

• 将数组第一个元素视作初始已排序区间
• 从第二个元素开始，逐个取出作为待插入元素，从后往前和已排序区间的元素逐一比较，找到合适的插入位置

在V8的实现代码中，会把待插入的元素作为第一个参数a传入比较函数，把已排序区间的当前比较元素作为第二个参数b，对应你的示例：

• 第一次取索引1的元素5作为待插入元素，和已排序区间的索引0元素2比较，因此输出5 2
• 第二次取索引2的元素100作为待插入元素，和已排序区间的索引1元素5比较，输出100 5
• 第三次取索引3的元素4作为待插入元素，和已排序区间的索引2元素100比较，输出4 100
  完全匹配你观察到的控制台输出。

如果是Firefox使用的SpiderMonkey引擎，或者数组长度更长触发V8的Timsort逻辑时，你可能会观察到完全不同的参数顺序，这都是正常的实现差异。

3. 实际开发无需关注参数顺序 #

不管引擎如何选择参数传递顺序，只要你的比较函数返回值逻辑和排序需求匹配，最终的排序结果一定是正确的。升序排序固定返回a - b、降序排序固定返回b - a的写法，在所有符合ES规范的环境下都可以正常工作，不需要针对参数顺序做任何适配。

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