>

JavaScript深入之作用域链,深入之作用域链

- 编辑:澳门新葡亰平台游戏 -

JavaScript深入之作用域链,深入之作用域链

作用域链

在《JavaScript深入之变量对象》中讲到,当查找变量的时候,会先从当前上下文的变量对象中查找,如果没有找到,就会从父级(词法层面上的父级)执行上下文的变量对象中查找,一直找到全局上下文的变量对象,也就是全局对象。这样由多个执行上下文的变量对象构成的链表就叫做作用域链。

下面,让我们以一个函数的创建和激活两个时期来讲解作用域链是如何创建和变化的。

已离开简书,原因参见 http://www.jianshu.com/p/0f12350a6b66。

作用域链

当查找变量的时候,会先从当前上下文的变量对象中查找,如果没有找到,就会从父级(词法层面上的父级)执行上下文的变量对象中查找,一直找到全局上下文的变量对象,也就是全局对象。这样由多个执行上下文的变量对象构成的链表就叫做作用域链。

当代码在一个环境中执行时,会创建变量对象的一个作用域链。作用域链的用途是保证对执行环境有权访问的所有变量和函数的有序访问。

下面,让我们以一个函数的创建和激活两个时期来讲解作用域链是如何创建和变化的。

前言

在《JavaScript深入之执行上下文栈》中讲到,当JavaScript代码执行一段可执行代码(executable code)时,会创建对应的执行上下文(execution context)。

对于每个执行上下文,都有三个重要属性:

  • 变量对象(Variable object,VO)
  • 作用域链(Scope chain)
  • this

今天重点讲讲作用域链。

虽人微言轻,但也要有自己的态度。

  • 变量对象(Variable object,VO)
  • 作用域链(Scope chain)
  • this

澳门新葡亰平台游戏,JavaScript 深入之作用域链

2017/05/14 · JavaScript · 作用域链

原文出处: 冴羽   

文章可以在我的 Github https://github.com/mqyqingfeng/Blog 查看

对于每个执行上下文,都有三个重要属性:

函数创建

在《JavaScript深入之词法作用域和动态作用域》中讲到,函数的作用域在函数定义的时候就决定了。

这是因为函数有一个内部属性[[scope]],当函数创建的时候,就会保存所有父变量对象到其中,你可以理解[[scope]]就是所有父变量对象的层级链。(注意:[[scope]]并不代表完整的作用域链!)

举个例子:

function foo() { function bar() { ... } }

1
2
3
4
5
function foo() {
    function bar() {
        ...
    }
}

函数创建时,各自的[[scope]]为:

foo.[[scope]] = [ globalContext.VO ]; bar.[[scope]] = [ fooContext.AO, globalContext.VO ];

1
2
3
4
5
6
7
8
foo.[[scope]] = [
  globalContext.VO
];
 
bar.[[scope]] = [
    fooContext.AO,
    globalContext.VO
];

上一篇文章主要说的是变量对象

深入系列

JavaScript深入系列预计写十五篇左右,旨在帮大家捋顺JavaScript底层知识,重点讲解如原型、作用域、执行上下文、变量对象、this、闭包、按值传递、call、apply、bind、new、继承等难点概念,与罗列它们的用法不同,这个系列更注重通过写demo,捋过程、模拟实现,结合ES规范等方法来讲解。

所有文章和demo都可以在github上找到。如果有错误或者不严谨的地方,请务必给予指正,十分感谢。如果喜欢或者有所启发,欢迎star,对作者也是一种鼓励。

本系列:

  1. JavaScirpt 深入之从原型到原型链
  2. JavaScript 深入之词法作用域和动态作用域
  3. JavaScript 深入之执行上下文栈
  4. JavaScript 深入之变量对象

    1 赞 1 收藏 评论

澳门新葡亰平台游戏 1

函数创建

因为JavaScript是静态作用域,函数的作用域在函数定义的时候就决定了

这是因为函数有一个内部属性 [[scope]],当函数创建的时候,就会保存所有父变量对象到其中,你可以理解 [[scope]] 就是所有父变量对象的层级链

但是注意:[[scope]] 并不代表完整的作用域链!

这里一定主要 [[scope]]是函数的上层作用域链!!

实例:

function foo() {
    function bar() {
        ....
    }
}

函数创建的时候 各自的父级作用域链是这样的

foo.[[scope]] = [
    globalCotext.VO   //相当于父级是windows 变量对象
]
bar.[[scope]] = [
    fooContext.AO,    //bar() 的父级是foo 再父级是 全局  为活动对象
    globalContext.VO
];

函数体内的作用域链创建完毕

函数激活

当函数激活时,进入函数上下文,创建VO/AO后,就会将活动对象添加到作用链的前端。

这时候执行上下文的作用域链,我们命名为Scope:

Scope = [AO].concat([[Scope]]);

1
Scope = [AO].concat([[Scope]]);

至此,作用域链创建完毕。

这篇讲讲执行上下文的作用域链条

捋一捋

以下面的例子为例,结合着之前讲的变量对象和执行上下文栈,我们来总结一下函数执行上下文中作用域链和变量对象的创建过程:

var scope = "global scope"; function checkscope(){ var scope2 = 'local scope'; return scope2; } checkscope();

1
2
3
4
5
6
var scope = "global scope";
function checkscope(){
    var scope2 = 'local scope';
    return scope2;
}
checkscope();

执行过程如下:

1.checkscope函数被创建,保存作用域链到[[scope]]

checkscope.[[scope]] = [ globalContext.VO ];

1
2
3
checkscope.[[scope]] = [
  globalContext.VO
];

2.执行checkscope函数,创建checkscope函数执行上下文,checkscope函数执行上下文被压入执行上下文栈

ECStack = [ checkscopeContext, globalContext ];

1
2
3
4
ECStack = [
    checkscopeContext,
    globalContext
];

3.checkscope函数并不立刻执行,开始做准备工作,第一步:复制函数[[scope]]属性创建作用域链

checkscopeContext = { Scope: checkscope.[[scope]], }

1
2
3
checkscopeContext = {
    Scope: checkscope.[[scope]],
}

4.第二步:用arguments创建活动对象,随后初始化活动对象,加入形参、函数声明、变量声明

checkscopeContext = { AO: { arguments: { length: 0 }, scope2: undefined } }

1
2
3
4
5
6
7
8
    checkscopeContext = {
        AO: {
            arguments: {
                length: 0
            },
            scope2: undefined
        }
    }

5.第三步:将活动对象压入checkscope作用域链顶端

checkscopeContext = { AO: { arguments: { length: 0 }, scope2: undefined }, Scope: [AO, [[Scope]]] }

1
2
3
4
5
6
7
8
9
    checkscopeContext = {
        AO: {
            arguments: {
                length: 0
            },
            scope2: undefined
        },
        Scope: [AO, [[Scope]]]
    }

6.准备工作做完,开始执行函数,随着函数的执行,修改AO的属性值

函数激活

当函数激活时,进入函数上下文,创建 VO/AO 后,就会将活动对象添加到作用链的前端。

这时候执行上下文的作用域链,我们命名为 Scope:

将[AO]添加到作用域的最上面

Scope = [AO].concat([[Scope]]);

创建的时候已经将作用域链创建完毕

这里可能大部分人都不太看懂 我也是理解很久

通俗点解释(参考js高级程序设计P73)

当代码在一个环境中执行时,都会创建一个作用域链。 作用域链的用途是保证对执行环境有权访问的所有变量和函数的有序访问。整个作用域链的本质是一个指向变量对象的指针列表。作用域链的最前端,始终是当前正在执行的代码所在环境的变量对象。

当JavaScript代码执行一段可执行代码(executable code)时,会创建对应的执行上下文(execution context)。

