今天我們通過分析在 V8 引擎中是如何提升我們代碼的性能的率拒。今天先談常見的元素種類
運(yùn)行 JavaScript 代碼時(shí)小压,V8 會(huì)跟蹤每個(gè)數(shù)組所包含的元素玉工。這些信息可以幫助 V8 優(yōu)化數(shù)組元素的操作丁逝。例如汁胆,當(dāng)您在數(shù)組上調(diào)用 reduce,map 或 forEach 時(shí)霜幼,V8 可以根據(jù)數(shù)組包含哪些元素來優(yōu)化這些操作嫩码。
在 JavaScript 代碼中,創(chuàng)建一個(gè)由數(shù)字類型的值組成的數(shù)組罪既,當(dāng)您在數(shù)組上調(diào)用 reduce铸题,map 或 forEach 時(shí),V8 可以根據(jù)數(shù)組包含哪些元素來優(yōu)化這些操作琢感。
在 JavaScript 我們可以為數(shù)組添加任意的數(shù)據(jù)類型的元素丢间。就這個(gè)數(shù)組來說,如果你使用 typeof 操作符檢查每個(gè)元素的類型驹针,javascript 會(huì)告訴你數(shù)組包含都是 numbers烘挫。在語言層面,JavaScript 不區(qū)分整數(shù)牌捷,浮點(diǎn)數(shù)和雙精度 - 只是數(shù)字墙牌。然而涡驮,在引擎級別,可以做出更精確的區(qū)分喜滨。
這個(gè)數(shù)組的元素是 PACKED_SMI_ELEMENTS捉捅。在 V8中,術(shù)語 Smi 是指用于存儲(chǔ)小整數(shù)的特定格式虽风。(后面我們會(huì)在 PACKED 部分中說明棒口。)
如果我們添加 4.56 到數(shù)組。
這時(shí)我們的元素的類型就需要升級為 PACKED DOUBLE ELEMENTS 請注意辜膝,雙精度浮點(diǎn)數(shù)是 Smi 的更為一般的變體无牵,而常規(guī)元素是雙精度浮點(diǎn)數(shù)之上的另一個(gè)概括〕Ф叮可以表示為 Smi 的數(shù)字集合是可以表示為 double 的數(shù)字的子集茎毁。
我們繼續(xù)向數(shù)組添加新的元素,這次是字符串 x 忱辅。元素類型也升級到 PACKED ELEMENT
值得注意的是七蜘,元素種類轉(zhuǎn)換只能從一個(gè)方向進(jìn)行:從特定的(如 PACKED_SMI_ELEMENTS)到更一般的(例如 PACKED_ELEMENTS)。例如墙懂,一旦數(shù)組被標(biāo)記為 PACKED_ELEMENTS橡卤,元素就不能回到 PACKED_DOUBLE_ELEMENTS。
我們表格形式表示上面我們創(chuàng)建的長度為 5 的數(shù)組损搬。
如果我們現(xiàn)在跳過一些位置碧库,對數(shù)組索引為 9 位置為 10 的進(jìn)行賦值,那么就在 5 - 8 位置上留下空位巧勤。
因?yàn)檫@些空位存在我們的元素類型就變?yōu)榱?HOLEY_ELEMENTS嵌灰。
在計(jì)算過程中可能我們需要獲取索引為 8 位子上的數(shù)值。
1. 首先檢查數(shù)組的索引是否大于 0 并且確保該索引沒有溢出踢关。
2. 調(diào)用該 array 的 hasOwnProperty 來檢查是否存儲(chǔ)值為 8 的屬性值伞鲫。
3. 如果在該 array 上無法找到屬性為 8 的值,我們都知道 javascript 是靠原型鏈來實(shí)現(xiàn)繼承的签舞,所以會(huì)繼續(xù)向上查找 Array.property 是否具有該屬性秕脓。
我們繼續(xù)向上追溯,因?yàn)?Array是源于也就是繼承于 Object 所以檢查 Object.prototype 是否與8 的屬性儒搭。
最后我們順著原型鏈向上查找吠架,發(fā)現(xiàn)沒有屬性 8 對應(yīng)的值,得出結(jié)論在 80 位置上沒有值 undefined搂鲫。對于有空位置這樣稀疏數(shù)值傍药,檢驗(yàn)是否存在的成本是高價(jià)的。我們再看檢查密集(packedArray) 這樣沒有空位置數(shù)據(jù)是我們無需過多的步驟就可以判斷是否存在值。
所以我們在開發(fā)時(shí)要避免有空位置的稀疏數(shù)組拐辽,取而代之盡量使用沒有空位置的密集數(shù)組拣挪。