javascript - 什么是声明性环境记录，它与激活对象有何不同？

Question

好的，所以我最近一直在阅读有关 ES-5 词法环境作用域的内容，但我不确定我是否真的了解变量在 EcmaScript 中的存储方式。我做了一些研究，但没有澄清我的信息，只给我提出了两个问题。所以他们是:

1. 第一个是关于 ES-3 activations objects/variable objects。在阅读了 ES-3 规范和 Internet 上的一些资源后，我可以假设它们只是普通对象，例如那些由 new Object 创建的对象，但是没有一个资源说“是的，这只是一个普通的对象”直接。此外，Dmitry Soshnikov 在他的博客中写道(重点是我的):

   Schematically and for examples, it is possible to present variable object as a normal ECMAScript object

   并且该引文并没有让我确定什么是真正的激活对象。所以这是第一个问题:激活对象是常规 EcmaScript 对象吗？如果不是，那又是什么呢？

2. 在 ES-5 中，我们现在有对象环境记录，这似乎与 ES-3 激活对象或多或少相同，以及声明性环境记录，它取代了函数和 try-catch 语句中的激活对象。那么，假设对象环境记录是只是普通的 EcmaScript 对象，那么什么是声明性环境记录？规范没有阐明这一点，此外，从我在那里读到的内容来看，我无法想象这不是作为一个对象实现的。那么，再说一次，如果声明性环境记录不是 ES 对象，那么它们是什么以及它们在代码执行期间是如何实现和表示的？

非常感谢你提前为我阐明了这个话题。

编辑:我想我需要澄清这个问题是关于什么的。我想知道的主要是激活对象/对象环境记录和声明性环境记录之间的确切区别是什么。这是我最感兴趣的。

Answer 1

首先，您必须意识到所有这些术语都只是描述概念。他们不规定任何类型的实现。但由于这可能难以想象/可视化，因此将这些概念视为您已知事物(如 map 或表格)的实例化可能有帮助。

声明式环境记录 (DER) 和对象环境记录 (OER) 有一个共同点:它们都是环境记录 (ER )，定义为 in the specification作为:

An Environment Record records the identifier bindings that are created within the scope of its associated Lexical Environment.

这基本上意味着 ER 会跟踪变量和函数名称及其相关值。

考虑这个例子:

var foo = 42;
function bar() { };

相应的 ER 将有两个条目，一个用于 foo，一个用于 bar。如果您将 ER 想象成一张 table ，那么它看起来像

  name        value
----------------------
  foo          42
  bar    <function object>

现在谈谈 DER 和 OER 之间的区别。 DER 可能是最容易理解的。

Declarative Environment Record

术语声明 听起来应该很熟悉，因为我们经常谈论变量声明 和函数声明。规范说:

Each declarative environment record is associated with an ECMAScript program scope containing variable and/or function declarations. A declarative environment record binds the set of identifiers defined by the declarations contained within its scope.

所以，当你看到

var foo = 42;

或

function bar() {

}

然后您可以假设它们的名称和值存储在 DER 中。

Object Environment Record

OER 不太常见，但在每个 JS 应用程序中至少存在一个 OER。规范将其描述为

Each object environment record is associated with an object called its binding object. An object environment record binds the set of identifier names that directly correspond to the property names of its binding object.

你有没有想过为什么window对象的属性是全局变量？这是因为全局范围的 ER 是一个 OER:window 是绑定(bind)对象，并且在 OER 中为其每个属性创建一个对应的条目。这也在规范中:

The global environment’s Environment Record is an object environment record whose binding object is the global object.

这是一个例子:让我们假设绑定(bind)对象是

var obj = {
   answer: 42
};

那么 OER 就是

    name        value
------------------------
    answer       42

请注意，在这种情况下，绑定(bind)对象 (obj) 实际上是一个 JavaScript 对象。当您使用 with 语句时，您处于相同的情况:

var obj = { foo: 42; };

with (obj) {
    foo = foo / 2;
}

console.log(obj);

with 创建一个 OER 并使用传递的对象中的属性名称和值填充它。这就是为什么您无需通过 obj.* 显式引用它们就可以访问它们。如果一个标识符被分配给其中一个标识符，OER 还确保使用新值更新绑定(bind)对象。

---

激活对象

看起来像在 ES3 中，激活对象 (AO) 在执行函数时自动创建，并且它持有对特殊 arguments 对象的引用。这似乎与分布式能源有关，但仍然是独立的东西。
AO 的概念在 ES5 中似乎不再存在，我认为它是不必要的，因为 arguments 可以直接添加到执行上下文的 DER。

执行上下文

每当执行函数时都会建立一个新的执行上下文 (EC) 并用于跟踪执行状态:

An execution context contains whatever state is necessary to track the execution progress of its associated code.

这意味着引擎可以添加任何它需要的信息来跟踪执行进度。但是该规范还定义了 EC 必须 具有的组件，其中之一是 VariableEnvironment，它是一个 ER(可能总是一个 DER，但我不知道当然)。这意味着 ER 是 EC 的一部分。