作用域链的概念对理解闭包至关重要
先来一个例子
var scope = "global";
function CheckScope(){
var scope = "local";
return scope;
}
CheckScope();
//结果为local
1.当代码进入Global Execution Context后,会创建Global VO
2.当代码执行到CheckScope();
语句的时候,进入CheckScope Execution Context;
根据上一篇文章<执行环境>的介绍,这里会创建CheckScope VO,
并设置CheckScope Execution Context的[[Scope]]属性
作用域链的创建规则
当定义一个函数时
在函数内部会创建一个[[Scope]]属性
,这个属性指向一条作用域链。
也就是说在定义函数时,会事先创建一条作用域链。
这从chrome中可以看出来,如下图所示,<function scope>即为我说的[[Scope]]属性
而这条事先就创建好的作用域链的创建规则也是很重要的,有以下几点:
- JS中只有两种类型的作用域:全局作用域、函数作用域,所以在作用域链上的对象,只可能是window对象或者函数执行环境所对应的变量对象,但是with语句是一个例外,其可以临时在作用域链的前端临时增加一个普通对象。
var o = {
bruceZhou: 'bruceZhou',
fn: function(){
console.log(fn)
console.log(bruceZhou);
}
}
o.fn();
//ERROR报错
//因为在执行匿名函数时,其作用域链为匿名函数所对应的变量对象--->window对象
//所以会找不到fn和bruceZhou的定义
//最重要的是其作用域链不包括对象o,对象o只负责保存fn
//在JS中只有全局作用域、函数作用域,并没有对象作用域这一说
//如果要在fn内部访问对象o,可以引用this或者使用with语句
- 一个函数被定义时,在确定其
[[Scope]]属性
时,JS解释器执行如下的规则:从函数内部向外遍历,每当碰到一个function {...}
时,就将其对应的变量对象添加至作用域链中去,如此下去,直到window对象,然后将作用域链的引用赋给[[Scope]]属性
。
当调用这个函数时
解释器会先创建一个新的变量对象,
然后将这个变量对象的添加至上面那个作用域链的栈顶,
此后将函数内部的[[Scope]]属性
直接赋值给执行环境的[[Scope]]属性
。
当函数执行完之后
对应的函数执行环境会被销毁,
但该执行函数所对应的变量对象却不一定会被销毁,
这时就会发生闭包现象。
作用域链的数据结构
作用域即变量对象,作用域链是一个由变量对象组成的带头结点的单向链表,其主要作用就是用来进行变量查找。而[[Scope]]属性是一个指向这个链表头结点的指针。
带头结点的单链表
1.结点的存储结构(用C语言来表示)
typedef struct _tNODE{
VariableObject *pVO;
//指向一个变量对象,即指向一个作用域
struct _tNODE *next;
//指向下一个结点
}tNODE, *tPNODE;
2.猜想
我猜想作用域链的数据大概如下,是一个链栈,只是为了说明问题,不保证准确性,当然我也是不会为它负责的。