如何通過V8源碼看一個關(guān)于JS數(shù)組排序的詭異問題

這篇文章主要介紹了如何通過V8源碼看一個關(guān)于JS數(shù)組排序的詭異問題，具有一定借鑒價值，感興趣的朋友可以參考下，希望大家閱讀完這篇文章之后大有收獲，下面讓小編帶著大家一起了解一下。

原始數(shù)組如下：

var data = [
 {value: 4}, 
 {value: 2}, 
 {value: undefined}, 
 {value: undefined}, 
 {value: 1}, 
 {value: undefined}, 
 {value: undefined}, 
 {value: 7}, 
 {value: undefined}, 
 {value: 4}
];

data 是個數(shù)組，數(shù)組的每一項都是一個擁有 value 作為 key 的對象，值為數(shù)字或者 undefined。

data
 .sort((x, y) => x.value - y.value)
 .map(x => x.value);

對數(shù)組的 value 進(jìn)行排序，然后把排完序的數(shù)組進(jìn)行 flat 處理。得到的結(jié)果如下：

[2, 4, undefined, undefined, 1, undefined, undefined, 7, undefined, 4]

顯然這沒有達(dá)到我們的目的。

現(xiàn)在我們修改一下排序，挑戰(zhàn)一下函數(shù)的調(diào)用順序：先對數(shù)組進(jìn)行扁平化(flat)處理，然后再排序。

data
 .map(x => x.value)
 .sort((x, y) => x - y)

這時我們得到的結(jié)果和之前截然不同：

[1, 2, 4, 4, 7, undefined, undefined, undefined, undefined, undefined]

遇到這種情況第一感覺肯定是要去看看 ECMA 規(guī)范，萬一是 JS 引擎的 bug 呢。

在 ES6 規(guī)范 22.1.3.24 節(jié)寫道：

Calling comparefn(a,b) always returns the same value v when given a specific pair of values a and b as its two arguments. Furthermore, Type(v) is Number, and v is not NaN. Note that this implies that exactly one of a < b, a = b, and a > b will be true for a given pair of a and b.

簡單翻譯一下就是：第二個參數(shù) comparefn 返回一個數(shù)字，并且不是 NaN。一個注意事項是，對于參與比較的兩個數(shù) a 小于 b、a 等于 b、a 大于 b 這三種情況必須有一個為 true。

所以嚴(yán)格意義上來說，這段代碼是有 bug 的，因為比較的結(jié)果出現(xiàn)了 NaN。

在 MDN 文檔上還有一個細(xì)節(jié)：

如果 comparefn(a, b) 等于 0， a 和 b 的相對位置不變。備注：ECMAScript 標(biāo)準(zhǔn)并不保證這一行為，而且也不是所有瀏覽器都會遵守。

翻譯成編程術(shù)語就是：sort 排序算法是不穩(wěn)定排序。

其實我們最疑惑的問題上，上面兩行代碼為什么會輸出不同的結(jié)果。我們只能通過查看 V8 源碼去找答案了。

V8 對數(shù)組排序是這樣進(jìn)行的：

如果沒有定義 comparefn 參數(shù)，則生成一個（高能預(yù)警，有坑?。?/p>

comparefn = function (x, y) {
 if (x === y) return 0;
 if (%_IsSmi(x) && %_IsSmi(y)) {
 return %SmiLexicographicCompare(x, y);
 }
 x = TO_STRING(x); // <----- 坑
 y = TO_STRING(y); // <----- 坑
 if (x == y) return 0;
 else return x < y ? -1 : 1;
};

然后定義了一個插入排序算法：

function InsertionSort(a, from, to) {
 for (var i = from + 1; i < to; i++) {
 var element = a[i];
 for (var j = i - 1; j >= from; j--) {
  var tmp = a[j];
  var order = comparefn(tmp, element);
  if (order > 0) { // <---- 注意這里
  a[j + 1] = tmp;
  } else {
  break;
  }
 }
 a[j + 1] = element;
}

為什么是插入排序？V8 為了性能考慮，當(dāng)數(shù)組元素個數(shù)少于 10 個時，使用插入排序；大于 10 個時使用快速排序。

后面還定義了快速排序函數(shù)和其它幾個函數(shù)，我就不一一列出了。

函數(shù)都定義完成后，開始正式的排序操作：

// %RemoveArrayHoles returns -1 if fast removal is not supported.
var num_non_undefined = %RemoveArrayHoles(array, length);

if (num_non_undefined == -1) {
 // There were indexed accessors in the array.
 // Move array holes and undefineds to the end using a Javascript function
 // that is safe in the presence of accessors.
 num_non_undefined = SafeRemoveArrayHoles(array);
}

中間的注釋：Move array holes and undefineds to the end using a Javascript function。排序之前會把數(shù)組里面的 undefined 移動到最后。因此第二個排序算法會把 undefined 移動到最后，然后對剩余的數(shù)據(jù) [4,2,1,7,4] 進(jìn)行排序。

而在第一種寫法時，數(shù)組的每一項都是一個 Object，然后最 Object 調(diào)用 x.value - y.value 進(jìn)行計算，當(dāng) undefined 參與運算時比較的結(jié)果是 NaN。

當(dāng)返回 NaN 時 V8 怎么處理的呢？我前面標(biāo)注過，再貼一次：

var order = comparefn(tmp, element);
if (order > 0) { // <---- 這里
 a[j + 1] = tmp;
} else {
 break;
}

NaN > 0 為 false，執(zhí)行了 else 分支代碼。

思考題，以下代碼的結(jié)果：

[1, 23, 2, 3].sort()

感謝你能夠認(rèn)真閱讀完這篇文章，希望小編分享的“如何通過V8源碼看一個關(guān)于JS數(shù)組排序的詭異問題”這篇文章對大家有幫助，同時也希望大家多多支持億速云，關(guān)注億速云行業(yè)資訊頻道，更多相關(guān)知識等著你來學(xué)習(xí)!