如何解决当引用脱离Javascript的上下文时，按引用捕获会变成按值捕获吗？

以下Javascript程序：

function f() {
  function g() { console.log(x); }
  let x = 0;
  g();  // prints 0
  x = 1;
  g();  // prints 1
  return g;
}

let g = f();
g();  // prints 1

输出：

0
1
1

因此，g似乎首先通过引用捕获了x （因为在f内部，g()先打印0，然后{ {1}}当1反弹时），这意味着x的关闭环境看起来像g，然后是按值（因为{{1 }}，{'x': x}在f主体末尾g()脱离上下文时打印1，这意味着x闭包环境看起来像{ {1}}。

我正试图将这种行为与C ++ lambda关联起来，后者提供按引用和按值捕获，但是与Javascript相反，不允许按引用捕获通过变为按值捕获而超出了引用范围（而是，则调用lambda会成为不确定的行为。

这是对Javascript捕获的正确解释吗？

如果这种解释是正确的，那将清楚地解释 block作用域变量（f）的捕获如何在g循环中工作：

{'x': 1}

解决方法

在JavaScript中，无论g（）是否从f（）内部调用，当g（）引用表达式中的变量x时，所发生的操作之间实际上没有区别。只有一个变量x，并且只要运行g()的代码，该变量都是相同的内部操作。

JavaScript与C ++有很多不同；表面的化妆品相似性可能具有欺骗性。同样，在讨论 JavaScript语义时，很少使用“捕获”一词（以我的经验，例如在此处为Stack Overflow），尽管该规范在其详尽的描述中使用了它，当进入作用域时会发生什么。这里的相关词是闭包，如“ x在g（）的闭包中。（我对术语草率，所以有人可能会改善我的措词。）

更多：请注意，我们可以修改g()以证明不仅可以访问x来获取其值，还可以对其进行修改：

    function f() {
      function g() { console.log(x = x + 1); }
      let x = 0;
      g();  // prints 1
      x = 1;
      g();  // prints 2
      return g;
    }
    
    g = f();
    g();
    g();
    g();

变量x继续像普通变量一样。

简而言之

除了它超出范围时的工作方式之外，您几乎是正确的。

更多详细信息

如何在JavaScript中“捕获”变量？

JavaScript使用lexical environments确定哪个函数使用哪个变量。词汇环境由environment records表示。就您而言：

有一个全球环境；
函数f()定义了其词法环境，即使在x之后，也定义了g()；
内部函数g()定义其词法环境为空。

因此g()使用x。由于那里没有x的绑定，因此JavaScript在封闭环境中寻找x。由于在其中找到了x中的g()，因此将使用x中的f()的绑定。看起来像lexically scoped绑定。

如果稍后您在调用x的环境中定义g()，则g()仍将绑定到x中的f()：>

function f() {
  function g() { console.log(x); }
  let x = 0;
  g();  // prints 0
  x = 1;
  g();  // prints 1
  return g;
}

let x = 4;
let g = f();
g();  // prints 1 (the last known value in f before returning)

Online demo

这表明绑定是静态的，并且始终引用定义了x的词法范围中已知的g()。

此excellent article用非常漂亮的图形详细说明了它是如何工作的。它用于闭包（即具有执行上下文的匿名函数），但也适用于普通函数。

如何保存超出范围的变量的值？

如何解释这种非常特殊的行为，即只要x仍在范围内（如C ++中的引用），JavaScript将始终采用x的当前值，而它将采用最新的已知值当x超出范围时（C ++中超出范围的引用将是UB）？变量减少时，JavaScript是否将值复制到闭包中？不，这比这简单！

这与 garbage collection 有关：g()返回到外部上下文。由于g()在x中使用f()，因此垃圾收集器将意识到x的{{1}}对象仍在使用中。因此，只要f()可以访问，g()中的x就会保持活动状态，并且对于仍处于活动状态的绑定仍然可以访问。因此，无需复制值：f()对象将保持不变（未修改）。

为证明它不是副本，您可以研究以下代码。它在x的上下文中定义了第二个函数，该函数能够更改（相同的）f()：