在ES6之前，變量使用var聲明，會(huì)存在變量的預(yù)解析（函數(shù)也有預(yù)解析），我相信很多同學(xué)在剛開始學(xué)JavaScript的時(shí)候被預(yù)解析搞得團(tuán)團(tuán)轉(zhuǎn)，雖然在ES6的時(shí)候引入let和const，但是現(xiàn)階段ES6并沒有完全普及，而且很多比較老的代碼都還是按照ES5的標(biāo)準(zhǔn)甚至是ES3的標(biāo)準(zhǔn)來書寫的。
一、變量和函數(shù)在內(nèi)存中的展示
JavaScript中的變量類型和其他語言一樣，有基本數(shù)據(jù)類型和引用數(shù)據(jù)類型。基本數(shù)據(jù)類型包括：undefined、null、boolean、String、Number；引用數(shù)據(jù)類型主要是對象（包括{}、[]、/^$/、Date、Function等）。
var num = 24;
var obj = {name:'iceman' , age:24};
function func() {
console.log('hello world');
}
- 當(dāng)瀏覽器加載html頁面的時(shí)候，首先會(huì)提供一個(gè)供全局JavaScript代碼執(zhí)行的環(huán)境，稱之為全局作用域。
- 基本數(shù)據(jù)類型按照值來操作，引用數(shù)據(jù)類型按照地址來操作。
根據(jù)以上原則，以上的代碼在內(nèi)存中的模型為：
基本類型是直接存儲(chǔ)在棧內(nèi)存中，而對象是存儲(chǔ)在堆內(nèi)存中，變量只是持有該對象的地址。所以obj持有一個(gè)對象的地址oxff44，函數(shù)func持有一個(gè)地址oxff66。
在以上的代碼的基礎(chǔ)上再執(zhí)行：
console.log(func);
console.log(func());
第一行輸出的是整個(gè)函數(shù)的定義部分（函數(shù)本身）：
上面已經(jīng)說明了，func存儲(chǔ)的是一個(gè)地址，該地址指向一塊堆內(nèi)存，該堆內(nèi)存就保留了函數(shù)的定義。
第二行輸出的是func函數(shù)的返回結(jié)果：
由于func函數(shù)沒有返回值，所以輸出undefined。
注意：函數(shù)的返回結(jié)果，return后面寫的是什么，返回值就是什么，如果沒有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;
這行簡單的代碼其實(shí)是兩個(gè)步驟：聲明和定義。
- 聲明：var num; 告訴瀏覽器在全局作用域中有一個(gè)num變量了，如果一個(gè)變量只是聲明了，但是沒有賦值，默認(rèn)值是undefined。
- 定義：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í)定義。也就是說var聲明的變量和function聲明的函數(shù)的區(qū)別是在聲明的同時(shí)有沒同時(shí)進(jìn)行定義。
2.3. 預(yù)解析只發(fā)生在當(dāng)前的作用域下
程序最開始的時(shí)候，只對window下的變量和函數(shù)進(jìn)行預(yù)解析，只有函數(shù)執(zhí)行的時(shí)候才會(huì)對函數(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);
}
第一次輸出num的時(shí)候，由于預(yù)解析的原因，只聲明了還沒有定義，所以會(huì)輸出undefined；第二次輸出num的時(shí)候，已經(jīng)定義了，所以輸出24。
由于函數(shù)的聲明和定義是同時(shí)進(jìn)行的，所以func()雖然是在func函數(shù)定義聲明處之前調(diào)用的，但是依然可以正常的調(diào)用，會(huì)正常輸出300。
三、 作用域鏈
先理解以下三個(gè)概念：
- 函數(shù)里面的作用域成為私有作用域，window所在的作用域稱為全局作用域；
- 在全局作用域下聲明的變量是全局變量；
- 在“私有作用域中聲明的變量”和“函數(shù)的形參”都是私有變量；
在私有作用域中，代碼執(zhí)行的時(shí)候，遇到了一個(gè)變量，首先需要確定它是否為私有變量，如果是私有變量，那么和外面的任何東西都沒有關(guān)系，如果不是私有的，則往當(dāng)前作用域的上級作用域進(jìn)行查找，如果上級作用域也沒有則繼續(xù)查找，一直查找到window為止，這就是作用域鏈。
當(dāng)函數(shù)執(zhí)行的時(shí)候，首先會(huì)形成一個(gè)新的私有作用域，然后按照如下的步驟執(zhí)行：
- 如果有形參，先給形參賦值；
- 進(jìn)行私有作用域中的預(yù)解析；
- 私有作用域中的代碼從上到下執(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è)新的私有作用域，按照之前描述的步驟：
- 先給形參num1、num2賦值，分別為100、200；
- func中的代碼進(jìn)行預(yù)解析；
- 執(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并沒有使用var聲明，所以total不是私有的，會(huì)到全局作用域中尋找total，也就說說這里出現(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;
- num2 = 12; 相當(dāng)于給window增加了一個(gè)num2的屬性名，屬性值是12；
- var num1 = 12; 相當(dāng)于給全局作用域增加了一個(gè)全局變量num1，但是不僅如此，它也相當(dāng)于給window增加了一個(gè)屬性名num，屬性值是12；
問題：在私有作用域中出現(xiàn)一個(gè)變量，不是私有的，則往上級作用域進(jìn)行查找，上級沒有則繼續(xù)向上查找，一直找到window為止，如果window也沒有呢？
- 獲取值：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之前并沒有塊級作用域的概念。本例中會(huì)先將num預(yù)解析，而預(yù)解析會(huì)將該變量添加到window中，作為window的一個(gè)屬性。那么 'num' in window 就返回true，取反之后為false，這時(shí)代碼執(zhí)行不會(huì)進(jìn)入if塊里面，num也就沒有被賦值，最后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);
自執(zhí)行函數(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)聲明過了，不需要重新的聲明，但是需要重新的賦值
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();
個(gè)人公眾號(hào)（icemanFE）：分享更多的前端技術(shù)和生活感悟
