JavaScript之做用域鏈

本文共 1200 字，讀完只需 4 分鐘

概述

JavaScript 中的可執行代碼有其執行上下文，在執行上下文中，有三個重要的元素：

1. 變量對象(variable object)
2. 做用域鏈(scope chain)
3. this

其中，變量對象是上下文中變量聲明和函數聲明的集合。
this 表示是變量對象被誰所持有，this 老是指向當前的上下文。

而做用域鏈則控制着變量與函數的可見性和生命週期。

1、做用域鏈

JavaScript 引擎在查找變量標識符對應的綁定（binding）時，會從最內部的做用域向外冒泡開始查找，若是內部做用域沒找到，就在父做用域查找，直到找到第一個匹配的標識符時就中止，這就是 JS 中的做用域鏈。

var name = "global";
function func1() {
    var name = "outter";
    function func2() {
        var name = "inner";
        console.log(name);
    }
    func2();
}

func1() // "inner"
複製代碼

console.log(name)語句中，JS 在查找 name變量標識符的綁定（binding）時，會從 func2 內部向外部函數查找變量聲明，直到最頂層。這裏最後只取了最近的 "inner"值，找到了第一個就中止查找，就叫作「遮蔽效應」。

2、建立和執行階段

每一個函數有一個內部屬性 [[scope]]，同時做用域鏈與執行上下文有關，函數定義的時刻 scope chain 連接因此父級上下文當中的變量對象。

var a = 1;
var b = 3;
function foo(){
  var a = 2;
  bar(4);
  function bar(param){
    console.log(a+param)
  }
}


foo.[[scope]] = [
  globalContext.VO // a, b
];

bar.[[scope]] = [
    fooContext.AO, // a
    globalContext.VO // a, b
];
複製代碼

再來：

函數的執行有建立階段和執行階段，不一樣時刻變量對象的值不同。

函數建立階段 通常狀況下，做用域鏈就是父級變量對象（variable object）（做用域鏈的頂部）、函數自身變量VO或活動對象（activation object）組成了一個列表。

var a = 2;
function foo() {
    var b = 3;
    console.log(a+b);
}
foo() // 5

複製代碼

咱們固然知道最後結果輸出 5，可是在建立階段卻有一個有趣的事情： 首先，a 變量屬於全局環境中的變量，b 屬於 foo 函數環境中的變量，在建立階段，兩者的值都爲 undefined;

globalContext.VO = {
    a: undefined
}

fooContext.VO = {
    b: undefined
}
複製代碼

能夠看到，foo 上下文中並不包含 a, foo 就是經過做用域找到的 a。即：

fooContext = {
    [[scope]]: {
        // 父級的變量對象
    }
}
複製代碼

當前執行上下文的 [[scope]], 包含了全部父級上下文中的變量對象列表。

函數執行階段

當進入函數執行階段後，函數上下文就會將當前執行上下文中的變量對象，轉化爲活動對象，並將其放在做用域鏈的最前端，最後修改變量的值。

scope = [AO].contat([[scope]])
複製代碼

因此最後尋找變量的時候，老是從最內部的執行上下文開始，而後再向外冒泡查找。

3、延長做用域鏈

在 JS 中，with 和 try catch關鍵字能延長做用域鏈，對 with 來講，將會指定一個只讀對象添加到做用域鏈中。

對 catch 來講，會異常對象推入一個可變對象並置於用域的頭部。

with 和 try catch 都增長了當前做用域能夠訪問的變量對象數量，因此看作延長了做用域鏈。

4、做用域鏈和原型鏈

做用域鏈的做用是用於查找標識符，沿着做用域鏈向外冒泡查找，找到第一個就停下。

而原型鏈用於對象的屬性查找，通用原型鏈想鏈的頂端查找，若是找到該屬性會中止搜索。若是沒有找到，就默認爲 undefined。

5、閉包

變量在執行完畢後，就會在內存中被垃圾回收，可是若是此時，變量在其餘做用域中，或者說加入了其餘上下文的做用域鏈後，變量就可以繼續被訪問，這種行爲就叫作閉包。

function foo() {
    var a = 1;
    function bar (){
        return a;
    }
    return bar;
}

var other = foo();
other();  // 1
複製代碼

foo 函數執行完後，內部變量本應該被清空，可是因爲返回的函數引用了變量 a ,變量 a 得以繼續訪問，就構成了閉包。

總結

做用域鏈是由全部父級上下文的變量對象所構成的列表，用於查找標識符，從內部執行上下文查找，直到全局上下文。

後面的文章會繼續講解與執行上下文，做用域有關的 this 和閉包，盡請期待吧~

歡迎關注個人我的公衆號「謝南波」，專一分享原創文章。

掘金專欄 JavaScript 系列文章

1. JavaScript之變量及做用域
2. JavaScript之聲明提高
3. JavaScript之執行上下文
4. JavaScript之變量對象
5. JavaScript原型與原型鏈
6. JavaScript之做用域鏈
7. JavaScript之閉包
8. JavaScript之this
9. JavaScript之arguments
10. JavaScript之按值傳遞
11. JavaScript之例題中完全理解this
12. JavaScript專題之模擬實現call和apply