摘要：中沒有可執行的函數了，執行完出棧。當某個函數被調用時，會創建一個執行環境及相應的作用域鏈。檢查當前環境中的函數聲明使用聲明的。確定指向所以說的指向，是在函數執行時確定的。

當代碼執行時都會產生一個執行環境。JavaScript中的執行環境可以分為三種。

全局環境：在瀏覽器中，全局環境被認為是window對象，因此，所有的全局變量和函數都作為window對象的 屬性 和 方法 創建的。

函數環境：當一個函數執行時，就會創建該函數的執行環境，在其中執行代碼。

eval（不建議使用，可忽略）

函數內，沒有使用var 聲明的變量，在非嚴格模式下為window的屬性，即全局變量。

js 是根據函數的調用（執行） 來決定 執行順序的。每當一個函數被調用時，js 會為其創建執行環境，js引擎就會把這個執行環境 放入一個棧中 來處理。

這個棧，我們稱之為函數調用棧（call stack）。棧底永遠都是全局環境，而棧頂就是當前正在執行函數的環境。當棧頂的執行環境 執行完之后，就會出棧，并把執行權交給之前的執行環境。

看栗子說話：

function A(){
   console.log("this is A");
   function B(){
       console.log("this is B");
   }
   B();
}

A();

那么這段代碼執行的情況就是這樣了。

首先 A() ;A 函數執行了，A執行環境入棧。

A函數執行時，遇到了 B()，B 又執行了，B入棧。

B中沒有可執行的函數了，B執行完 出棧。

繼續執行A， A中沒有可執行的函數了，A執行完 出棧。

再來個不常規的：

function A(){
    
    function B(){
        console.log(say);
    }
 
    return B;
}

var C = A();

C();

首先 A() ;A 函數執行了，A執行環境入棧。

繼續執行A， A中沒有可執行的函數了，A執行完 出棧。

然后C()， 這時的C 就是 B，A 執行后，把B返回 賦值給了C，B執行環境入棧。

B中 沒有可執行的函數了，B執行完 出棧。

眼尖的同學，估計看出來了，它怎么像閉包呢？其實，稍微改動下，它就是閉包了。

function A(){
    
    var say = 666
    
    function B(){
        console.log(say);
    }
 
    return B;
}

var C = A();

C();

//666

這就是閉包了，但是這次我們不講閉包，你就知道，它是的執行是怎么回事就行。

現在我們已經知道，每當一個函數執行時，一個新的執行環境就會被創建出來。其實，在js引擎內部，這個環境的創建過程可分為兩個階段:

A. 建立階段(發生在調用（執行）一個函數時，但是在執行函數內部的具體代碼之前)

        1.建立活動對象；
        2.構建作用域鏈；
        3.確定this的值。

B. 代碼執行階段（執行函數內部的具體代碼）
? ? ? ?1.變量賦值；
? ? ? ?2.執行其它代碼。

需要注意的是，作用域鏈是創建函數的時候就創建了，此時的鏈只有全局變量對象，保存在函數的[[Scope]]屬性中，然后函數執行時的，只是通過復制該屬性中的對象 來 構建作用域鏈。本文后面還有說明。

看圖更清晰！

如果把函數執行環境看成一個對象的話：

executionContextObj = {           //執行上下文對象
            AtiveObject: { },  //活動對象
            scopeChain: { },      //作用域鏈
            this: {}              //this
}

//下面這段內容，感興趣的可以看下，不感興趣，就跳過哈。
也許你在別家看到跟我的不一樣，人家寫的是建立變量對象。下面我來說說我得想法吧！

之前我按照 首先建立變量對象，其后，變量對象轉變為活動對象的規則 去理解，但是呢，通過我分析JavaScript高級程序設計第三版，4.2節 和 7.2節，發現根本就不符合邏輯。

然后，我根據分析，得出了我的結論：變量對象 是執行環境中保存著環境中定義的所有變量和函數 的對象 的統稱。而活動對象，是函數執行環境中創建的，它不僅保存著函數執行環境中定義的變量和函數，并且獨有一個arguments 屬性。因此，活動對象也可稱之為變量對象。

這樣，很多東西就說的通了。
比如（以下都是來自JavaScript高級程序設計第三版，4.2節 和 7.2節 中原文）：

如果這個環境是函數，則將其活動對象（activation object）作為變量對象。活動對象在最開始時只包含一個變量，即 arguments 對象（這個對象在全局環境中是不存在的）。

