ES6包含了一個(gè)性能領(lǐng)域的特殊要求。這與一個(gè)涉及函數(shù)調(diào)用的特定優(yōu)化形式相關(guān)：即尾調(diào)用優(yōu)化（Tail Call Optimization，TCO）。簡(jiǎn)單地說(shuō)，尾調(diào)用就是一個(gè)出現(xiàn)在另一個(gè)函數(shù)“結(jié)尾”處的函數(shù)調(diào)用。這個(gè)調(diào)用結(jié)束之后就沒(méi)有其余事情要做了（除了可能要返回結(jié)果值）

什么尾調(diào)用

舉個(gè)例子，下面是一個(gè)非遞歸的尾調(diào)用：

function foo(x) {
 return x
}

// 尾調(diào)用
function bar(y) {
 return foo(y + 1)
}

// 非尾調(diào)用
function baz() {
 return 1 + bar(40)
}

baz()  // 輸出42

說(shuō)明： foo(y+1) 是 bar(...) 中的尾調(diào)用，因?yàn)樵?foo(...) 完成后， bar(...) 也完成了，并且只需要返回 foo(...) 調(diào)用的結(jié)果。然而， bar(40) 不是尾調(diào)用，因?yàn)樵谒瓿珊螅慕Y(jié)果需要加上1才能由 baz() 返回。

在JavaScript里，調(diào)用一個(gè)新的函數(shù)需要額外的一塊預(yù)留內(nèi)容來(lái)管理調(diào)用棧，成為棧幀。所以前面的代碼一般會(huì)同時(shí)需要為每個(gè) baz() 、 bar(...) 、 foo(...) 保留一個(gè)棧幀。

然而，如果支持TCO的引擎能夠意識(shí)到 foo(y+1) 調(diào)用位于尾部，這意味著 bar(...) 基本上已經(jīng)完成了，那么在調(diào)用 foo(...) 時(shí)，它就不需要?jiǎng)?chuàng)建一個(gè)新的幀棧，而是可以重用已有的 bar(...) 的幀棧。這樣不僅速度快，而且節(jié)省內(nèi)存。

什么是尾遞歸

在計(jì)算機(jī)科學(xué)里，尾調(diào)用是指一個(gè)函數(shù)里的最后一個(gè)動(dòng)作是一個(gè)函數(shù)調(diào)用的情形：即這個(gè)調(diào)用的返回值直接被當(dāng)前函數(shù)返回的情形。這種情形下稱(chēng)該調(diào)用位置為尾位置。若這個(gè)函數(shù)在尾位置調(diào)用本身（或是一個(gè)尾調(diào)用本身的其他函數(shù)等等），則稱(chēng)這種情況為尾遞歸，是遞歸的一種特殊情形。尾調(diào)用不一定是遞歸調(diào)用，但是尾遞歸特別有用，也比較容易實(shí)現(xiàn)。

TCO的意義

在程序運(yùn)行時(shí)，計(jì)算機(jī)會(huì)為應(yīng)用程序分配一定的內(nèi)存空間；應(yīng)用程序則會(huì)自行分配所獲得的內(nèi)存空間，其中一部分被用于記錄程序中正在調(diào)用的各個(gè)函數(shù)的運(yùn)行情況，這就是函數(shù)的調(diào)用棧。常規(guī)的函數(shù)調(diào)用總是會(huì)在調(diào)用棧最上層添加一個(gè)新的堆棧幀（stack frame，也翻譯為“棧幀”或簡(jiǎn)稱(chēng)為“幀”），這個(gè)過(guò)程被稱(chēng)作“入?！被颉皦簵！保ㄒ饧窗研碌膸瑝涸跅ｍ敚．?dāng)函數(shù)的調(diào)用層數(shù)非常多時(shí)，調(diào)用棧會(huì)消耗不少內(nèi)存，甚至?xí)伪瑑?nèi)存空間（棧溢出），造成程序嚴(yán)重卡頓或意外崩潰。尾調(diào)用的調(diào)用棧則特別易于優(yōu)化，從而可減少內(nèi)存空間的使用，也能提高運(yùn)行速度。其中，對(duì)尾遞歸情形的優(yōu)化效果最為明顯，尤其是遞歸算法非常復(fù)雜的情形。

