javascript - 可变/词法环境

Question

如sec 10.4.3中所述


  当控制进入执行时，执行以下步骤
  功能对象F（调用者）中包含的功能代码的上下文
  提供thisArg，而调用方提供argumentsList：
  
  
  如果功能代码是严格代码，则将ThisBinding设置为thisArg。
  否则，如果thisArg为null或未定义，则将ThisBinding设置为全局对象。
  否则，如果Type（thisArg）不是Object，则将ThisBinding设置为ToObject（thisArg）。
  否则将ThisBinding设置为thisArg。
  令localEnv为调用NewDeclarativeEnvironment的结果，并传递F的[[Scope]]内部属性的值作为
  论点。
  将LexicalEnvironment设置为localEnv。
  将VariableEnvironment设置为localEnv。
  令code为F的[[Code]]内部属性的值。
  使用功能代码code和argumentsList执行声明绑定实例化，如10.5中所述。
  


考虑以下代码片段：

function foo(){
    var a={p:'p'};
    o={c:'c'};
}

因此，我们有以下内容：


我们功能的代码不是严格的代码
thisArg为空，因此， ThisBinding设置为全局对象
---
---
我不明白什么绑定将包含由 environment record内部属性表示的 [[Scope]]。
将 LexicalEnvironment设置为在步骤5中获得的环境。
将 VariableEnvironment设置为在步骤5中获得的环境。
执行声明绑定声明。


在第8步，在VariableEnvironment中创建绑定，但不在LexicalEnvironment中创建绑定。但是在 sec 10.3中说


  创建执行上下文时，其LexicalEnvironment和
  VariableEnvironment组件最初具有相同的值。


题：

为什么在创建执行上下文后，在上述情况下LexicalEnvironment和VariableEnvironment仍然相等？

Answer 1

我不确定我是否理解您的问题，但这是我如何理解10.4.3节：

步骤1到4处理这个值。基本上，在严格模式下，this将保留为null或undefined值，而不是默认为全局对象（对于浏览器为window）。这涵盖了没有通过常规对象或事件处理程序机制调用函数的情况。

第5步到第7步意味着每次输入函数都会创建一个新的命名环境。
它描述了此环境的创建，该环境链接到前一个环境以形成当前名称范围。

对于每个新功能，两个环境共存。
解析名称后，首先搜索词法环境，然后搜索变量环境。如果两个搜索均失败，则在环境链的高层重复该过程，直到遇到“包罗万象”的全局范围。在此范围内，所有标识符都作为全局（window）对象的属性进行处理。您可以将其描绘为整个代码包含在with (window)块中。

词汇环境可以看作是变量范围的暂时扩大。
词汇和变量环境在功能上是相同的，除非您使用两个特定的语句更改词汇环境：with或catch。这并不意味着它们被实现为相同的数据结构。

在实现方面，您可以将词汇环境想象为一个空列表，将变量环境想象为一个包含所有局部变量和参数名称的列表。
当遇到catch或with语句时，将使用新名称填充词法列表，这些新名称将优先于存储在变量列表中的名称。

catch只会使其参数可用于名称解析（即，允许您引用异常参数）。没什么大不了的，因为新名称与函数参数一样明确。

with是一种更加危险的野兽。它将创建一个新环境，其中将对象的所有属性的名称作为参数传递。范围将由可变环境链和这个新的词汇环境组成。
在这里，可用于解析的新名称被“隐藏”在对象内部。
例如：

var a = 'a', b = 'surprise!', o = {a:'a'};
with (o) { a = b; }
console.log (a+" "+b+" "+o.a);

将产生

a surprise! surprise!

由于 a包含一个名为 o.a的属性，因此将 o解析为 a。
在词法环境中找不到 b，因此尝试使用当前的变量环境并找到了变量 'b'。
这是一种非常危险的机制，因为如果您认为某个对象包含一个给定的属性，而实际上却没有，则您将引用当前作用域之外的变量。
例如，像这样的简单错字：

with (element.style) {leftt = '10px';}

会将 window.leftt属性设置为 '10px'，除非您碰巧在当前作用域的某处声明了名为 leftt的变量。

现在，如果给对象属性赋予愚蠢的名称（如“ i”或“ j”），则可能会在相信设置对象属性的同时在作用域链上的某个地方破坏随机循环索引。

一旦建立了功能范围，步骤8将描述参数绑定。基本上，参数与值绑定，并将其名称添加到变量环境中。

保持两个独立环境的全部目的是，提升机制始终使用可变环境链作为作用域。

这样的想法是，变量或函数的行为就像在当前作用域块的顶部声明的那样，因此，例如，在with块内部声明的函数不应使用with语句公开的对象属性来解析其名称。

坦率地说，这是一个有争议的问题，因为ECMA规范不允许在块内声明函数，尽管大多数实现都允许这样做，但结果却有所不同。

现在为您的示例：

function foo(){
    var a={p:'p'};
    o={c:'c'};
}

您的函数不包含任何 with或 catch语句，因此'foo（）'内部的作用域链只是两个变量环境的列表：

global (a bunch of DOM objects all seen as properties of 'window')
    function foo (var a)

一旦调用foo（），


a将解析为foo的局部变量，将创建为具有值 p的属性 'p'的对象（并在离开foo（）时立即收集垃圾，除非您设法从持久变量中引用它） ）。
o在foo的可变环境中找不到，因此它将被'catch-all'全局范围捕获，因此将其解析为 window对象的（新）属性。它将创建一个值为 window.o.c的 'c'属性。


这是否对您的问题有所回答？