ECMA-262规范中Array.prototype.toSorted方法的稳定性问题分析

前言

在JavaScript语言规范ECMA-262的发展历程中，数组排序方法的稳定性一直是一个重要特性。本文将从技术角度分析Array.prototype.toSorted方法在规范中存在的稳定性定义缺失问题，以及这一问题的技术背景和解决方案。

排序稳定性的定义

排序算法的稳定性指的是：当两个元素在排序比较中被视为相等时，它们在排序结果中的相对位置是否保持与原始数组中的顺序一致。稳定排序算法会保留相等元素的原始顺序，而不稳定排序则可能改变它们的相对位置。

ECMAScript规范中的排序稳定性演进

在ECMAScript 2019(第10版)中，规范明确要求Array.prototype.sort方法必须实现为稳定排序。这一变更解决了长期以来不同JavaScript引擎实现排序稳定性不一致的问题。

规范中明确表述："The sort must be stable (that is, elements that compare equal must remain in their original order)"。这一要求不仅适用于普通数组的sort方法，也通过引用关系间接适用于TypedArray的sort方法。

toSorted方法引入后的规范缺口

ECMAScript 2023(第14版)引入了Array.prototype.toSorted方法，作为sort方法的一个非破坏性替代方案。与sort方法不同，toSorted不会修改原数组，而是返回一个新的已排序数组。

然而，在规范文本中，toSorted方法及其底层抽象操作SortIndexedProperties都没有明确提及排序稳定性的要求。这形成了一个规范缺口，可能导致理论上的实现不一致。

技术实现分析

从规范实现角度看，Array.prototype.sort和Array.prototype.toSorted都依赖于同一个底层抽象操作SortIndexedProperties。当前规范中，SortIndexedProperties仅要求：

1. 排序结果必须是原数组的一个排列
2. 对于任何严格有序的元素对，排序结果中必须保持相同的顺序

但缺少对相等元素顺序保持的明确要求，即稳定性保证。

问题影响与解决方案

虽然目前主流JavaScript引擎可能共享sort和toSorted的内部实现，从而在实践中都提供稳定排序，但从规范严谨性角度，这仍然是一个需要修复的问题。

合理的解决方案是将稳定性要求从Array.prototype.sort方法上移至SortIndexedProperties抽象操作中。这样所有依赖该操作的排序方法（包括sort和toSorted）都将自动继承稳定性保证，保持规范的一致性。

结论

ECMA-262规范中Array.prototype.toSorted方法的稳定性定义缺失是一个规范文本上的疏忽。通过将稳定性要求提升至底层抽象操作层面，可以确保所有排序相关方法的行为一致性，维护JavaScript语言的可靠性和可预测性。这一改进将体现在未来的规范更新中。