Open aszx87410 opened 5 years ago
感謝,寫得真的很棒,我才剛學程式碼兩個月,還是看得明白,淺顯易懂。 有個無聊的問題, var a = 10,你叫LHS,為什麼不是RHS, '=' 是right-associativity,好奇是怎麼會反過來叫
@FPNL 感謝稱讚
有關於你的問題,這個跟 right-associativity 沒有關係喔,right-associativity 指的是處理順序的問題,例如說 a = b = 5
,會先執行 b = 5
再執行 a = b
,這個叫做 right-associativity,而你也可以看出這跟我們所說的 RHS/LHS 是完全不同的東西。
上面有提過了,決定 LHS/RHS 的關鍵在於做什麼操作:
LHS:請幫我去查這個變數的位置在哪裡,因為我要對它賦值。 RHS:請幫我查詢這個變數的值是什麼,因為我要用這個值。
因為是要賦值,所以自然就是 LHS 了。
參考資料:https://developer.mozilla.org/zh-TW/docs/Web/JavaScript/Reference/Operators/Operator_Precedence
4. 你知道 let 跟 const 沒有 hoisting
5. 你知道第五點是錯的,其實有但只是表現形式不一樣
6. 你知道有關第六點,有個概念叫做 TDZ(Temporal Dead Zone)
這邊的 5 跟 6 寫錯囉! 應該是下面這樣吧
4. 你知道 let 跟 const 沒有 hoisting
5. 你知道 "第四點" 是錯的,其實有但只是表現形式不一樣
6. 你知道有關 "第五點" ,有個概念叫做 TDZ(Temporal Dead Zone)
@WarrenLo 對,已修正,感謝
7、8、9、10 都是之前不知道的,学习了
非常感谢。 正在学习hoisting的时候,看到了词法环境,又看到ECMA的规范,最终找到这篇文章,大幸
很棒!学习了,更加深入得理解了 hoisting 的含义
謝謝你寫這篇文章,收穫良多。
有個小疑惑,想請你解答:
你在「hoisting 到底是怎麼運作的?」寫道:當進入 EC 時,JS 會依序把東西放到 VO 裡面,其中函式宣告先於變數宣告。
但你在「JS 引擎的運作」的編譯處理宣告部分,又是逐行處理下來,導致變數宣告先於函式宣告。
請問為什麼會有這樣子的差別?
(雖然說結果不會不一樣,畢竟函式宣告的值可以覆蓋、變數宣告不能,所以哪個處理在前其實沒差)
@yeefun 沒有很理解你的問題,不太懂你說的『但你在「JS 引擎的運作」的編譯處理宣告部分,又是逐行處理下來,導致變數宣告先於函式宣告。』這邊的意思
可以舉個例子嗎?
@yeefun 沒有很理解你的問題,不太懂你說的『但你在「JS 引擎的運作」的編譯處理宣告部分,又是逐行處理下來,導致變數宣告先於函式宣告。』這邊的意思
可以舉個例子嗎?
JS 進入 EC 時,會依照以下順序把東西放到 VO:
而你在「JS 引擎的運作」舉了一個例子:
var foo = "bar"
var a = 1
function bar() {
foo = "inside bar"
var a = 2
c = 3
console.log(c)
console.log(d)
}
bar()
說引擎會這樣編譯:
Line 1:global scope,我要宣告一個變數叫做 foo
Line 2:global scope,我要宣告一個變數叫做 a
Line 3:global scope,我要宣告一個函式叫做 bar
Line 4:沒有任何變數宣告,不做事
Line 5:bar scope,我要宣告一個變數叫做 a
Line 6:沒有任何變數宣告,不做事
Line 7:沒有任何變數宣告,不做事
Line 8:沒有任何變數宣告,不做事
如果說函式宣告在前,那引擎應該先編譯 Line 3,再編譯 Line 1、Line 2?
@yeefun
喔喔我懂你意思了,我重新看一下原文,原文的確是有寫說:
For each VariableDeclaration or VariableDeclarationNoIn in the code,....
Semantically, this step must follow the creation of the FormalParameterList and FunctionDeclaration properties.
所以順序應該就是我寫的那樣沒錯,先參數再來 function 最後才是變數
那 JS 引擎實際上在編譯的時候是怎麼處理這段的呢? 有可能是:
但我不知道是哪一個XD 搞不好也有第三種可能 這要真的去看編譯器的 code 才能確定,以我的功力無法回答這題QQ
console.log(a) //[Function: a] var a function a(){}
這裡應該是會噴錯 而不是 印出 function a (?
@aNyMoRe0505
會印出 function a 喔
@aszx87410 謝謝你的回覆! 但是我有點不了解為什麼在 jsbin中卻會噴錯 https://jsbin.com/hoxejajetu/edit?js,console
@aNyMoRe0505 稍微研究了一下,jsbin 或是 codepen 這種東西,對於 js 都會做一些處理(但我也不知道實際上做了什麼處理),所以某些特定情況下跑出來的東西可能會跟想像中不一樣
@aszx87410 了解 感謝!這篇文章受益良多XD
@aszx87410 在 JS 引擎的運作
的 Line 10:bar()
應該是 Line 3:bar()
最近在 JS 方面受惠於您不少文章的啟發,十分感謝。
@NaturalBug 我重新看了一下,那邊應該是 Line10 沒錯,那邊是指最底下的 function call,而不是第三行的 function declaration 喔,感謝!
@aszx87410 你是對的,我再看過一次之後明白那個編排了,謝謝。
前言
2021-06-09 補充:
感謝讀者 blackr1234 留言,此文章為 2018 年 11 月發表,底下程式碼輸出結果大概是以 Node.js v8.17.0 為準,因此對於一些狀況的輸出可能會跟現在不太一樣。例如說存取宣告前的 let 變數,當初的結果為:
ReferenceError: a is not defined
,現在用 Node.js v14 的結果則是:ReferenceError: Cannot access 'a' before initialization
。這陣子我在忙一些教學相關的東西,稍微準備一些資料之後教了學生們 JavaScript 裡面的 hoisting,也就是「提升」這個觀念,例如說以下程式碼:
會輸出
undefined
而不是ReferenceError: a is not defined
,這種現象就叫做 Hoisting,變數的宣告被「提升」到最上面去了。如果你只想了解最基本的 hoisting,其實差不多就是這樣,但後來我還教了
let
跟const
相關的一些知識,不過前一天剛教學完,隔天就立刻看到相關的技術文章還發現自己教錯,因此特別花了一點時間打算好好理解 hoisting 這個東西。很多東西沒有深入研究的時候你都會覺得沒什麼,真的跳下去深入去看才會發現自己其實還有一大堆概念沒有搞懂。
有很多人都知道 hoisting,但是理解程度卻不盡相同,我列出了 10 個項目,如果有任何一點你剛好不知道的話,那恭喜,這篇文章應該可以為你帶來一些收穫。
你可能會問說:「我為什麼要知道的這麼深?有什麼用?」,其實我也覺得對 hoisting,只要知道基本的就行了。只要你有好好地宣告變數,就算不知道那些,對日常生活或是工作也不會有太大的影響。
可是假如你像我一樣,想要有朝一日在自己的履歷上面放上「精通 JavaScript」的話,那對這些東西就不能逃避。同時你如果對底層的這些細節愈熟悉,會碰到的問題就愈少,也愈能理解為什麼會有 hoisting 的出現,當你想要在技術這條路上走得更遠爬得更高時,我覺得這些細節是很重要的。
接下來,我們就一步步來看 hoisting 吧!
什麼是 hoisting?
在 JavaScript 裡面,如果你試圖去對一個還沒宣告的變數取值,會發生以下錯誤:
會回傳一個
a is not defined
的錯誤,因為你還沒宣告這個變數,所以 JavaScript 也找不到這變數在哪,自然就會拋出錯誤。可是如果你這樣子寫,神奇的事情發生了:
從以前學程式的時候我們就學到了一個觀念,「程式是一行一行跑的」,那既然是一行一行跑的,執行到第一行的時候不是還沒有宣告變數 a 嗎?那為什麼不是拋出
a is not defined
的錯誤,而是輸出了undefined
?這種現象就叫做 hoisting,提升,在第二行的
var a
因為某種原因被「提升」到了最上面,所以上面的程式碼你可以「想像」成這樣:我會特別強調「想像」,是因為程式碼的位置其實不會被移動,所以不要把提升想成是 JavaScript 引擎幫你把變數宣告都「移動」到最上面,這是有問題的。它背後的原理跟移動程式碼一點關係都沒有。
再來還有一點要特別注意,那就是只有變數的宣告會提升,賦值不會,看看以下範例你就懂了:
上面的程式碼你可以「想像」成這樣:
你可以把
var a = 5
這句話分成兩個步驟,第一個階段是宣告變數:var a
,第二個階段是賦值:a = 5
,只有前面的變數宣告會被提升,賦值不會。到這邊你可能覺得還行,只是頭腦有一點點混亂,那恭喜你,等一下還有更多東西會讓你更亂,讓我們再把幾個東西加進來,看看能夠搞得多複雜。
如果我們像下面這樣做,會輸出什麼?
簡單嘛,根據剛剛學過的,把上面的程式碼變換成以下形式:
答案是
undefined
!輕輕鬆鬆。可是瑞凡,答案是
10
而不是undefined
。其實變換的過程對了,只是遺漏了一個因素:傳進來的參數。把這個因素加進去以後,可以看成是這樣:
這時候你可能還是會問:「可是我在 log 以前不是重新宣告了一次變數並且沒有給值嗎?那它不是會被覆蓋成
undefiend
嗎?」我們再來看一個簡單的小例子:
答案會是
5
而不是undefined
,想理解這個行為,你可以再回想一下前面把一個句子分成兩塊,宣告跟賦值,如果我們這樣切分再加上 hoisting 的話,其實上面程式碼可以想像成這樣:這樣你就知道為什麼答案是 5 了。
此時的你應該覺得頭腦有點快爆炸了,為什麼這麼多規則要記?別擔心,我們還有最後一個例子,保證讓你叫苦連天。
除了變數宣告以外,function 的宣告也會提升而且優先權比較高,因此上面的程式碼會輸出
function
而不是undefined
。好,基本的 hoisting 概念就到這邊結束了,幫你畫一下重點:
別急,還有 ES6 新增的 let 跟 const 沒有講。
let 跟 const 與 hoisting
在 ES6 裡面我們有了新的兩個宣告變數的關鍵字,let 與 const,這兩個對 hoisting 的行為是差不多的,因此我下面只拿 let 來舉例,可以看一下以下程式碼:
謝天謝地,終於沒有那麼多規則要記了!
從以上程式碼看起來,let 與 const 應該是沒有變數提升吧,否則就不會拋出這個 Error 了。
我之前也是很天真這樣想的,直到我看到以下範例:
如果 let 真的沒有 hoisting 的話,答案應該會輸出
10
,因為 log 那一行會存取到外面的var a = 10
的這個變數,可是!!!答案卻是:
ReferenceError: a is not defined
。意思就是,它的確提升了,只是提升後的行為跟 var 比較不一樣,所以乍看之下你會以為它沒有提升。
這個觀念我們會在之後詳細講解,但在這之前我們先做個簡單的總結。
有很多提到 hoisting 的文章,講到這邊就差不多了,就大概講一些 hoisting 的行為以及 let 與 const 的不同之處,但我覺得只講到這裡其實是很可惜的一件事情。
因為如果你只理解到這個程度,就會以為 hoisting 不過就是一大堆複雜的規則要記,根本沒什麼,誰能夠記這麼多規則?不就是背書而已嗎?
這是因為上面那些只讓你理解了「表面」,舉出幾個不同的例子跟你說會有這樣的行為發生,可是卻沒有跟你說「為什麼會這樣」,或者是「實際上是怎麼運作的」,若是你想真正了解 hoisting 是什麼,必須要找出以下兩個問題的答案,一但找出了,保證你任督二脈直接被打通:
為什麼我們需要 hoisting?
在問這樣的一個問題時,其實你可以反過來想:「如果我們沒有 hoisting 會怎樣?」
第一,我們一定要先宣告變數才可以使用。
這點其實很不錯,畢竟這是一個好習慣。
第二,我們一定要先宣告函式才可以使用。
這一點就不太好了,很不方便,如果是這樣的話那可能在每個檔案你都必須把 function 宣告放到最上面去,才能保證你底下的程式碼都可以 call 到這些 function。
第三,沒有辦法達成 function 互相呼叫。
舉個例子:
我們在
loop
裡面呼叫logEvenOrOdd
,在logEvenOrOdd
裡面也呼叫loop
,如果我們沒有 hoisting,那以上的程式碼就不可能達成,因為你不可能同時做到 A 在 B 上面而 B 又在 A 上面。所以為什麼我們需要 hoisting?就是為了要解決上面的問題。
為了增添這一個說法的正確性,我引用一篇文章給大家看,在 Note 4. Two words about “hoisting”. 裡面有提到作者發了個 Twitter 問說 hoisting 的目的到底是什麼,然後 JavaScript 的作者有出來回應,以下是文章裡面附的原文跟回應:
如果想看完整對話截圖,可以看這篇文章:JavaScript系列文章:变量提升和函数提升,最下面有附。
hoisting 到底是怎麼運作的?
現在我們知道了什麼是 hoisting,知道了為什麼需要 hoisting,接著就是欠缺的最後一塊拼圖了:到底 hoisting 是怎麼運作的?
要回答這個問題,最好的方法就是去找 ECMAScript 的規格書來看,就像你今天想研究型別轉換的問題,解法一樣是去找規格書來看,理由很簡單,因為那些規則都清清楚楚寫在上面了。
ECMAScript 有很多版本,越後面的版本規格越多,所以為了方便起見,我們底下用 ES3 當作範例。
如果你看過 ES3 的規則,會發現用 hoisting 當關鍵字完全找不到東西,而與 hoisting 這現象有關的段落其實在第十章:Execution Contexts。
這邊先非常簡單介紹一下什麼是 Execution Contexts(以下簡稱 EC),每當你進入一個 function 的時候,就會產生一個 EC,裡面儲存跟這個 function 有關的一些資訊,並且把這個 EC 放到 stack 裡面,當 function 執行完以後,就會把 EC 給 pop 出來。
示意圖大概就像這樣,要記得除了 function 有 EC 以外,還有一個 global EC:
(來源:https://medium.freecodecamp.org/lets-learn-javascript-closures-66feb44f6a44)
簡而言之呢,所有 function 需要的資訊都會存在 EC,也就是執行環境裡面,你要什麼都去那邊拿就對了。
ECMAScript 是這樣描述的:
再來就是重點了,在
10.1.3 Variable Instantiation
的地方是這樣寫的:每個 EC 都會有相對應的 variable object(以下簡稱 VO),在裡面宣告的變數跟函式都會被加進 VO 裡面,如果是 function,那參數也會被加到 VO 裡。
首先,你可以把 VO 想像成就是一個 JavaScript 的物件就好。
再來,VO 什麼時候會用到?你在存取值的時候會用到,例如說
var a = 10
這一句,之前有講過可以分成左右兩塊:var a
:去 VO 裡面新增一個屬性叫做 a(如果沒有 a 這個屬性的話)並初始化成 undefineda = 10
:先在 VO 裡面找到叫做 a 的屬性,找到之後設定為 10(這邊如果 VO 裡面找不到怎麼辦?它會透過 scope chain 不斷往上尋找,如果每一層都找不到就會拋出錯誤。至於尋找跟建立 scope chain 的過程雖然與本文有關但可以講得太多了,額外再開一篇會比較適合,這邊就先不提了)
接著來看下一段:
最精華的只有這一句:「On entering an execution context, the properties are bound to the variable object in the following order」,在進入 EC 的時候,會按照以下順序把東西放到 VO 裡面:
下面的段落有點長,我節錄一下:
簡單來說就是對於參數,它會直接被放到 VO 裡面去,如果有些參數沒有值的話,那它的值會被初始化成 undefined。
舉例來說,假設我 function 長這樣:
那我的 VO 就長這樣:
所以參數是第一個優先順序,再來我們看第二個:
對於 function 的宣告,一樣在 VO 裡面新增一個屬性,至於值的話就是建立 function 完之後回傳的東西(可以想成就是一個指向 function 的指標就好)。
再來是重點:「如果 VO 裡面已經有同名的屬性,就把它覆蓋掉」,舉個小例子:
VO 會長的像這樣,原本的參數
a
被覆蓋掉了:最後來看對於變數的宣告該怎麼處理:
對於變數,在 VO 裡面新增一個屬性並且把值設為 undefined,再來是重點:「如果 VO 已經有這個屬性的話,值不會被改變」
來重新整理一下,當我們在進入一個 EC 的時候(你可以把它想成就是在執行 function 後,但還沒開始跑 function 內部的程式碼以前),會按照順序做以下三件事:
在你看完規格並且稍微理解以後,你就可以用這個理論來解釋我們前面看過的程式碼了:
每個 function 你都可以想成其實執行有兩個階段,第一個階段是進入 EC,第二個階段才是真的一行行執行程式。
在進入 EC 的時候開始建立 VO,因為有傳參數進去,所以先把 v 放到 VO 並且值設定為 10,再來對於裡面的變數宣告,VO 裡面已經有 v 這個屬性了,所以忽略不管,因此 VO 就長這樣子:
進入 EC 接著建立完 VO 以後,才開始一行行執行,這也是為什麼你在第二行時會印出 10 的緣故,因為在那個時間點 VO 裡面的 v 的確就是 10 沒錯。
如果你把程式碼換成這樣:
那第二個印出的 log 就會是 3,因為執行完第三行以後, VO 裡面的值被換成 3 了。
以上就是 ES3 的規格書裡面提到的執行流程,你只要記得這個執行流程,碰到任何關於 hoisting 的題目都不用怕,你按照規格書的方法去跑絕對沒錯。
當我知道了這一段執行流程以後,第一個感想是豁然開朗,覺得 hoisting 不再是什麼神秘的東西,你只要假裝自己是 JS 引擎,跟著跑就好。第二個感想是,JS 到底怎麼做到的?
編譯與直譯:JS 引擎到底怎麼運作的?
還記得我上面的時候有提過,以前學程式的時候一直有個概念,那就是「直譯」代表程式是一行行跑的,而 JS 作為一個直譯的語言,不是也該一行行跑嗎?
可是如果真的一行行跑,那怎麼可能達成 hoisting 這個功能?你在執行第 n 行的時候根本不知道 n + 1 行是什麼,想提升是不可能的。
針對這個疑惑我上網找了很久的資料,最後找到一篇的說法我覺得滿合理的:虚拟机随谈(一):解释器,树遍历解释器,基于栈与基于寄存器,大杂烩。
裡面提到了幾點我覺得寫得非常不錯,有破除了我滿多以前的迷思:
第一,語言一般只會定義抽象語義,不會強制用某種方式實現,像是 C 我們會說它是編譯型語言,可是 C 也有直譯器。所以當我們在說某種程式語言是直譯或編譯型的時候,其實是在指涉「大多數」而不是全部。
換言之,我們說 JavaScript 是直譯型語言,不代表 JavaScript 不能有編譯器,反之亦然。
第二,直譯器跟編譯器最大的差別在於「執行」。
編譯這個步驟就是把原始碼 A 編譯為目的碼 B,就這樣而已,但你要保證 A 跟 B 執行完的結果要相同。
而直譯就是你輸入原始碼 A,輸出就直接是你程式碼裡面要執行的語義,裡面怎麼做的是一個黑箱子。
原文裡面有一張圖畫得很不錯:
所以直譯器裡面也能有編譯,這是不衝突的,或是你也可以寫一個超簡單直譯器,就是你輸入原始碼以後幫你編譯完然後執行。
事實上很多種直譯器內部的運作方式都是先把原始碼編譯成某種中間碼再去執行,所以編譯這個步驟還是很常見的,而 JS 也是這樣運作的。
當你拋開以前那種「JS 就是要一行行執行」的舊觀念並擁抱「其實主流 JS 引擎都有編譯這個步驟」的想法後,你就不會覺得 hoisting 是無法達成的事情了。
前面我們已經有看規格,知道在 ES3 裡面的運行模式並且知道 VO 這個東西,但規格裡面描述的也只是抽象的東西,它並沒有寫說「實際上」是在哪個地方做處理的,而這地方其實就是編譯階段。
話說關於這個編譯直譯的問題其實我卡滿久的,因為以前觀念不正確的地方很多,現在慢慢把它修正過來,而對於 hoisting 其實我之前有點分不清楚規格跟實作的差別,後來還跑去問了You-Dont-Know-JS 的作者,也很幸運地得到回覆,有興趣的人可以看看:https://github.com/getify/You-Dont-Know-JS/issues/1375。
JS 引擎的運作
如同我上面所說的,其實現在主流 JS 引擎內部都會有編譯這個階段,而 hoisting 其實就是在編譯這個階段做處理的。引入了編譯階段以後,可以把 JS 分成編譯階段跟執行階段兩個步驟。
在編譯階段的時候,會處理好所有的變數及函式宣告並且加入到 scope 裡面,在執行的時候就一樣可以去使用它。詳細情形這一篇寫得很好:Hoisting in JavaScript ,我下面就直接改一下裡面的程式碼當做例子。
舉例來說,我有這樣一段程式碼:
在編譯階段的時候會處理宣告的部分,所以會是這樣:
處理完後的東西差不多就長這樣:
再來進入到執行階段,這邊有兩個專有名詞先記一下,在介紹之前我先給一個範例會比較好理解:
上面這兩行有個差異,第一行的時候我們只需要知道「a 的記憶體位置在哪裡」就好,我們不關心它的值是什麼。
而第二行則是「我們只關心它的值是什麼,把值給我就好」,所以儘管兩行裡面都有
a
,但你可以看出來他們所要做的事情是不一樣的。而第一行的 a 我們叫它 LHS(Left hand side)引用,第二行叫它 RHS(Right hand side)引用,這邊的 left 跟 right 指的是相對於等號的左右邊,但用這種方式理解的話其實不夠精確,因此像下面這樣記就好:
LHS:請幫我去查這個變數的位置在哪裡,因為我要對它賦值。
RHS:請幫我查詢這個變數的值是什麼,因為我要用這個值。
有了這個概念以後,再看一次上面的範例程式碼,就可以一步一步來解釋:
Line 1:var foo = "bar"
JS 引擎:global scope,我這裡有個對 foo 的 LHS 引用,你有看過它嗎?
執行結果:scope 說有,所以成功找到 foo 並且賦值
這時候的 global scope:
Line 2:var a = 1
JS 引擎:global scope,我這裡有個對 a 的 LHS 引用,你有看過它嗎? 執行結果:scope 說有,所以成功找到 a 並且賦值
這時候的 global scope:
Line 10:bar()
JS 引擎:global scope,我這裡有個對 bar 的 RHS 引用,你有看過它嗎?
執行結果:scope 說有,所以成功返回 bar 的值並且呼叫 function
Line 4:foo = "inside bar"
JS 引擎:bar scope,我這裡有個對 foo 的 LHS 引用,你有看過它嗎?
執行結果:bar scope 說沒有,所以去問上一層的 global scope
JS 引擎:global scope,我這裡有個對 foo 的 LHS 引用,你有看過它嗎?
執行結果:有,所以成功找到 foo 並且賦值
這時候的 global scope:
Line 5:var a = 2
JS 引擎:bar scope,我這裡有個對 a 的 LHS 引用,你有看過它嗎?
執行結果:bar scope 說有,所以成功找到 a 並且賦值
此時的 bar scope:
Line 6:c = 3
JS 引擎:bar scope,我這裡有個對 c 的 LHS 引用,你有看過它嗎?
執行結果:bar scope 說沒有,所以去問上一層的 global scope
JS 引擎:global scope,我這裡有個對 c 的 LHS 引用,你有看過它嗎?
執行結果:沒有。
這時候有幾種結果,如果你是處在嚴格模式底下(use strict),會返回
ReferenceError: c is not defined
錯誤,如果你不是在嚴格模式,那 global scope 就會把 c 加上去並且設定成 3,這邊先假設我們不是在嚴格模式。此時的 global scope:
Line 7:console.log(c)
JS 引擎:bar scope,我這裡有個對 c 的 RHS 引用,你有看過它嗎?
執行結果:bar scope 說沒有,所以去問上一層的 global scope
JS 引擎:global scope,我這裡有個對 c 的 RHS 引用,你有看過它嗎?
執行結果:global scope 說有,所以成功返回 c 的值並且呼叫 console.log
Line 8:console.log(d)
JS 引擎:bar scope,我這裡有個對 d 的 RHS 引用,你有看過它嗎?
執行結果:bar scope 說沒有,所以去問上一層的 global scope
JS 引擎:global scope,我這裡有個對 d 的 RHS 引用,你有看過它嗎?
執行結果:global scope 說沒有,所以返回錯誤
ReferenceError: d is not defined
以上就是 JS 引擎的運作流程,想更詳細了解的話可參考:You Don't Know JS: Scope & Closures、Chapter 4: Hoisting、Hoisting in JavaScript。
中場總結
再次回顧一下我們開場放的那十個項目:
我們用了許多篇幅把其中的七點都講完了,剩下的是:
關於 ES6 的規格那點我不打算詳細講(而且我也還沒詳細看完),因為變化還滿多的但基本上原理不變,就是多了一些專有名詞而已,想知道的可以參考這篇經典好文:ECMA-262-5 in detail. Chapter 3.2. Lexical environments: ECMAScript implementation.。
上面我們已經講了很多東西,所有跟 hoisting 有關的運作機制全部都講完了,但我相信依然需要一點時間吸收,但我相信吸收完以後你會覺得神清氣爽,想說 hoisting 不過如此而已。
接著呢,我們就要進入到這篇文章最後的部分了,也就是 TDZ 以及 V8。
Temporal Dead Zone
還記得我們說過 let 與 const 其實有 hoisting 嗎?並且舉了一個小範例來驗證這件事情。
let 與 const 確實有 hoisting,與 var 的差別在於提升之後,var 宣告的變數會被初始化為 undefined,而 let 與 const 的宣告不會被初始化為 undefined,而且如果你在「賦值之前」就存取它,就會拋出錯誤。
在「提升之後」以及「賦值之前」這段「期間」,如果你存取它就會拋出錯誤,而這段期間就稱做是 TDZ,它是一個為了解釋 let 與 const 的 hoisting 行為所提出的一個名詞。
我們用下面的程式碼當做例子:
當你在第八行執行以前試圖存取 c 的話,就會拋出錯誤。要注意的是 TDZ 並不是一個空間上的概念,而是時間,例如說以下程式碼:
在你進入 test 這個 function 的時候,就已經是 c 的 TDZ 了,所以當你執行 yo 並且執行到
console.log(c)
時,都還在 TDZ 裡面,要一直等到let c = 10
被執行 TDZ 才會結束。所以並不是說我把
console.log(c)
放在let c = 10
下面就沒問題了,而是在「執行順序」上要在後面。或是你也可以拋開這些名詞,用一句話總結:
Byte code 閱讀初體驗
上面既然談到了 JS 引擎,如果沒有談到 V8 那就有點可惜,在我研究 hoisting 的時候我一直很想知道一件事情:V8 編譯出來的程式碼到底長怎樣?
感謝 Understanding V8’s Bytecode 這一篇精彩的文章,可以讓我們試著用 node.js 把程式碼編譯成 byte code 並且試圖解讀。
在看之前先來介紹什麼是 byte code,它就是一種介於高階語言與機器碼中間的語言,沒有高階語言好懂可是卻比機器碼好懂許多,而執行起來的效率也比較高。
下面這張圖就是文章裡面附的,很清楚地解釋了之間的關係:
接著我們用這一個簡單的 function 當作範例,來看編譯過後會長怎樣:
雖然只有一個 function,但是用 node.js 跑還是會出現一大堆東西,所以我們把結果先放到檔案裡面:
node --print-bytecode test.js > byte_code.txt
編譯出來的結果長這樣:
我們把前面一些資訊清空並加上註解,好讓大家知道上面程式碼是什麼意思(我其實也沒有真的很懂,這方面資料好像滿少的,如果有錯請糾正):
再來我們把順序顛倒,變成這樣:
來看看輸出的 byte code 會變什麼樣子,看解釋之前你可以先對照一下上面的,看看差別在哪:
其實只是順序調換了一下,在輸出的地方直接 log 了 r0,這邊我不確定的是 r0 原本就是 undefined,還是在其他地方被初始化成 undefined。
再來我們看看如果試圖印出一個未宣告的變數會發生什麼事:
因為大部分程式碼都跟前面重複我就不再註解了:
整段的重點只有
LdaGlobal
那行,看起來應該是去載入 b 的值,在執行的時候應該也就是這行出錯,因為在 global 裡面找不到 b。看完了基本的之後,我們來看看 let 會編譯成什麼樣子:
編譯後的結果:
你會看到多了一個神秘的東西叫做 hole,這個其實就是我們所說的 TDZ,所以才會有 ThrowReferenceErrorIfHole 那一行,就代表說在 TDZ 結束之前我們如果試圖去存取這個 hole 的值都會拋出錯誤。
至此,也解釋了 TDZ 實際上在編譯階段是如何運作的,就是透過 hole 這個特別的東西。
總結
最近開始補齊自己對 JavaScript 的一些基礎知識,不補還好,一補下去發現自己懂的東西比自己想像中還少,我要先感謝兩篇文章:解读ECMAScript[1]——执行环境、作用域及闭包、JS 作用域,這兩篇是我的啟蒙導師,如果沒看到這兩篇,大概也不會有這篇文章的出現。
JavaScript 常考的幾個點大家都耳熟能詳:this、prototype、clousre 跟 hoisting,而這幾個看似不相關的東西,其實只要你能理解 JavaScript 背後的運作模型,都能夠多少串得起來,成為一個完整的理論。
我在文中也有提到,上面講述執行環境的那段過程,其實補充得更完整以後就可以拿來解釋 clousre,就會發現很多東西其實都能融會貫通。日後有機會的話我會把個變成一系列,一一擊破 JavaScript 裡面那些你以為很難但其實沒有的概念。
寫這篇以前我大概醞釀了一個月,不斷找資料以後消化並且轉化為自己的理解,也很感謝上面那篇 JS 作用域的作者以及 YDKJS 的作者耐心解惑。
最後,也希望這篇文章對你們有幫助,有任何錯誤都可以跟我反映,感謝。
參考資料: