IT知识程序员

【译】JS的执行上下文和环境栈是什么?

2019-03-11  本文已影响6人  Ming_Hu

这篇文章中,我将深入探讨JavaScript中的一个最基本的部分,即执行上下文(或称环境)。读过本文后,你将更加清楚地了解到解释器尝试做什么,为什么在声明某些函数/变量之前,可以使用它们以及它们的值是如何确定的。

执行上下文是什么?

在运行JavaScript代码时,执行环境非常重要,并可以认为是以下其中之一:

你可以在网上查到大量的关于scope(作用域)的资料,本文的目的就是要让事情更加容易理解。我们把术语执行上下文视为当前代码的评估环境/范围。现在,条件充足,我们看个包含全局和函数/本地上下文评估代码的示例。

img1

这里没什么特别的,我们有1个由紫色边框表示的全局上下文和由绿色、蓝色和橙色边框表示的3个不同的函数上下文。只有1个全局上下文,我们可以从程序的任何其它上下文访问。

你可以拥有任意数量的函数上下文,并且每个函数调用都会创建一个新的上下文,从而创建一个私有的作用域,无法从当前函数作用域外直接访问函数内部声明的任何内容。在上面的例子中,函数可以访问在其当前上下文之外声明的变量,但是外部上下文无法访问(函数)其中声明的变量/函数。为什么会这样?这段代码究竟是如何评估的?

环境栈

浏览器中的JavaScript解释器是单线程实现的。这意味着在浏览器中一次只能发生一件事情,其它动作或事件在所谓的执行栈中排队。下图是单线程栈的抽象视图:

img2

我们知道,当浏览器首次加载脚本时,它默认进入全局执行上下文。如果在全局代码中调用一个函数,程序的顺序流就进入被调用的函数,创建一个新的执行上下文并将该上下文推送到执行栈的顶部。

如果你在当前函数中调用另外一个函数,则会发生同样的事情。代码的执行流程进入函数内部,该函数创建一个新的执行上下文,该上下文被推送到现有栈的顶部。浏览器将始终执行位于栈顶部的当前执行上下文,并且一旦函数完成当前执行上下文,它将从栈顶弹出,将控制权返回当前栈的栈顶上下文。下面的例子展示了递归函数和其程序的执行栈

(function foo(i) {
    if (i === 3) {
        return;
    }
    else {
        foo(++i);
    }
}(0));
img3

上面代码只调用自身3次,将i的值递增1。每次调用函数foo时,都会创建一个新的执行上下文。一旦上下文执行完毕,它就会弹出栈并且将控制权返回它下面的上下文,直到再次到达全局上下文

关于执行栈有五个关键点:

执行上下文的细节

所以,我们现在知道每次调用一个函数时,都会创建一个新的执行上下文。但是,在JavaScript的解释器中,执行上下文的调用都有两个阶段:

  1. 创建阶段【调用函数时,但是在执行里面的代码之前】:
  1. 激活/代码执行阶段:

可以将每个执行上下文在概念上标示为具有3个属性的对象:

executionContextObj = {
    'scopeChain': { /* variableObject + all parent execution context's variableObject */ },
    'variableObject': { /* function arguments / parameters, inner variable and function declarations */ },
    'this': {}
}

活动/变量对象【AO/VO】

调用函数时,但在执行实际函数之前,会创建此executionContextObj。这被称为阶段1,即创建阶段。这里,解释器通过扫描传入的参数或参数的函数、本地函数声明和局部函数声明来创建executionContextObj。此扫描的结果将称为executionContextObj中的variableObject

以下是解释器如何评估代码的伪概述:

  1. 找些代码来调用一个函数
  2. 在执行函数代码之前,创建执行上下文
  3. 进入创建阶段
  1. 激活/代码执行阶段:

看下下面的例子:

function foo(i) {
    var a = 'hello';
    var b = function privateB() {

    };
    function c() {

    }
}

foo(22);

调用foo(22),创建阶段如下:

fooExecutionContext = {
    scopeChain: { ... },
    variableObject: {
        arguments: {
            0: 22,
            length: 1
        },
        i: 22,
        c: pointer to function c()
        a: undefined,
        b: undefined
    },
    this: { ... }
}

正如你所见,创建阶段处理定义属性的名称,而不是为它们赋值,但正式参数/参数除外创建阶段完成后,执行流程进入函数,激活/代码执行阶段在函数执行完毕后如下所示:

fooExecutionContext = {
    scopeChain: { ... },
    variableObject: {
        arguments: {
            0: 22,
            length: 1
        },
        i: 22,
        c: pointer to function c()
        a: 'hello',
        b: pointer to function privateB()
    },
    this: { ... }
}

“提升”一词

你可以在网上找到很多定义JavaScript术语-提升的资源,解释变量和函数声明是否被提升到其功能范围的顶部。但是,没有人详细解释为什么会发生这种情况,在掌握了关于解释器如何创建活动对象的新知识点,就很容易理解为什么了。看下下面的代码例子:

(function() {

    console.log(typeof foo); // function pointer
    console.log(typeof bar); // undefined

    var foo = 'hello',
        bar = function() {
            return 'world';
        };

    function foo() {
        return 'hello';
    }

}());​

我们现在可以回答下面这些问题了:

总结

希望到现在,你已经很好地掌握了JavaScript解释器是如何评估你的代码。理解执行上下文和环境栈可以让你了解代码的评估和你预期不同值的原因。

你是认为了解解释器的内部工作原理是多余的还是必要的JavaScript知识点呢?知道执行上下文是否有助你编写出更好的JavaScript?

笔记:有些人一直在询问闭包,回调,timeout等知识点,我将在下一篇文章中介绍,更多地关注与执行环境相关的作用域链

扩展阅读

原文: http://davidshariff.com/blog/what-is-the-execution-context-in-javascript/

文章首发:https://github.com/reng99/blogs/issues/11

同步掘金:https://juejin.im/post/5c855410e51d45555e2626fd

更多内容:https://github.com/reng99/blogs

上一篇 下一篇

猜你喜欢

热点阅读