前言

JavaScript是解釋型語(yǔ)言是毋庸置疑的，但它是不是僅在運(yùn)行時(shí)自上往下一句一句地解析的呢？

事實(shí)上或某種現(xiàn)象證明并不是這樣的，通過(guò)《JavaScript權(quán)威指南》及網(wǎng)上相關(guān)資料了解到，JavaScript有“預(yù)解析”行為。理解這一特性是很重要的，不然在實(shí)際開(kāi)發(fā)中你可能會(huì)遇到很多無(wú)從解析的問(wèn)題，甚至導(dǎo)致程序bug的存在。為了解析這一現(xiàn)象，也作為自己的一次學(xué)習(xí)總結(jié)，本文逐步引導(dǎo)你來(lái)認(rèn)識(shí)JavaScript“預(yù)解析”，如果我的見(jiàn)解有誤，還望指正。

在ES6之前，變量使用var聲明，會(huì)存在變量的預(yù)解析（函數(shù)也有預(yù)解析），我相信很多同學(xué)在剛開(kāi)始學(xué)JavaScript的時(shí)候被預(yù)解析搞得團(tuán)團(tuán)轉(zhuǎn)，雖然在ES6的時(shí)候引入let和const，但是現(xiàn)階段ES6并沒(méi)有完全普及，而且很多比較老的代碼都還是按照ES5的標(biāo)準(zhǔn)甚至是ES3的標(biāo)準(zhǔn)來(lái)書寫的。

一、變量和函數(shù)在內(nèi)存中的展示

JavaScript中的變量類型和其他語(yǔ)言一樣，有基本數(shù)據(jù)類型和引用數(shù)據(jù)類型。基本數(shù)據(jù)類型包括：undefined、null、boolean、String、Number；引用數(shù)據(jù)類型主要是對(duì)象（包括{}、[]、/^$/、Date、Function等）。

var num = 24;
var obj = {name:'iceman' , age:24};
function func() {
 console.log('hello world');
}

當(dāng)瀏覽器加載html頁(yè)面的時(shí)候，首先會(huì)提供一個(gè)供全局JavaScript代碼執(zhí)行的環(huán)境，稱之為全局作用域。

基本數(shù)據(jù)類型按照值來(lái)操作，引用數(shù)據(jù)類型按照地址來(lái)操作。

根據(jù)以上原則，以上的代碼在內(nèi)存中的模型為：

內(nèi)存模型.png

基本類型是直接存儲(chǔ)在棧內(nèi)存中，而對(duì)象是存儲(chǔ)在堆內(nèi)存中，變量只是持有該對(duì)象的地址。所以obj持有一個(gè)對(duì)象的地址oxff44，函數(shù)func持有一個(gè)地址oxff66。

在以上的代碼的基礎(chǔ)上再執(zhí)行：

console.log(func);
console.log(func());

第一行輸出的是整個(gè)函數(shù)的定義部分（函數(shù)本身）：

第一行代碼輸出結(jié)果.png

上面已經(jīng)說(shuō)明了，func存儲(chǔ)的是一個(gè)地址，該地址指向一塊堆內(nèi)存，該堆內(nèi)存就保留了函數(shù)的定義。

第二行輸出的是func函數(shù)的返回結(jié)果：

第二行代碼輸出結(jié)果.png

由于func函數(shù)沒(méi)有返回值，所以輸出undefined。

注意：函數(shù)的返回結(jié)果，return后面寫的是什么，返回值就是什么，如果沒(méi)有return，默認(rèn)返回值是undefined。

二、預(yù)解析

有了以上的內(nèi)存模型的理解之后，就能更好的了解預(yù)解析的機(jī)制了。所謂的預(yù)解析就是：在當(dāng)前作用域中，JavaScript代碼執(zhí)行之前，瀏覽器首先會(huì)默認(rèn)的把所有帶var和function聲明的變量進(jìn)行提前的聲明或者定義。

2.1. 聲明和定義

var num = 24;

這行簡(jiǎn)單的代碼其實(shí)是兩個(gè)步驟：聲明和定義。

1. 聲明：var num; 告訴瀏覽器在全局作用域中有一個(gè)num變量了，如果一個(gè)變量只是聲明了，但是沒(méi)有賦值，默認(rèn)值是undefined。
2. 定義：num = 12; 定義就是給變量進(jìn)行賦值。
   

2.2. var聲明的變量和function聲明的函數(shù)在預(yù)解析的區(qū)別

