作用域链的概念对理解闭包至关重要
先来一个例子
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.猜想
我猜想作用域链的数据大概如下，是一个链栈，只是为了说明问题，不保证准确性，当然我也是不会为它负责的。
网友评论