软件下载 | 资讯教程 | 最近更新 | 下载排行 | 一键转帖 | 发布投稿
您的位置:最火下载站 > Web前端 > Ajax/JavaScript > ECMA-262-3 深入解析.第四章.作用域链(2)

ECMA-262-3 深入解析.第四章.作用域链(2)

函数的生命周期

函数的的生命周期分为创建和激活阶段,让我们详细研究它。

函数创建

众所周知,在进入上下文时函数声明放到变量/激活(VO/AO)对象中。让我们看看在全局上下文中的变量和函数声明(这里变量对象是全局对象自身,我们还记得,是吧?)

var x = 10;
function foo() {
  var y = 20;
  alert(x + y);
}
foo(); // 30

在函数激活时,我们得到正确的(预期的)结果--30。但是,有一个很重要的特点。

此前,我们谈到有关当前上下文的变量对象。这里,我们看到变量“y”在函数“foo”中定义(意味着它在foo上下文的AO中),但是变量“x”并未在“foo”上下文中定义,相应地,它也不会添加到“foo”的AO中。乍一看,变量“x”并不为函数“foo”而生。但正如我们在下面看到的,仅仅是“一瞥”,我们看到,“foo”上下文的激活对象中仅包含一个属性--“y”。

fooContext.AO = {
  y: undefined // undefined – on entering the context, 20 – at activation
};

函数“foo”如何访问到变量“x”?逻辑上假定函数应该访问一个更高一层上下文的变量对象。实际上它正是这样,这种机制是通过函数内部的[[scope]]属性来实现的。

[[scope]]是所有父变量对象的层级链,处于当前函数上下文之上,在函数创建时存于其中。

注意这重要的一点--[[scope]]在函数创建时被存储--静态(不变的),永远永远,直至函数销毁。即:函数永不调用,但[[scope]]属性已经写入,并存储在函数对象中。

另外一个需要考虑的是--与作用域链对比,[[scope]]是函数的一个属性而不是上下文。考虑到上面的例子,函数“foo”的[[scope]]如下:

foo.[[Scope]] = [
  globalContext.VO // === Global
];

举例来说,我们用通常的ECMAScript 数组再现作用域[[scope]]

继续,我们知道在函数调用时进入上下文,这里激活对象被创建,this作用域(作用域链)被确定。让我们详细考虑这一时刻。

函数激活

标识符解析过程包含与变量名对应属性的查找。即作用域中变量对象的连续查找,从最深的上下文开始,绕过作用域链直到最上层。

这样一来,一个上下文中的局部变量在向上查找中比父作用域拥有较高的优先级。万一有两个变量有相同的名称但来自不同的作用域,那么第一个是在最深作用域中被发现的。

我们用一个有些复杂的例子描述上面讲到的这些。

var x = 10;
function foo() {
  var y = 20;
  function bar() {
    var z = 30;
    alert(x +  y + z);
  }
  bar();
}
foo(); // 60

对此,我们有如下的变量/激活对象,函数的的[[scope]]属性以及上下文的作用域链

全局上下文的变量对象是:

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

在“foo”创建时,“foo”的[[scope]]属性是:

foo.[[Scope]] = [
  globalContext.VO
];

在“foo”激活时(进入上下文),“foo”上下文的激活对象是:

fooContext.AO = {
  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.AO,
  globalContext.VO
];

相关阅读
栏目导航
推荐软件