本文共 1200 字,读完只需 4 分钟
概述
JavaScript 中的可执行代码有其执行上下文,在执行上下文中,有三个重要的元素:
- 变量对象(variable object)
- 作用域链(scope chain)
- 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 得以继续访问,就构成了闭包。
总结
作用域链是由所有父级上下文的变量对象所构成的列表,用于查找标识符,从内部执行上下文查找,直到全局上下文。
后面的文章会继续讲解与执行上下文,作用域有关的 this
和闭包,尽请期待吧~
欢迎关注我的个人公众号“谢南波”,专注分享原创文章。
**粗体** _斜体_ [链接](http://example.com) `代码` - 列表 > 引用
。你还可以使用@
来通知其他用户。