为什么 Chrome 调试器在访问 Closure 中的变量时未定义？ [复制]

Question

代码：

function test4() {
    var x = 10;
    var y = 100;
    // inner referred x only
    function inner () {
        console.log(x);
        debugger;
    }
    // inner2 referred y to make sure y is in the scope of inner
    function inner2 () {
        console.log(y);
    }
    return inner;
}
var foo = test4();
foo();

y 在inner 的范围内，甚至只有inner2 从未使用过的引用它。我检查了范围内的结果，x，y 在那里：

但是当我在监视面板和控制台中检查变量时，我无法获取所有变量：

奇怪的是y 在范围内但在使用调试器时没有被定义。 那么，这是否意味着调试器无法访问当前上下文中未使用的变量，即使它在闭包中还是只是一个错误？ （我的 chrome 版本是 51.0.2704.103 m）

它类似于Why does Chrome debugger think closed local variable is undefined?，但不一样。因为inner2 在我的代码中确保y 在闭包中。实际上我的问题与该问题下的Louis's answer相反。

Answer 1

您是范围优化内部机制的第一手观察者。范围优化是检查当前范围中使用了哪些变量，并优化对未使用变量的访问。之所以会这样，是因为在 javascript 的 JIT 编译生成的机器码中，变量命名的整个概念都丢失了。但是，为了保持 javascript 合规性，JIT 编译器将一组使用的局部变量关联到每个 javascript 函数。观察以下代码。

(function(){
  "use strict";
  var myVariable = NaN; // |Ref1|
  var scopedOne = (function(){
    var myVariable = 101; // |Ref2|
    return x => x * myVariable;
  })();
  var scopedTwo = (function(){
    var myVariable = -7; // |Ref3|
    return x => x / myVariable;
  })();
  console.log("scopedOne(2):  ", scopedOne(2));
  console.log("scopedTwo(56): ", scopedTwo(56))
})();

如上所示，Javascript 是一种基于范围的基于堆栈的语言。如果 Javascript 不是作用域语言，那么函数中使用的变量将取决于函数执行位置处的变量值。例如，如果没有范围，scopedOne 将在 |Ref1| (NaN) 处使用 myVariable 的值，而不是在 |Ref2| (101) 处使用将NaN 记录到控制台。回到重点，在机器代码中，当调试器进入时，它只能找出内存中的实际位置是使用变量的位置，因为只有那些内存位置已经持久化到机器代码中，因为只有那些变量已经被使用.其余变量的内存位置对它来说仍然是个谜。正如您所观察到的，这具有使范围内未使用的变量对该函数“不可见”的次要副作用。但是，有一个解决方案。

为了规避这个问题，只需将debugger; 语句包装在一个eval 中，强制浏览器对范围内的所有变量进行昂贵的变量查找。基本上，浏览器必须回到原始源代码，检查范围内变量的原始名称，并找出 JIT 生成的机器代码将变量的值存储在哪里。打开开发者工具并运行下面的sn-p。然后转到“调用堆栈”面板中的上一级，观察变量y 的值的可见性如何从eval 内部可见变为eval 外部不可见。

function test4() {
    var x = 10;
    var y = 100;
    // inner referred x only
    function inner () {
        console.log(x);
        eval("debugger;");
    }
    // inner2 referred y to make sure y is in the scope of inner
    function inner2 () {
        console.log(y);
    }
    return inner;
}
var foo = test4();
foo();