JavaScript Array#sort()
関数はどのアルゴリズムを使用しますか?私は、さまざまな種類のソートを実行するためにあらゆる種類の引数と関数を取ることができることを理解しています。私は単に、バニラソートが使用するアルゴリズムに興味があります。
このバグ 224128 を見ると、MergeSortがMozillaによって使用されているようです。
WebKit(Chrome、Safari…)をご覧になりました source 。配列のタイプに応じて、異なるソート方法が使用されます。
数値配列 (またはプリミティブ型の配列)は、C++標準ライブラリ関数 std::qsort
を使用してソートされます。これは、クイックソートのバリエーションを実装します(通常 introsort )。
非数値型の連続配列 は文字列化され、mergesortを使用して(安定したソートを取得するため)マージソートを使用してソートされます。マージソートが使用できない場合はqsort
.
他のタイプ(非連続配列、おそらく連想配列の場合)の場合、WebKitは selection sort (それらは "min" sort と呼ぶ)を使用するか、場合によってはソートします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に感謝します。)
JSが特定のソートアルゴリズムを使用するためのドラフト要件はありません。多くの人がここで言及したように、Mozillaはマージソートを使用しますが、Chromeのv8ソースコードでは、今日の時点で、より小さい配列にはQuickSortとInsertionSortを使用しています。
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;
}
}
};
Update2018年現在、V8はTimSortを使用しています。@ celwellに感謝します。 ソース
ECMAscript標準では、使用するソートアルゴリズムが指定されていません。実際、ブラウザごとに異なるソートアルゴリズムが採用されています。例えば、Mozilla/Firefoxのsort()は、マップをソートするときに stable (Wordのソートの意味で)ではありません。 IEのsort()は安定しています。
さらに調査したところ、Mozilla/Firefoxの場合、Array.sort()はmergesortを使用しているようです。コードを参照してください here 。
それはあなたが参照しているブラウザの実装に依存すると思います。
すべてのブラウザタイプには独自のJavaScriptエンジン実装があるため、依存します。異なる実装については、MozillaおよびWebkit/Khtmlのソースコードリポジトリを確認できます。
IEはクローズドソースですので、Microsoftの誰かに尋ねる必要があるかもしれません。
V8 v7.0/Chrome 70以降、V8はPythonのソートアルゴリズム TimSort を使用します。 Chrome 70は2018年9月13日にリリースされました。
この変更の詳細については、 V8 devブログの投稿 をご覧ください。 ソースコード または パッチ1186801 も読むことができます。
JavaScript Array.sort()関数には、配列要素のデータ型に基づいて最適なソートアルゴリズム(QuickSort、MergeSortなど)を選択する内部メカニズムがあります。