var聲明的變量和function聲明的函數(shù)在預(yù)解析的時(shí)候有區(qū)別，var聲明的變量在預(yù)解析的時(shí)候只是提前的聲明，function聲明的函數(shù)在預(yù)解析的時(shí)候會(huì)提前聲明并且會(huì)同時(shí)定義。也就是說(shuō)var聲明的變量和function聲明的函數(shù)的區(qū)別是在聲明的同時(shí)有沒(méi)同時(shí)進(jìn)行定義。

2.3. 預(yù)解析只發(fā)生在當(dāng)前的作用域下

程序最開(kāi)始的時(shí)候，只對(duì)window下的變量和函數(shù)進(jìn)行預(yù)解析，只有函數(shù)執(zhí)行的時(shí)候才會(huì)對(duì)函數(shù)中的變量很函數(shù)進(jìn)行預(yù)解析。

console.log(num);
var num = 24;
console.log(num);

func(100 , 200); 
function func(num1 , num2) {
 var total = num1 + num2;
 console.log(total);
}

輸出結(jié)果.png

第一次輸出num的時(shí)候，由于預(yù)解析的原因，只聲明了還沒(méi)有定義，所以會(huì)輸出undefined；第二次輸出num的時(shí)候，已經(jīng)定義了，所以輸出24。

由于函數(shù)的聲明和定義是同時(shí)進(jìn)行的，所以func()雖然是在func函數(shù)定義聲明處之前調(diào)用的，但是依然可以正常的調(diào)用，會(huì)正常輸出300。

內(nèi)存模型.png

三、 作用域鏈

先理解以下三個(gè)概念：

1. 函數(shù)里面的作用域成為私有作用域，window所在的作用域稱為全局作用域；
2. 在全局作用域下聲明的變量是全局變量；
3. 在“私有作用域中聲明的變量”和“函數(shù)的形參”都是私有變量；

在私有作用域中，代碼執(zhí)行的時(shí)候，遇到了一個(gè)變量，首先需要確定它是否為私有變量，如果是私有變量，那么和外面的任何東西都沒(méi)有關(guān)系，如果不是私有的，則往當(dāng)前作用域的上級(jí)作用域進(jìn)行查找，如果上級(jí)作用域也沒(méi)有則繼續(xù)查找，一直查找到window為止，這就是作用域鏈。

當(dāng)函數(shù)執(zhí)行的時(shí)候，首先會(huì)形成一個(gè)新的私有作用域，然后按照如下的步驟執(zhí)行：

1. 如果有形參，先給形參賦值；
2. 進(jìn)行私有作用域中的預(yù)解析；
3. 私有作用域中的代碼從上到下執(zhí)行

函數(shù)形成一個(gè)新的私有的作用域，保護(hù)了里面的私有變量不受外界的干擾（外面修改不了私有的，私有的也修改不了外面的），這也就是閉包的概念。

console.log(total); 
var total = 0;
function func(num1, num2) {
 console.log(total); 
 var total = num1 + num2;
 console.log(total);
}
func(100 , 200);
console.log(total);

以上代碼執(zhí)行的時(shí)候，第一次輸出total的時(shí)候會(huì)輸出undefined（因?yàn)轭A(yù)解析），當(dāng)執(zhí)行func(100,200)的時(shí)候，會(huì)執(zhí)行函數(shù)體里的內(nèi)容，此時(shí)func函數(shù)會(huì)形成一個(gè)新的私有作用域，按照之前描述的步驟：

1. 先給形參num1、num2賦值，分別為100、200；
   
2. func中的代碼進(jìn)行預(yù)解析；
   
3. 執(zhí)行func中的代碼
   

因?yàn)樵趂unc函數(shù)內(nèi)進(jìn)行了預(yù)解析，所以func函數(shù)里面的total變量會(huì)被預(yù)解析，在函數(shù)內(nèi)第一次輸出total的時(shí)候，會(huì)輸出undefined，接著為total賦值了，第二次輸出total的時(shí)候就輸出300。 因?yàn)楹瘮?shù)體內(nèi)有var聲明的變量total，函數(shù)體內(nèi)的輸出total并不是全局作用域中的total。

最后一次輸出total的時(shí)候，輸出0，這里輸出的是全局作用域中的total。

console.log(total); 
var total = 0;
function func(num1, num2) {
 console.log(total); 
 total = num1 + num2;
 console.log(total);
}
func(100 , 200);
console.log(total);

將代碼作小小的變形之后，func函數(shù)體內(nèi)的total并沒(méi)有使用var聲明，所以total不是私有的，會(huì)到全局作用域中尋找total，也就說(shuō)說(shuō)這里出現(xiàn)的所有total其實(shí)都是全局作用域下的。

四、 全局作用域下帶var和不帶var的區(qū)別