當某個函數被調用時，會創建一個執行環境（execution context）及相應的作用域鏈。
然后，使用 arguments 和其他命名參數的值來初始化函數的活動對象。

每個執行環境都有一個表示變量的對象——變量對象。

此后，又有一個活動對象（在此作為變量對象使用）被創建并被推入執
行環境作用域鏈的前端。對于這個例子中 compare() 函數的執行環境而言，其作用域鏈中包含兩個變量對象：本地活動對象和全局變量對象。

有興趣的可以去看看這本書上說的，有不同的想法可以積極留言，咱們好好探討，哈哈。

1、建立活動對象（AO）

A. 建立arguments對象，檢查當前上下文中的參數，建立該對象下的屬性以及屬性值 。

B. 檢查當前環境中的函數聲明（使用function 聲明的）。每找到一個函數聲明，就在活動對象下面用函數名建立一個屬性，屬性值就是指向該函數在內存中的地址的一個引用,如果上述函數名已經存在于活動對象下，那么則會被新的函數引用所覆蓋。

C. 檢查當前上下文中的變量聲明（使用 var 聲明的）。每找到一個變量聲明，就在活動對象下面用變量名建立一個屬性，該屬性值為undefined。如果該屬性名已存在，則忽略新的聲明。

function test(){
    function a(){};
    var b;
}
test();

test 函數 的活動對象：

testAO: {    //test變量對象
    arguments: { ... };
    a:function(){};
    b:undefined
}  

變量作用域
javaScript 中，只有兩種變量作用域，一種是局部變量作用域，又稱函數作用域。另一個則是全局作用域。

什么變量提升問題的根本原因就在建立階段了。

console.log(A);

function A(){};

console.log(B);

var A = 666;
var B = 566;

console.log(A);
console.log(B);

//function A
//undefined
//666
//566

上面的實際順序就是這樣的了

function A(){};
//var A; 這個var 聲明的 同名 A，會被忽略

var B = undefined;

console.log(A);

console.log(B);

A = 666;   //給A 重新賦值
B = 566;   //給B 賦值

console.log(A);
console.log(B);

注意第三點，使用var 聲明時，如果VO對象下，該屬性已存在，忽略新的var 聲明。
因為A 使用 function 聲明，VO對象下，創建A屬性，然后 var 聲明時，檢索發現已經有該屬性了，就會忽略 var A 的聲明，不會把A 設置為 undefined。

2、構建作用域鏈
作用域鏈的最前端，始終都是當前執行的代碼所在函數的活動對象。下一個AO（活動對象）為包含本函數的外部函數的AO，以此類推。最末端，為全局環境的變量對象。

注意：雖然作用域鏈是在函數調用時構建的，但是，它跟調用順序（進入調用棧的順序）無關，因為它只跟 包含關系（函數 包含 函數 的嵌套關系） 有關。

可能比較繞口，還是來個小栗子，再來個圖

function fa(){
    var va = "this is fa";
    
    function fb(){
        var vb = "this is fb";
    
        console.log(vb);
        
        console.log(va);
    }
    return fb;
}
var fc = fa();
fc();

//"this is fb"
//"this is fa"

函數調用棧的情況就是這樣：

那么把函數 fb 的執行環境比作對象（建立階段）：

fbEC = {           //執行上下文對象

            fbAO: {   //活動對象 AO
            
                  arguments: { ... };   //arguments 對象

                  vb: undefined   //變量聲明建立的屬性，設置為undefined
            },
            
            scopeChain: [ AO(fa), AO(fb), VO(window) ],      //作用域鏈
            
            this: { ... }              //this
}

fb作用域的展開就是這樣的：

fb 函數 被 fa 函數 包含， fa 函數 被 window 全局環境包含。作用域鏈只跟包含關系有關！

注意：作用域鏈是單向的，因此，函數內的可以訪問函數外 和 全局的變量，函數，但是反過來，函數外，全局內 不能訪問函數內的變量，函數。

3、確定 this 指向
所以說 this 的指向，是在函數執行時確定的。

1、變量賦值
根據代碼順序執行，遇到變量賦值時， 給對應的變量賦值。

function getColor(){
    console.log(color);
    
    var color;
    console.log(color);
    
    color = "red";
    console.log(color);
}
getColor();
//undefined
//undefined
//"red";

3、執行其他代碼。

當函數執行完畢后，局部活動對象就會被銷毀（也就是說，局部的變量，函數，arguments 等都會被銷毀），內存中僅保存全局作用域（全局執行環境的變量對象）。

這句話對理解閉包很重要，隨后，我會出一個閉包的文章，敬請期待！