javascript中作用域链的详细介绍（附示例）

概述

JavaScript 中的可执行代码有其执行上下文，在执行上下文中，有三个重要的元素：

1. 变量对象(variable object)

2. 作用域链(scope chain)

3. this

其中，变量对象是上下文中变量声明和函数声明的集合。
this 表示是变量对象被谁所持有，this 总是指向当前的上下文。

而作用域链则控制着变量与函数的可见性和生命周期。

一、作用域链

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"值，找到了第一个就停止查找，就叫做“遮蔽效应”。

二、创建和执行阶段

每个函数有一个内部属性 [[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]])

所以最后寻找变量的时候，总是从最内部的执行上下文开始，然后再向外冒泡查找。

三、延长作用域链

在 JS 中，with 和 try catch关键字能延长作用域链，对 with 来说，将会指定一个只读对象添加到作用域链中。

对 catch 来说，会异常对象推入一个可变对象并置于用域的头部。

with 和 try catch 都增加了当前作用域可以访问的变量对象数量，所以看做延长了作用域链。

四、作用域链和原型链

作用域链的作用是用于查找标识符，沿着作用域链向外冒泡查找，找到第一个就停下。

而原型链用于对象的属性查找，通用原型链想链的顶端查找，如果找到该属性会停止搜索。如果没有找到，就默认为 undefined。

五、闭包

变量在执行完毕后，就会在内存中被垃圾回收，但是如果此时，变量在其他作用域中，或者说加入了其他上下文的作用域链后，变量就能够继续被访问，这种行为就叫做闭包。

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

var other = foo();
other(); // 1

foo 函数执行完后，内部变量本应该被清空，但是由于返回的函数引用了变量 a ,变量 a 得以继续访问，就构成了闭包。

总结

作用域链是由所有父级上下文的变量对象所构成的列表，用于查找标识符，从内部执行上下文查找，直到全局上下文。