转载

javascript 作用域链

最近想整理一下js执行代码的一些知识,如果有出错的地方还请指正。

执行环境(Execution Context)

所有的javascript代码都是在一个执行环境中被执行的。它只是一种机制,用来完成运行时作用域、生存期等方面的处理。

代码分为三种类型:

  1. Global Code 
  2. Eval Code
  3. Function Code 

这是一个EC结构

javascript 作用域链

可以理解如下:

activeExecutionContext = {  VO: {...}, // or AO  this: thisValue,  Scope: [ // Scope chain    // 所有变量对象的列表    // for identifiers lookup  ] }; 

当一段程序开始时,会先进入到全局执行上下文环境。此时如果调用了某些函数,就会进入他们的上下文环境,执行完之后再退出该上下文环境。

假设激活了一个EC1的上下文,图解如下

javascript 作用域链

变量对象(VO)和活动对象(AO)

变量对象是一个与上下文相关的数据作用域,用于存储被定义在上下文中的变量和函数声明(不包括函数表达式)。在global全局上下文中,变量对象即使全局对象自身。

copy一个例子

var foo = 10;  function bar() {} // // 函数声明 (function baz() {}); // 函数表达式  console.log(   this.foo == foo, // true   window.bar == bar // true );  console.log(baz); // 引用错误,baz没有被定义

全局上下文中的变量对象(VO)会有如下属性:

javascript 作用域链

在一个函数的上下文中,变量对象被表示为活动对象

活动对象在进入上下文中初始化成了

AO = {   arguments: <ArgO> };

arguments属性值就是Arguments对象

之后就是存储当前上下文的变量与函数声明

作用域链

作用域链是一个 对象列表,用于检索上下文中出现的 标识符(变量名称、函数声明,普通参数)。

在函数创建的时候,当前的作用域链被存储到了函数的[[scope]]属性中。当进入上下文创建AO/VO之后,上下文(EC)的Scope属性作了如下处理:

Scope = AO|VO + [[Scope]]

知识点就是这些,现在我们来一段代码,把过程给串联起来。在这之前,我们要知道另一个知识,就是执行上下文的代码被分成两个基本的阶段来处理

  1. 进入执行上下文
  2. 执行代码
var x = 10;   function foo(m) {   var y = 20;     function bar() {     var z = 30;     alert(x +  y + z + m);   }     bar(); }   foo(10); // 60

首先先进入全局上下文环境

全局上下文的变量对象(代码执行时,x才被赋值)是:

globalContext.VO === Global = {   x: 10   foo: <reference to function> };

globalContext.Scope = globalContext.VO;

当"foo"创建时,

foo.[[Scope]] = [   globalContext.Scope ];
//也就是
foo.[[Scope]] = [
globalContext.VO
];

在"foo"激活时,进入了foo的上下文,foo上下文中的活动对象(代码执行时,y才被赋值)是:

fooContext.AO = {
arguments:<Arg>,
m: 10,
y:
20, bar: <reference to function> };

此时foo上下文中的作用域链为:

fooContext.Scope = fooContext.AO + foo.[[Scope]] // i.e.:   fooContext.Scope = [   fooContext.AO,   globalContext.VO ];

函数"bar"创建时,其[[scope]]为:

bar.[[Scope]] = fooContext.Scope;
//也就是
bar.[[Scope]] = [ fooContext.AO, globalContext.VO ];

同理,bar就不写了。最后bar上下文的作用域链为:

barContext.Scope = barContext.AO + bar.[[Scope]]    barContext.Scope = [   barContext.AO,   fooContext.AO,   globalContext.VO ];

在alert执行时,作用域链中查找标示符如下

查找 x,  barContext.AO 无 ----> fooContext.AO 无 ---->globalContext.VO 有

查找 Z,  barContext.AO 有

其他的就自己看了。

局部变量、全局变量

在作用域链中查找标识符是需要花时间的,所以就明白为什么需要尽量使用局部变量(将频繁使用的全局变量缓存下来),全局变量尽量少用了。并且with会破坏作用域链,它会将指定的VO/AO加入到作用域链的顶端,这样在标识符查找时,需要查找更长的作用域链。

闭包

理解了上面的概念,闭包就很容易理解了。闭包是代码块和创建该代码块的上下文中数据的结合。

正文到此结束
Loading...