首页 > 编程笔记 > JavaScript笔记 > JS函数 阅读:435

JS作用域链的详解

JavaScript 作用域属于静态概念,根据词法结构来确定,而不是根据执行来确定。作用域链是 JavaScript 提供的一套解决标识符的访问机制—— JavaScript 规定每一个作用域都有一个与之相关联的作用域链。

作用域链用来在函数执行时求出标识符的值。该链中包含多个对象,在对标识符进行求值的过程中,会从链首的对象开始,然后依次查找后面的对象,直到在某个对象中找到与标识符名称相同的属性。如果在作用域链的顶端(全局对象)中仍然没有找到同名的属性,则返回 undefined 的属性值。

在每个对象中进行属性查找的时候,还会使用该对象的原型域链(后续将会讲解原型链)。在一个执行上下文,与其关联的作用域链只会被 with 语句和 catch 子句影响。

【实例1】在下面示例中,通过多层嵌套函数设计一个作用域链,在最内层函数中可以逐级访问外层函数的私有变量。
var a = 1;  //全局变量
(function () {
    var b = 2;  //第1层局部变量
    (function () {
        var c = 3;  //第2层局部变量
        (function () {
            var d = 4;  //第3层局部变量
            console.log(a + b + c + d);  //返回10
        }) ()  //直接调用函数
    }) ()  //直接调用函数
}) ()  //直接调用函数
在上面代码中,JavaScript 引擎首先在最内层活动对象中查询属性 a、b、c 和 d,从中只找到了属性 d,并获得它的值(4);然后沿着作用域链,在上一层活动对象中继续查找属性 a、b 和 c,从中找到了属性 c,获取它的值(3)······以此类推,直到找到所有需要的变量值为止,如图所示。


下面结合一个示例,通过函数的创建和激活两个阶段来介绍作用域链的创建过程。

1) 函数创建

函数的作用域在函数定义的时候就已经确定。每个函数都有一个内部属性 [[scope]],当函数创建的时候,[[scope]] 保存所有父变量对象的引用,[[scope]] 就是一个层级链。注意,[[scope]] 并不代表完整的作用域链。例如:
function f1() {
    function f2() {
        //...
    }
}
在函数创建时,每个函数的 [[scope]] 如下,其中 globalContext 表示全局上下文,VO 表示变量对象,f1Context 表示函数 f1 的上下文,AO 表示活动对象。
f1.[[scope]] = [
    globalContext.VO
];
f2.[[scope]] = [
    f1Context.AO,
    globalContext.VO
];

2) 函数激活

当函数激活时,进入函数上下文,创建 VO/AO 后,就会将活动对象添加到作用域链的前端。这时如果命名执行上下文的作用域链为 Scope,则可以表示为:
Scope = [AO].concat([[scope]]);
至此,作用域链创建完毕。

【实例2】下面示例结合变量对象和执行上下文栈,总结函数执行上下文中作用域链和变量对象的创建过程。
var g = "global scope";  //全局变量
function f() {  //声明函数
    var 1 = 'local scope';  //私有变量
    return 1;  //返回私有变量
}
f();  //调用函数
函数执行过程如下:
1) f 函数被创建,保存作用域链到内部属性[[scope]]。
f.[[scope]] = [  //当前函数的作用域链
    globalContext.VO  //全局上下文的变量对象
];

2) 执行 f 函数,创建 f 函数的执行上下文,f 函数的执行上下文被压入执行上下文栈。
ECStack = [  //执行上下文栈
    fContext,  //函数的执行上下文
    globalContext  //全局上下文
];

3) f 函数并不立刻执行,开始准备工作。准备工作包括以下 3 项:
①复制函数 f 的 [[scope]] 属性,创建作用域链。
fContext = {  //函数的执行上下文
    Scope : f.[[scope]],  //把函数的作用域添加到函数的执行上下文
}
②使用 arguments 创建活动对象,然后初始化活动对象,加入形参、声明函数、变量声明。
fContext = {  //函数的执行上下文
    AO : {  //函数的活动对象
        arguments : {  //为活动对象添加arguments
            length : 0
        },
        1 : undefined  //创建本地变量
    }
}
③将活动对象压入 f 作用域链顶端。
fContext = {  //函数的执行上下文
    AO : {  //活动对象
        arguments : {  //参数集合
            length : 0
        },
        1 : undefined  //本地变量
    },
    Scope : [AO, [[Scope]]]  //作用域链
}

4) 准备工作做完,开始执行函数。随着函数的执行,修改 AO 的属性值。
fContext = {  //函数的执行上下文
    AO : {  //活动对象
        arguments : {  //参数集合
            length : 0
        },  
        1 : 'local scope'  //初始化本地变量
    },
    Scope : [AO, [[Scope]]]  //作用域链
}

5) 查找到本地变量 1 的值,然后返回 1 的值。

6) 函数执行完毕,函数上下文从执行上下文栈中弹出。
ECStack = [  //执行上下文栈
    globalContext  //全局上下文
];

所有教程

优秀文章