在簡(jiǎn)單的代碼片段中，這類(lèi)優(yōu)化算不了什么，但是在處理遞歸時(shí)，這就解決了大問(wèn)題，特別是如果遞歸可能會(huì)導(dǎo)致成千上百個(gè)棧幀的時(shí)候。有了TCO，引擎可以用同一個(gè)棧幀執(zhí)行所有的這類(lèi)調(diào)用！

遞歸是 JavaScript 中一個(gè)紛繁復(fù)雜的主題。因?yàn)槿绻麤](méi)有TCO的話(huà)，引擎需要實(shí)現(xiàn)一個(gè)隨意的限制來(lái)界定遞歸棧的深度，達(dá)到了就得停止，以防止內(nèi)存耗盡。有了TCO，尾調(diào)用的遞歸函數(shù)本質(zhì)上就可以任意運(yùn)行，因?yàn)樵僖膊恍枰褂妙~外的內(nèi)存，也沒(méi)有了內(nèi)存溢出的問(wèn)題。

下面用尾遞歸實(shí)現(xiàn)一個(gè)典型的階乘函數(shù)：

// 用循環(huán)實(shí)現(xiàn)
function factorial(n) {
 if (n<2) return 1

 var res = 1
 for (var i = n; i > 1; i--) {
  res *= i
 }
 return res
}

// 用尾遞歸實(shí)現(xiàn)
function factorial(n) {
 function fact(n, res) {
  if (n < 2) return res 
  return fact(n-1, n*res)
 }
 return fact(n, 1)
}

factorial(5)  // 輸出120

注意：TCO只用于有實(shí)際的尾調(diào)用的情況，如果你寫(xiě)了一個(gè)沒(méi)有尾遞調(diào)用的函數(shù)，那么性能還是會(huì)回到普通幀棧分配的情形，引擎對(duì)這樣的遞歸調(diào)用棧的限制也仍然有效。

總結(jié)

一般來(lái)說(shuō)，尾調(diào)用消除是可選的，可以用，也可以不用。然而，在函數(shù)編程語(yǔ)言中，語(yǔ)言標(biāo)準(zhǔn)通常會(huì)要求編譯器或運(yùn)行平臺(tái)實(shí)現(xiàn)尾調(diào)用消除。這讓程序員可以用遞歸取代循環(huán)而不喪失性能。ES6之所以要求引擎實(shí)現(xiàn)TCO而不是將其留給引擎自由決定，一個(gè)原因是缺乏TCO會(huì)導(dǎo)致一些JavaScript算法因?yàn)楹ε抡{(diào)用棧限制而降低了通過(guò)遞歸實(shí)現(xiàn)的概率。

如果在所有的情況下引擎缺乏TCO只是降低了性能，那它就不會(huì)成為ES6所要求的東西。但是，由于缺乏TCO確實(shí)可以使一些程序變得無(wú)法實(shí)現(xiàn)，所以它就成為了一個(gè)重要的語(yǔ)言特性而不是隱藏的實(shí)現(xiàn)細(xì)節(jié)。ES6確保了JavaScript開(kāi)發(fā)者從現(xiàn)在開(kāi)始可以在所有符合ES6+的瀏覽器中依賴(lài)這個(gè)優(yōu)化。這對(duì)JavaScript性能來(lái)說(shuō)是一個(gè)勝利。

參考文獻(xiàn)

《你不知道的JavaScript-中卷》

到此這篇關(guān)于關(guān)于ES6尾調(diào)用優(yōu)化的使用的文章就介紹到這了,更多相關(guān)ES6尾調(diào)用優(yōu)化內(nèi)容請(qǐng)搜索腳本之家以前的文章或繼續(xù)瀏覽下面的相關(guān)文章希望大家以后多多支持腳本之家！

最新評(píng)論