Javascript Array.sort 实现?

IT技术 javascript algorithm arrays sorting
2021-02-08 21:42:21

JavaScriptArray#sort()函数使用哪种算法我知道它可以采用各种参数和函数来执行不同种类的排序,我只是对普通排序使用的算法感兴趣。

6个回答

我刚刚查看了 WebKit(Chrome、Safari ...)源代码根据数组的类型,使用不同的排序方法:

数字数组(或原始类型的数组)使用 C++ 标准库函数进行排序,该函数std::qsort实现了快速排序的一些变体(通常是introsort)。

非数字类型的连续数组使用合并排序进行字符串化和排序,如果可用(以获得稳定排序)或qsort如果没有合并排序可用。

对于其他类型(非连续数组和关联数组),WebKit 使用选择排序(他们称之为“最小”排序),或者在某些情况下,它通过 AVL 树进行排序。不幸的是,这里的文档相当模糊,因此您必须跟踪代码路径才能实际查看使用哪种排序方法的类型。

然后有这样的评论宝石

// FIXME: Since we sort by string value, a fast algorithm might be to use a
// radix sort. That would be O(N) rather than O(N log N).

– 我们只希望真正“修复”这个问题的人比这篇评论的作者对渐近运行时有更好的理解,并意识到基数排序的运行时描述比简单的 O(N)稍微复杂一些。

(感谢 phsource 指出原始答案中的错误。)

如果您查看这个错误224128,就会发现 Mozilla 正在使用MergeSort

好吧,这也是错误的,因为它只说明了特定实现的算法。规范没有做出这样的声明,并且其他实现使用其他算法,因此这是非常具有误导性的。
2021-03-22 21:42:21

JS 没有草案要求使用特定的排序算法。正如许多人在这里提到的,Mozilla 使用合并排序。然而,在 Chrome 的 v8 源代码中,截至今天,它使用 QuickSort 和 InsertionSort,用于较小的数组。

V8引擎来源

来自第 807 - 891 行

  var QuickSort = function QuickSort(a, from, to) {
    var third_index = 0;
    while (true) {
      // Insertion sort is faster for short arrays.
      if (to - from <= 10) {
        InsertionSort(a, from, to);
        return;
      }
      if (to - from > 1000) {
        third_index = GetThirdIndex(a, from, to);
      } else {
        third_index = from + ((to - from) >> 1);
      }
      // Find a pivot as the median of first, last and middle element.
      var v0 = a[from];
      var v1 = a[to - 1];
      var v2 = a[third_index];
      var c01 = comparefn(v0, v1);
      if (c01 > 0) {
        // v1 < v0, so swap them.
        var tmp = v0;
        v0 = v1;
        v1 = tmp;
      } // v0 <= v1.
      var c02 = comparefn(v0, v2);
      if (c02 >= 0) {
        // v2 <= v0 <= v1.
        var tmp = v0;
        v0 = v2;
        v2 = v1;
        v1 = tmp;
      } else {
        // v0 <= v1 && v0 < v2
        var c12 = comparefn(v1, v2);
        if (c12 > 0) {
          // v0 <= v2 < v1
          var tmp = v1;
          v1 = v2;
          v2 = tmp;
        }
      }
      // v0 <= v1 <= v2
      a[from] = v0;
      a[to - 1] = v2;
      var pivot = v1;
      var low_end = from + 1;   // Upper bound of elements lower than pivot.
      var high_start = to - 1;  // Lower bound of elements greater than pivot.
      a[third_index] = a[low_end];
      a[low_end] = pivot;

      // From low_end to i are elements equal to pivot.
      // From i to high_start are elements that haven't been compared yet.
      partition: for (var i = low_end + 1; i < high_start; i++) {
        var element = a[i];
        var order = comparefn(element, pivot);
        if (order < 0) {
          a[i] = a[low_end];
          a[low_end] = element;
          low_end++;
        } else if (order > 0) {
          do {
            high_start--;
            if (high_start == i) break partition;
            var top_elem = a[high_start];
            order = comparefn(top_elem, pivot);
          } while (order > 0);
          a[i] = a[high_start];
          a[high_start] = element;
          if (order < 0) {
            element = a[i];
            a[i] = a[low_end];
            a[low_end] = element;
            low_end++;
          }
        }
      }
      if (to - high_start < low_end - from) {
        QuickSort(a, high_start, to);
        to = low_end;
      } else {
        QuickSort(a, from, low_end);
        from = high_start;
      }
    }
  };

更新 截至 2018 年,V8 使用 TimSort,感谢 @celwell。来源

2021-03-11 21:42:21

ECMAscript 标准没有指定使用哪种排序算法。事实上,不同的浏览器具有不同的排序算法。例如,Mozilla/Firefox 的 sort()在对地图进行排序时不稳定的(在这个词的排序意义上)。IE 的 sort() 是稳定的。

关键是排序算法是依赖于实现的。
2021-04-03 21:42:21
出于好奇,可以在这里找到 ECMAscript 标准:tc39.github.io/ecma262/#sec-array.prototype.sort
2021-04-03 21:42:21
更新:最近的 Firefox 有一个稳定的Array.sort; 看到这个问题
2021-04-09 21:42:21

我认为这取决于您所指的浏览器实现。

每个浏览器类型都有自己的 javascript 引擎实现,所以这取决于。您可以检查 Mozilla 和 Webkit/Khtml 的源代码存储库以了解不同的实现。

但是,IE 是封闭源代码,因此您可能需要询问 microsoft 的某个人。

不同的解释器可能会以不同的方式做事,因为它们要么有缺陷(即不是故意的),要么添加或删除功能。sort() 方法是 Core JavaScript 的标准部分,由浏览器想要遵循的标准定义。
2021-03-10 21:42:21
@JasonBunting 如果实现了函数按照规范中的定义执行它应该执行的操作,则浏览器开发人员可以根据需要自由地实现该函数:无论是冒泡还是快速排序。ECMA 规范没有定义要使用的排序算法。
2021-03-18 21:42:21