关于算法:Javascript Array.sort实现?

Javascript Array.sort implementation?

javascript Array#sort()函数使用哪种算法?我知道,执行不同种类的排序需要各种各样的参数和函数,我只是对普通排序使用的算法感兴趣。


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

数值数组(或原始类型数组)使用C++标准库函数EDCOX1(0)来排序,它实现了QueQuin排序(通常是内向排序)的一些变化。

如果可用(为了获得稳定的排序),非数字类型的连续数组将使用merge sort进行字符串化和排序;如果没有可用的合并排序,则使用qsort

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

还有像这样的宝石评论:

1
2
// 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指出了原始答案中的错误。)


如果您看到这个bug 224128,那么看起来MergeSort正被Mozilla使用。


JS没有使用特定排序算法的草稿要求。正如许多人在这里提到的,Mozilla使用合并排序,但是在Chrome的V8源代码中,到今天为止,它使用QuickSort和InsertionSort来处理较小的数组。

V8发动机源

从807-891线

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
  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。来源


ECMAScript标准没有指定使用哪种排序算法。实际上,不同的浏览器具有不同的排序算法。例如,在对地图进行排序时,mozilla/firefox的sort()不稳定(在单词的排序意义上)。ie的sort()是稳定的。


经过进一步研究,对于mozilla/firefox,array.sort()使用mergesort。请参见此处的代码。


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

每种浏览器类型都有它自己的JavaScript引擎实现,所以这取决于。您可以检查mozilla的sourcecode repos和webkit/khtml的不同实现。

但是IE是封闭源代码的,所以你可能需要问微软的人。


从V8V7.0/Chrome70开始,V8使用了Timsort(Python的排序算法)。Chrome70于2018年9月13日发布。

有关此更改的详细信息,请参阅V8开发人员博客上的文章。您还可以读取源代码或补丁1186801。