在Closure中访问变量时,为什么Chrome调试器未定义？

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();

yinner甚至只是inner2从未使用的范围参考它.我检查了范围内的结果x,y是否有:

但是当我在监视面板和控制台中检查变量时,我无法获得所有这些变量:

这是奇怪的y是在范围内但在使用调试器时没有定义.那么,是否意味着调试器无法访问当前上下文中未使用的变量,即使它在闭包中也只是一个bug？(我的铬版是51.0.2704.103米)

它类似于为什么Chrome调试器认为闭合局部变量未定义？但不一样.因为inner2在我的代码中确保它y在闭包中.实际上我的问题与路易斯在这个问题下的答案相反.

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 不是作用域语言，那么函数中使用的变量将取决于函数执行位置处的变量值。例如，如果没有范围，将使用|Ref1|scopedOne的值 (NaN) 而不是|Ref2| (101) 并将登录到控制台。回到要点，在机器代码中，当调试器进入时，它只能找出已使用变量在内存中的实际位置，因为只有这些内存位置已持久保存到机器代码中，因为只有这些变量已被使用。其余变量的存储位置对它来说仍然是个谜。正如您所观察到的，这具有使作用域中未使用的变量对该函数“不可见”的次要副作用。不过，有一个解决方案。myVariableNaN

要避免此问题，只需将debugger;语句包装在 eval 中，以强制浏览器对作用域中的所有变量进行昂贵的变量查找。基本上，浏览器必须返回原始源代码，检查作用域中变量的原始名称，并找出 JIT 生成的机器代码存储变量值的位置。打开开发人员工具并运行下面的代码片段。然后进入“调用堆栈”面板中的上一级，观察变量值的可见性如何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();