JavaScript作用域链
执行环境
描述
- 执行环境:定义了变量和函数以及其他可以访问的数据。
- 每个执行环境都有与之对应的变量对象,保存着环境中定义的各种变量和函数。解析器在处理的时候会用到,但是我们的代码无法访问。
- 在浏览器云运行的时候会创建执行环境,调用函数时会创建执行环境。
分类
执行环境分成两种类型。
-
全局执行环境
是最外层的执行环境,在浏览器环境中,就是window对象。 -
函数执行环境
每个函数都有自己的执行环境,每进入一个函数时,函数的执行环境就被推到一个环境栈中。在函数执行完以后,这个执行环境会弹栈。
作用域链
全局\局部作用域
与全局执行环境、函数执行环境的对应的,这里有全局作用域、局部作用域的概念。
- 全局作用域:可以在代码的任何地方进行访问。
- 局部作用域:一般仅在固定的代码片段内可以进行访问。
作用域链
其实,全局与局部作用域的访问权限,是由作用域链决定的。
为了搜索变量、函数,每进入一个新的执行环境都会创建一个作用域链。作用域链会保存,函数定义环境的(也就是当前函数的外层)有权访问的的变量和函数,
如下图所示。
-
作用域链的最前端始终是当前执行的代码所在环境的变量对象(如果该环境是函数,则将其活动对象作为变量对象),下一个变量对象来自包含环境(包含当前还行环境的环境),下一个变量对象来自包含环境的包含环境,依次往上,直到全局执行环境的变量对象。全局执行环境的变量对象始终是作用域链中的最后一个对象。
-
标识符解析是沿着作用域一级一级的向上搜索标识符的过程。搜索过程始终是从作用域的前端逐地向后回溯,直到找到标识符(找不到,就会导致错误发生)。
-
函数的局部环境可以访问函数作用域中的变量,也可以访问和操作父环境(包含环境)乃至全局环境中的变量。
-
父环境只能访问包含其的环境和自己环境中的变量和函数,不能访问其子环境中的变量和函数。
-
全局环境只能访问全局环境中的变量和函数,不能直接访问局部环境中的任何数据。
闭包
其实,函数的局部环境可以访问函数作用域中的变量,就是闭包。
function a(){
let xxx = 1;
log();
function log(){
console.log(xxx);
}
}
提升(hoisting)
变量提升
var a = 1;
c();
function c(){
console.log(a); // undefined
var a = 2;
}
解析器在函数执行环境中发现变量a,因此不再上层查找。但是console.log(a)时还未赋值,所以打印undefined。上面的代码等价于:
var a = 1;
c();
function c(){
var a;
console.log(a); // undefined
a = 2;
}
这种现象就是变量提升。
注意,上面这段代码如果var改成let。
let a = 1;
c();
function c(){
console.log(a); // 报错
let a = 2;
}
此时,会形成暂时性死区,let在预解析过程中不会被提升。
函数提升
c()
function c(){
//...
}
函数在预解析过程中也会发生提升现象。
注意:只有函数声明形式才能被提升!!
c(); //会报错
var c = function(){
}