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