前言

剛接觸到JavaScript的時候，便知道JavaScript是按順序執(zhí)行的，是如瀏覽器的解析DOM樹一樣的流程，解析DOM結構的時候，如果遇到JS腳本或者外聯(lián)腳本便會停止解析，繼續(xù)下載腳本之后，執(zhí)行腳本，然后再解析DOM。

然而，卻因此常常碰到問題。

看如下代碼以及輸出：

var name;
console.log(name);  // undefined
name = 'tom';

age = 10;
var age;
console.log(age); // 10

上面的代碼讓我們產生了疑惑，我們僅僅聲明了name的時候，打印出來值是undefined，按理說，重新聲明age之后，age的值應該也是undefined才對，但是輸出來的卻是10。這究竟是怎么回事兒呢？

我們的通用解釋是，遇到了變量提升。

而這樣的情況，我們在函數中也會看到，請看下面代碼：

log();
console.log(name);
var name = 'tom';
function log() {
  console.log('this is log');
}

上面代碼的輸出結果是什么？

輸出結果：

this is log
undefined

為什么會產生這樣的情形呢？我們通用的解釋是，函數聲明提升了。

而針對這兩種情況，就是我們經常遇到的提升機制，也就是我們常說的Hoisting。

而僅僅只是一句提升機制來解釋這種現(xiàn)象，還是覺得云里霧里，要是我之前可能也就不明覺厲的哦了一聲，然后就不再理會這樣的東西了，那么究竟為什么會出現(xiàn)這樣的情況呢？

JavaScript是如何被編譯的呢

有時候我們會想，一段JS代碼是如何執(zhí)行的呢？其實，在JS代碼被執(zhí)行之前，通常都有一個編譯過程。

這個編譯過程其實很復雜，但總體來說，逃不過編譯過程的步驟，只不過JavaScript是在這個步驟之中對代碼做了優(yōu)化處理。

第一、詞法分析

詞法分析主要是將一段程序分解成有意義的代碼塊，便于對分解的代碼塊做解析。

比如，var age = 10;這一段代碼將會被分解成 var、age、=、10、;。這是5個詞法單元。

這些單元分析完畢之后，便會給解析器調用，生成相應的AST（抽象語法樹）。

第二、解析詞法單元

解析詞法單元，是為了生成AST，那么到底什么是AST呢，我們來看一段代碼以及解析生成的AST。

同樣是var age = 10;這段代碼，被解析器解析成了一段樹形結構的結構，這個結構，就是抽象語法樹AST。你可以通過這個網站來查看生產的AST：AST解析器

而抽象語法樹，又是可以轉換成可執(zhí)行代碼。這就涉及到編譯的第三個階段。

第三、生成可執(zhí)行代碼

生成可執(zhí)行代碼的過程，相當于是再把AST轉換成瀏覽器可執(zhí)行的代碼，或者是各種語言引擎可執(zhí)行的代碼。

比如我們常見的babel，可以讓我們用ES6的語法去開發(fā)程序，其實就是依靠babel編譯器，將我們的ES6代碼編譯成ES6的AST，然后將ES6的AST轉換成ES5的AST或者ES3的AST，最后將AST轉成ES5或ES3的代碼來讓瀏覽器執(zhí)行。

同理，TypeScript的TSC也是一個編譯器，做的事情和babel是一樣的，只不過兩者編譯出來的ES6的AST有略微的差別，這樣就造成了TypeScript用不了Babel社區(qū)的豐富多樣的插件，如eslint等。

因為eslint語法檢查，正是基于AST做的。

那么上面這個編譯過程有什么用呢？

JavaScript中的聲明和賦值

理解了語言的編譯過程，那么JavaScript中的聲明和賦值又是如何的一個流程呢？

比如，var age = 10;這段代碼，在JavaScript中的編譯方式是如何呢？

在JavaScript中，這段代碼大概相當于是如下兩個過程：

var age = undefined;   // 隱式賦值，編譯階段
age = 10;  //變量賦值  執(zhí)行階段

函數聲明也是如此：

// 這一段代碼就是一個完整的函數聲明，在編譯階段中，會先執(zhí)行所有聲明，才會依次執(zhí)行代碼操作。
function log() {
  console.log('this is log')
}

這個時候，我們再回頭來，想一下提升機制是什么？

再看提升

JavaScript的執(zhí)行，被分為了兩個階段，分別是編譯階段，以及執(zhí)行階段。依照這個來看，所謂的提升機制（有的叫做變量提升，考慮到函數的定義，并未用這個名詞），就是JavaScript引擎把變量聲明和函數聲明在編譯階段首先進行默認賦值，之后，在程序執(zhí)行階段，才會被代碼真正的執(zhí)行。也就是說，針對聲明先提升，后執(zhí)行。

注意：函數聲明和變量都有提升機制，兩者之間也有優(yōu)先級。這都遵循一個原則：函數優(yōu)先原則。也就是說，函數聲明會提升到普通變量聲明之前。

總結

變量提升，是一個值得去探究的概念，只有理解了這個概念，我們理解JavaScript的執(zhí)行機制將會變得清晰明了起來。

以上就是本文的全部內容，希望對大家的學習有所幫助，也希望大家多多支持腳本之家。

最新評論