作用域精解
[[scope]] : 每个
JavaScript
函数都是一个对象。对象中有些属性我们可以访问,但有些不可以,这些属性仅提供JavaScript
引擎存取,[[scope]]
就是其中一个。[[scope]]
:指的就是我们所说的作用域,其中存储了运行期上下文的集合。作用域链 :
[[scope]]
中存储的执行期上下文对象的集合,这个集合呈链式链接,我们把这种链式链接叫做作用域链。运行期上下文 : 当函数执行时,会创建一个称为执行期上下文的内部对象。一个执行期上下文定义了一个函数执行时的环境,函数每次执行时对应的执行上下文都是独一无二的,所以多次调用一个函数会导致创建多个执行期上下文,当函数执行完毕,它所产生的执行上下文被销毁。
查找变量 : 从作用域链的顶端依次向下查找。
function a() {
function b(){
var b = 234;
};
var a = 123;
b();
}
var glob = 100;
a();
首先我们来看上面的函数,这个是个整体的函数,a 在这个全局的作用域里面,然后下面有 glob 这个变量,然后有这个 a 执行。
第一步 : 首先系统看到的肯定是这个 a 定义,a 定义的话有这个[[scope]]。
a | / |
---|---|
[[scope]] | / |
scope指向scope chain
scope chain | scope指向这里 |
---|---|
0 这个位置的0指向GO | GO |
Global Object | 0指向的是这个表 |
---|---|
this | window |
window | (object) |
document | (object) |
a | (function) |
glob | 100 |
[[scope]]里面有这个全局的执行期上下文,然后 a 被执行了,a 被执行,a 产生的这个 AO,把自己的 AO 存到作用域链的最顶端,形成一个新的作用域链,现在的 a 的[[scope]]和刚才的那个[[scope]]不一样了。
a | / |
---|---|
[[scope]] | / |
scope 指向 scope chain
scope chain | scope指向这里 |
---|---|
0 这个位置的0指向AO | AO |
1 这个位置的0指向GO | GO |
Activation Object | 0指向的是这个表 |
---|---|
this | window |
arguments | [] |
a | 123 |
b | (function) |
Global Object | 1指向的是这个表 |
---|---|
this | window |
window | (object) |
document | (object) |
a | (function) |
glob | 100 |
它的不一样只是里面存的值不一样了[[scope]]还是那个[[scope]],这个时候我们不看下面,这个时候假如我们访问一个变量的话,我们访问的是a的[[scope]],是从a的[[scope]]里面拿东西,a的scope是一个仓库,这个库里面存了个作用域链,里面挂了各种变量,我去里面拿东西的时候,就置顶向下去找。
然后a的执行,产生了b被定义,a执行了b才能被定义,b被定义的时候有个天生的[[scope]],[[scope]]里面存了一个它所应该有的作用域链,但是它有的作用域链和 a 的不一样,a 被定义的时候,是在全局里面,所能返访问的属性也只有它自己的 AO 还有全局的 GO,但是 b 是在 a 函数里面定义的,所以 b 的[[scope]]不仅可以访问自己的 AO,也可以访问到 a 的 AO,还有全局的 GO。
b | / |
---|---|
[[scope]] | / |
scope指向scope chain
scope chain | scope指向这里 |
---|---|
0 这个位置的0指向自己的AO | 0自己的AO |
1 这个位置的1指向的a的AO | 1指向的a的AO |
2 这个位置的0指向GO | 0指向GO |
Activation Object | 0指向的是这个表 |
---|---|
this | window |
arguments | [] |
b | 234; |
Activation Object | 1指向的是这个表 |
---|---|
this | window |
arguments | [] |
a | 123 |
b | (function) |
Global Object | 2指向的是这个表 |
---|---|
this | window |
window | (object) |
document | (object) |
a | (function) |
glob | 100 |
作用域销毁
当 b 执行完之后,销毁自己的 ao,回到定义状态,等待下次被执行。
因为b是函数a的最后一句,所以当 b 执行完之后,a也销毁掉这么连带着 b 的[[scope]]也被销毁,回到定义状态,等待下次被执行。
//例子
function a() {
function b() {
function c(){
}
c();
}
b();
}
a();
a defined a.[[scope]] --> 0:GO
a doing a.[[scope]] --> 0:a的AO
1:GO
b defined b.[[scope]] --> 0:a的AO
1:GO
b doing b.[[scope]] --> 0:自己的AO
1:a的AO
2:GO
c defined c.[[scope]] --> 0:a的AO
1:c的AO
2:GO
c doing c.[[scope]] --> 0:自己的AO
1:b的AO
2:a的AO
3:GO