在全局作用域中聲明變量帶var可以進(jìn)行預(yù)解析，所以在賦值的前面執(zhí)行不會(huì)報(bào)錯(cuò)；聲明變量的時(shí)候不帶var的時(shí)候，不能進(jìn)行預(yù)解析，所以在賦值的前面執(zhí)行會(huì)報(bào)錯(cuò)。

console.log(num1);
var num1 = 12;

console.log(num2);
num2 = 12;

輸出結(jié)果.png

      num2 = 12; 相當(dāng)于給window增加了一個(gè)num2的屬性名，屬性值是12；

      var num1 = 12; 相當(dāng)于給全局作用域增加了一個(gè)全局變量num1，但是不僅如此，它也相當(dāng)于給window增加了一個(gè)屬性名num，屬性值是12；

問(wèn)題：在私有作用域中出現(xiàn)一個(gè)變量，不是私有的，則往上級(jí)作用域進(jìn)行查找，上級(jí)沒(méi)有則繼續(xù)向上查找，一直找到window為止，如果window也沒(méi)有呢？

      獲取值：console.log(total); --> 報(bào)錯(cuò) Uncaught ReferenceError: total is not defined


      設(shè)置值：total= 100; --> 相當(dāng)于給window增加了一個(gè)屬性名total，屬性值是100

function fn() {
 // console.log(total); // Uncaught ReferenceError: total is not defined
 total = 100;
}
fn();
console.log(total);

注意：JS中，如果在不進(jìn)行任何特殊處理的情況下，上面的代碼報(bào)錯(cuò)，下面的代碼都不再執(zhí)行了

五、 預(yù)解析中的一些變態(tài)機(jī)制

5.1 不管條件是否成立，都要把帶var的進(jìn)行提前的聲明

if (!('num' in window)) { 
 var num = 12;
}
console.log(num); // undefined

JavaScript進(jìn)行預(yù)解析的時(shí)候，會(huì)忽略所有if條件，因?yàn)樵贓S6之前并沒(méi)有塊級(jí)作用域的概念。本例中會(huì)先將num預(yù)解析，而預(yù)解析會(huì)將該變量添加到window中，作為window的一個(gè)屬性。那么 'num' in window 就返回true，取反之后為false，這時(shí)代碼執(zhí)行不會(huì)進(jìn)入if塊里面，num也就沒(méi)有被賦值，最后console.log(num)輸出為undefined。

5.2 只預(yù)解析“=”左邊的，右邊的是指，不參與預(yù)解析

fn(); // -> undefined(); // Uncaught TypeError: fn is not a function
var fn = function () {
 console.log('ok');
}

fn(); -> 'ok'
function fn() {
 console.log('ok');
}
fn(); -> 'ok'

建議：聲明變量的時(shí)候盡量使用var fn = ...的方式。

5.3 自執(zhí)行函數(shù)：定義和執(zhí)行一起完成

(function (num) {
 console.log(num);
})(100);

自治性函數(shù)定義的那個(gè)function在全局作用域下不進(jìn)行預(yù)解析，當(dāng)代碼執(zhí)行到這個(gè)位置的時(shí)候，定義和執(zhí)行一起完成了。

補(bǔ)充：其他定義自執(zhí)行函數(shù)的方式

~ function (num) {}(100) 
+ function (num) {}(100) 
- function (num) {}(100) 
! function (num) {}(100)

5.4 return下的代碼依然會(huì)進(jìn)行預(yù)解析

function fn() {        
 console.log(num); // -> undefined
 return function () {    

 };        
 var num = 100;     
}         
fn();

函數(shù)體中return下面的代碼，雖然不再執(zhí)行了，但是需要進(jìn)行預(yù)解析，return中的代碼，都是我們的返回值，所以不進(jìn)行預(yù)解析。

5.5 名字已經(jīng)聲明過(guò)了，不需要重新的聲明，但是需要重新的賦值

var fn = 13;          
function fn() {         
 console.log('ok');        
}             
fn(); // Uncaught TypeError: fn is not a function

經(jīng)典題目

fn(); // -> 2            
function fn() {console.log(1);}       
fn(); // -> 2            
var fn = 10; // -> fn = 10        
fn(); // -> 10() Uncaught TypeError: fn is not a function       
function fn() {console.log(2);}       
fn();

總結(jié)

以上就是關(guān)于JavaScript中預(yù)解析的全部?jī)?nèi)容了，希望本文的內(nèi)容對(duì)大家的學(xué)習(xí)或者工作能帶來(lái)一定的幫助，如果有疑問(wèn)大家可以留言交流。