为什么JavaScript中Array.sort()使用Math.random()的排序效果与固定数字返回值不同？

先明确Array.sort()比较函数的运行规则 #

JS 引擎执行数组排序时，会通过传入的比较函数判断两个元素的先后排布顺序，标准规则为：

• 比较函数接收两个待比较元素作为入参，记为 a、b
• 返回值 < 0：a 排在 b 前面
• 返回值 > 0：b 排在 a 前面
• 返回值 = 0：两个元素的原有相对顺序保持不变

硬性要求：同一对元素在多次比较时，必须返回一致的结果，如果不满足这个要求，排序结果属于未定义行为，不同JS引擎、不同版本的实现可能给出差异极大的输出。

固定返回正值时数组不打乱的原因 #

你测试的代码中，比较函数永远返回固定的 0.2145467——这是一个恒定的正数值，整个返回过程完全不依赖两个待比较元素的实际值。
当前主流JS引擎的sort实现基于TimSort算法，算法遍历数组时会优先识别连续的天然有序块：当比较函数全程返回同一固定正值时，算法会直接判定当前数组不需要做任何顺序调整，全程不执行元素交换操作，最终输出和输入完全一致的原数组。

补充：如果比较函数返回恒定的负值，多数引擎会判定数组处于整体逆序状态，最终输出完全反转的数组顺序。两种情况的本质都是：恒定的返回值让排序算法能直接算出确定的最终顺序，不存在随机调整的空间。

随机返回0.5 - Math.random()能打乱数组的原理 #

这个写法本质上是故意违反比较函数的一致性要求：

• 每次调用比较函数时，Math.random() 会生成0到1之间的随机数，最终的返回值可能为正、也可能为负，没有固定规律
• 哪怕是同一对元素，前后两次比较得到的返回值都可能完全相反，排序算法的交换逻辑会被随机值不断干扰，最终输出一个顺序混乱的数组
• 这种打乱方式本身不符合规范要求，生成的随机顺序存在明显偏差，并不是真正均匀的随机排列，实际项目里更推荐用Fisher-Yates洗牌算法实现无偏打乱。

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