未进入执行阶段之前,变量对象(VO)中的属性都不能访问!但是进入执行阶段之后,变量对象(VO)转变为了活动对象(AO),里面的属性都能被访问了,然后开始进行执行阶段的操作。

它们其实都是同一个对象,只是处于执行上下文的不同生命周期。

关于函数创建的执行环境 书上这么说的

执行环境是JavaScript中的重要概念之一。执行环境定义了变量或函数有权访问的其他数据,决定了他们各自的行为。每个执行环境都有一个与之关联的变量对象,环境中定义的所有变量和函数都保存在这个对象中。
全局执行环境是最外围的一个执行环境。在Web浏览器中,全局执行环境被认为是window对象,因此所有全局变量和函数都是作为window对象的属性和方法创建的。某个执行环境中的所有代码执行完毕后,该环境被销毁,保存在其中的所有变量和函数定义也随之销毁(全局执行环境知道应用程序退出–例如关闭网页或浏览器—时才会被销毁)
每个函数都有自己的执行环境。当执行流进入一个函数时,函数的环境就会被推入一个环境栈中。而在函数执行后,栈将其环境弹出,把控制权返回给之前的执行环境。
执行环境的建立分为两个阶段:进入执行上下文(创建阶段)和执行阶段(激活/执行阶段)
(1)进入上下文阶段:发生在函数调用时,但在执行具体代码之前。具体完成创建作用域链;创建变量、函数和参数以及求this的值
(2)执行代码阶段:主要完成变量赋值、函数引用和解释/执行其他代码
总的来说可以将执行上下文看作是一个对象

EC = {
    VO:{/*函数中的arguments对象、参数、内部变量以及函数声明*/}
    this:{},
    Scope:{/*VO以及所有父执行上下文中的VO*/}

以下面的例子为例,结合着之前讲的变量对象和执行上下文栈,我们来总结一下函数执行上下文中作用域链和变量对象的创建过程:

var scope = "global scope";
function checkscope(){
    var scope2 = 'local scope';
    return scope2;
}
checkscope();
  1. checkscope函数被创建 保存作用域链到内部属性 [[scope]]
checkscope.[[scope]] = [
    globalContext.VO     //父级作用域为全局作用域
];
  1. 执行checkscope函数,创建checkscope函数上下文,checkscope函数执行上下文被压入执行上下文栈
ECStack = [
    checkscopeContext,    //进入执行上下文栈
    globalContext
];
  1. checkscope 函数并不立刻执行,开始做准备工作,第一步:复制函数[[scope]]属性创建作用域链
checkscopeContext = {
    Scope: checkscope.[[scope]],       //获取作用域链
}
  1. 第二步:用 arguments 创建活动对象,随后初始化活动对象,加入形参、函数声明、变量声明
checkscopeContext = {
    AO: {
        arguments: {
            length: 0
        },
        scope2: undefined 
    },
    Scope: checkscope.[[scope]],
}
  1. 第三步:将活动对象压入 checkscope 作用域链顶端
checkscopeContext = {
    AO: {
        arguments: {
            length: 0
        },
        scope2: undefined
    },
    Scope: [AO, [[Scope]]]      //将当前函数的活动对象加入作用链
}

6.准备工作做完,开始执行函数,随着函数的执行,修改 AO 的属性值

checkscopeContext = {
    AO: {
        arguments: {
            length: 0
        },
        scope2: 'local scope'   //执行代码的时候 赋值
    },
    Scope: [AO, [[Scope]]]
}

查找到 scope2 的值,返回后函数执行完毕,函数上下文从执行上下文栈中弹出

ECStack = [
    globalContext   //执行完毕 弹出栈
];

作为JavaScript里面很重要的概念 作用域链 可以参照JavaScript高级程序设计 P73 (执行环境与作用域) 好好理解

本文由前端php发布,转载请注明来源:JavaScript深入之作用域链,深入之作用域链