ECMAScript：我们在哪里可以找到有关 let/const 变量可访问性的规范

Question

在ECMAScript specification 中，我们在哪里可以找到关于为什么let 和const 在使用BlockStatements 创建的词法环境 之外无法访问的明确说明（而不是用var) 声明的变量？

如果 BlockStatements 现在创建 new lexical environments，则 let 和 const 声明不应创建可在该词法环境之外访问的变量，但 var 变量应该创建。我试图了解在最新的 ECMAScript 规范中究竟在哪里指定了该行为。

来自13.3.1 Let and Const Declarations：

let 和 const 声明定义了范围为正在运行的执行上下文的 LexicalEnvironment 的变量。变量是在实例化包含它们的词法环境时创建的，但在评估变量的词法绑定之前不得以任何方式访问。

来自13.3.2 Variable Statement：

var 语句声明了范围为正在运行的执行上下文的 VariableEnvironment 的变量。 var 变量在其包含的词法环境被实例化时创建，并在创建时初始化为 undefined。

正如所见，两个变量声明都在其包含的词法环境被实例化时创建变量。在 BlockStatement 的情况下是编译器进入块的时间。

来自8.3 Execution Contexts：

执行上下文的 LexicalEnvironment 和 VariableEnvironment 组件始终是 Lexical Environments

Answer 1

正如您在var 的描述中看到的，它的作用域是正在运行的执行上下文的VariableEnvironment。有一个顶级VariableEnvironment，然后创建一个新的when you enter a function，然后在this part about Execution Contexts，它说：

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

所以，在函数的开头，LexicalEnvironment 和 VariableEnvironment 是一回事。

然后，在13.2.13 Runtime Semantics: Evaluation Block: { } 下方，您可以看到当您进入该区块时会创建一个新的LexicalEnvironment，而当您离开该区块时会恢复之前的LexicalEnvironment。但是，当你进入或离开一个块时，没有提到新的VariableEnvironment（因为它在函数中保持不变）。

因此，由于 let 和 const 的作用域仅限于声明它们的 LexicalEnvironment 并且是块本地的，因此在块外无法访问它。

但是，var 的作用域是 VariableEnvironment，它只创建并作用于整个函数，而不是块。

let 和 const 变量不能在它们的 LexicalEnvironment 之外访问，因为一旦执行上下文离开它们的块，它们的定义就不在作用域层次结构中（一旦你离开块，它们的 LexicalEnvironment 本质上就是从堆栈中弹出，不再在解释器查找变量的范围搜索链中）。

---

当规范添加这个时：

[let 和 const] 变量在实例化它们的包含词法环境时创建，但在评估变量的词法绑定之前不得以任何方式访问。

这意味着在评估它们的定义之前，即使在它们自己的词法环境中，您也被拒绝访问它们。用外行的话来说，这意味着它们不会像var 那样被提升到其范围的顶部，因此在定义之前不能使用。这是通过不初始化LexicalEnvironment 中的const 变量来实现的，直到其语句运行并且查找变量的GetBindingValue() 操作将看到它尚未初始化并抛出ReferenceError . var 变量会立即初始化为 undefined，因此它们不会导致 ReferenceError。

你可以在这段代码中看到它是如何工作的：

let x = 3;

function test() {
    x = 1;
    let x = 2;
    console.log("hello");
}
test();

在let x = 3 行，变量x 在外部LexicalEnvironment 中初始化。

然后，当您调用 test() 时，在该函数的开头，会创建一个新的 LexicalEnvironment，此块中 x 的新声明将放入新的 LexicalEnvironment，但尚未初始化。

然后，您将看到x = 1 语句。解释器查找x，在当前的LexicalEnvironment 中找到它，但是它没有初始化，所以它抛出了一个ReferenceError。

---

根据您评论中的问题：

我一直在颠倒规范，但很难发现 VariableEnvironments 只是为函数创建的。您能否添加一个答案，显示您遵循规范中的哪些步骤来得出上述结论？

您必须遍历规范中创建VariableEnvironment 的所有位置，您会发现发生这种情况的唯一位置是函数执行的开始和顶层。

例如，这些地方有一个：PrepareForOrdinaryCall。还有其他几个。

但是，没有任何地方描述过块开始时发生的这种情况，只是函数的开始。

这些规范的编写方式，它们描述了事情发生的时间，而不是事情不发生的时间（这在逻辑上是有道理的），但这意味着要证明事情没有发生，你必须在任何地方都找不到说它确实发生了。