JavaScript 专家：为什么 `with` 会使编译器的作用域相关优化无效

Question

阅读 Kyle Simpson 的 You Don't Know JS: Scopes & Closures，他认为你应该远离 eval() 函数和 with 关键字，因为每当编译器看到这两个（我在解释） ，它不执行一些与词法范围相关的优化并存储标识符的位置，因为这些关键字可能会修改词法范围，因此使编译器的优化有点不正确（我假设优化类似于编译器存储每个标识符的位置，因此它可以在运行时请求时提供标识符的值而无需搜索它）。

现在我明白了为什么在您使用 eval() 关键字时会发生这种情况：您的 eval 可能正在评估用户输入，而该用户输入可能是一个新变量的声明，它会影响您稍后访问的另一个变量假设正在执行的函数，如果编译器存储了静态位置，则访问将返回错误标识符的值（因为访问应该返回由 eval() 声明的标识符的值，但它返回编译器为优化查找而存储的变量的值）。所以我只是假设这就是编译器在你的代码中发现eval() 时不执行其范围相关查找的原因。

但是为什么编译器对 with 关键字做同样的事情呢？这本书说这样做是因为with 在运行时创建了一个新的词法范围，并且它使用作为参数传递给with 的对象的属性来声明一些新的标识符。我真的不知道这意味着什么，我很难想象这一切，因为本书中所有与编译器相关的东西都是理论。

我知道我可能走错了路，在这种情况下，请纠正我所有的误解:)

Answer 1

这里提到的优化是基于这个事实：函数中声明的变量总是可以通过对代码的简单静态分析来确定（即，通过查看var/let 和function 声明） ，并且函数中声明的变量集永远不会改变。

eval 通过引入变异本地绑定的能力（通过在运行时将新变量引入函数的作用域）违反了这个假设。 with 违反了这个假设，在一个函数中引入了一个新的非词法绑定，该函数的属性是在运行时计算的。静态代码分析无法始终确定with 对象的属性，因此分析器无法确定with 块中存在哪些变量。重要的是，提供给with 的对象可能会在函数的执行之间发生变化，这意味着函数的词法部分中的变量集永远不能保证是一致的。

考虑简单的函数：

function foo() {
    var a, b;
    function c() { ... }
    ...
}

foo 中的所有点都具有三个局部范围变量，a、b 和 c。优化器可以为函数附加一种永久性的“注释”，上面写着“这个函数有三个变量：a、b 和 c。这永远不会改变。”

现在考虑：

function bar(egg) {
    var a, b;
    function c() { ... }

    with(egg) {
        ...
    }
}

在with 块中，不知道哪些变量将存在或不存在。如果with 中有a、b 或c，直到运行时我们才知道它是指bar 的变量还是由with(egg) 词法范围创建的变量。

为了展示一个半实际的例子来说明这是一个问题，最后考虑一下：

function baz(egg) {
    with(egg) {
        return function() { return whereami; }
    }
}

当内部函数执行时（例如bar({...})()），执行引擎将查找作用域链以找到whereami。如果允许优化器将永久范围注释附加到baz，那么执行引擎将立即知道在函数的baz 闭包中查找whereami 的值，因为这将保证是home whereami （作用域链上任何类似命名的变量都将被最接近的变量所遮蔽）。但是，它不知道whereami 是否存在于baz 中，因为它可以由egg 的内容在bar 的特定运行中创建内在功能。所以必须检查，优化不使用。

Answer 2

举个例子：

{
 let a = 1; //stored at 123
 {
   let b = 2; //stored at 124
   console.log(a/*123*/,b/*124*/);
 }
}

现在是这样的：

{
 let a = 1;//stored at 123
 with({a:3}){
   console.log(a /*123 ??*/);
 }
}