Java中的作用域是js中比較重要的一部分,也是大多數(shù)面試中必考的內(nèi)容,我們有必要更加深入的了解下js中作用域。
看一個(gè)栗子
仔細(xì)閱讀以下Java代碼,你覺得運(yùn)行結(jié)果會(huì)是什么呢?是 1 還是2?
不是1,也不是2,答案卻是是undefined.
為什么會(huì)產(chǎn)生這個(gè)讓人意外的結(jié)果呢?我們得來看下js中的預(yù)解析。
Java預(yù)解析
Java在瀏覽器中運(yùn)行的過程分為兩個(gè)階段預(yù)解析階段 執(zhí)行階段,在Java引擎對Java代碼進(jìn)行執(zhí)行之前,需要進(jìn)行預(yù)先處理,然后再對處理后的代碼進(jìn)行執(zhí)行。
我們平時(shí)書寫的Java代碼并不是Java執(zhí)行的代碼(V8引擎讀取一行執(zhí)行一行這種理解是錯(cuò)誤的),它需要預(yù)解釋后,再由引擎進(jìn)行執(zhí)行.
具體的解釋過程涉及到瀏覽器內(nèi)核的技術(shù)不屬于前端領(lǐng)域,不過我們可以淺顯的理解一下V8在處理Java的一般過程:
以上例中的var a = 2;為例,我們一般人的理解為聲明了一個(gè)值為2的變量a,但是在Java引擎處理時(shí)卻分為了兩個(gè)步驟:
1. 讀取var a后,在當(dāng)前作用域中查找是否有相同聲明,如果沒有就在當(dāng)前作用域集合中創(chuàng)建一個(gè)名為a的變量,否則忽略此聲明繼續(xù)進(jìn)行解析.
2. 接下來,V8引擎會(huì)處理a = 2的賦值操作,首先會(huì)詢問當(dāng)前作用域中是否有名為a的變量,如果有進(jìn)行賦值,否則繼續(xù)向上級作用域詢問.
Java執(zhí)行環(huán)境
我們上面提到的所謂java預(yù)解釋正是創(chuàng)建函數(shù)的執(zhí)行環(huán)境(又稱“執(zhí)行上下文”),只有搞定了java的執(zhí)行環(huán)境我們才能搞清楚一段代碼在執(zhí)行過后為什么產(chǎn)生這樣的結(jié)果。
我們用一段偽代碼表示創(chuàng)立的執(zhí)行環(huán)境
作用域鏈(scopeChain)包括下面提到的變量對象(variableObject)和所有父級執(zhí)行上下文中的變量對象.
變量對象(variableObject)是與執(zhí)行上下文相關(guān)的數(shù)據(jù)作用域,一個(gè)與上下文相關(guān)的特殊對象,其中存儲(chǔ)了在上下文中定義的變量和函數(shù)聲明:
· 變量
· 函數(shù)聲明
· 函數(shù)的形參
在有了這些基板概念之后我們可以梳理一下js引擎創(chuàng)建執(zhí)行的過程:
· 創(chuàng)建階段
· 創(chuàng)建Scope chain
· 創(chuàng)建variableObject
· 設(shè)置this
· 執(zhí)行階段
· 變量的值、函數(shù)的引用
· 執(zhí)行代碼
而變量對象的創(chuàng)建細(xì)節(jié)如下:
· 根據(jù)函數(shù)的參數(shù),創(chuàng)建并初始化arguments object
· 掃描函數(shù)內(nèi)部代碼,查找函數(shù)聲明(Function declaration)
· 對于所有找到的函數(shù)聲明,將函數(shù)名和函數(shù)引用存入變量對象中
· 如果變量對象中已經(jīng)有同名的函數(shù),那么就進(jìn)行覆蓋
· 掃描函數(shù)內(nèi)部代碼,查找變量聲明(Variable declaration)
· 對于所有找到的變量聲明,將變量名存入變量對象中,并初始化為"undefined"
· 如果變量名稱跟已經(jīng)聲明的形式參數(shù)或函數(shù)相同,則變量聲明不會(huì)干擾已經(jīng)存在的這類屬性
變量提升
正是由于以上的處理,產(chǎn)生了大家熟知的Java中的變量提升,具體以上代碼的執(zhí)行過程如以下偽代碼所示:
我們可以明顯看到,a變量在預(yù)解釋階段已經(jīng)被賦值undefined,在執(zhí)行階段js是自上而下單線執(zhí)行,當(dāng)console.log(a)執(zhí)行之時(shí),a=2還沒有被執(zhí)行,a變量的值便是預(yù)處理階段被賦予的undefined,
函數(shù)聲明與函數(shù)表達(dá)式
我們看到,在編譯器處理階段,除了被var聲明的變量會(huì)有變量提升這一特性之外,函數(shù)也會(huì)產(chǎn)生這一特性,但是函數(shù)聲明與函數(shù)表達(dá)式兩種范式創(chuàng)建的函數(shù)卻表現(xiàn)出不同的結(jié)果.
我們先看一個(gè)實(shí)例,運(yùn)行以下代碼
f成功被打印出來,而g函數(shù)出現(xiàn)了類型錯(cuò)誤,這是什么原因呢?
我們看到,在預(yù)解釋階段函數(shù)聲明的f是被指向了正確的函數(shù)得以執(zhí)行,而函數(shù)表達(dá)式g被賦予undefined,undefined無法被當(dāng)作函數(shù)執(zhí)行因此報(bào)錯(cuò)g is not a function.
沖突處理
通常情況下我們不會(huì)將同一變量變量重復(fù)聲明,但是出現(xiàn)了類似情況后,編譯器會(huì)如何處理這些沖突呢?
1. 變量之間沖突
執(zhí)行以下函數(shù):
結(jié)果顯而易見,后聲明變量值覆蓋前者的值
函數(shù)之間沖突
結(jié)果同變量沖突,后者覆蓋前者.
2. 函數(shù)與變量之間沖突
結(jié)果如下,函數(shù)聲明將覆蓋變量聲明
[Function: f]
ES6中的let
在ES6中出現(xiàn)了兩個(gè)最新的聲明語法let與const,我們以let為例,進(jìn)行測試看看與var的區(qū)別.
這段代碼直接報(bào)錯(cuò)顯示未定義,let與const擁有類似的特性,阻止了變量提升,當(dāng)代碼執(zhí)行到console.log(a)時(shí),執(zhí)行換將中a還從未被定義,因此產(chǎn)生了錯(cuò)誤.返回。