你的位置:首页 > Java教程

[Java教程]javascript 作用域链


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

  执行环境(Execution Context)

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

  代码分为三种类型:

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

  这是一个EC结构

可以理解如下:

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

 

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

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

  变量对象(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)会有如下属性:

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

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

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加入到作用域链的顶端,这样在标识符查找时,需要查找更长的作用域链。

  闭包

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