作用域精解

  • [[scope]] : 每个 JavaScript 函数都是一个对象。对象中有些属性我们可以访问,但有些不可以,这些属性仅提供 JavaScript 引擎存取, [[scope]] 就是其中一个。

  • [[scope]] :指的就是我们所说的作用域,其中存储了运行期上下文的集合。

  • 作用域链 : [[scope]] 中存储的执行期上下文对象的集合,这个集合呈链式链接,我们把这种链式链接叫做作用域链。

  • 运行期上下文 : 当函数执行时,会创建一个称为执行期上下文的内部对象。一个执行期上下文定义了一个函数执行时的环境,函数每次执行时对应的执行上下文都是独一无二的,所以多次调用一个函数会导致创建多个执行期上下文,当函数执行完毕,它所产生的执行上下文被销毁。

  • 查找变量 : 从作用域链的顶端依次向下查找。

  1. function a() {
  2. function b(){
  3. var b = 234;
  4. };
  5. var a = 123;
  6. b();
  7. }
  8. var glob = 100;
  9. 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]]也被销毁,回到定义状态,等待下次被执行。

  1. //例子
  2. function a() {
  3. function b() {
  4. function c(){
  5. }
  6. c();
  7. }
  8. b();
  9. }
  10. a();
  1. a defined a.[[scope]] --> 0:GO
  2. a doing a.[[scope]] --> 0:aAO
  3. 1:GO
  4. b defined b.[[scope]] --> 0:aAO
  5. 1:GO
  6. b doing b.[[scope]] --> 0:自己的AO
  7. 1:aAO
  8. 2:GO
  9. c defined c.[[scope]] --> 0:aAO
  10. 1:cAO
  11. 2:GO
  12. c doing c.[[scope]] --> 0:自己的AO
  13. 1:bAO
  14. 2:aAO
  15. 3:GO

所以外部函数访问不到内部函数的属性和值