javascript中的范围和关闭奇怪

Question

这是昨天在TC39上提出的。 你可以在这里找到要点：

var p = () => console.log(f);
{
  p(); // undefined
  console.log(f); // function f(){}

  f = 1;

  p(); // undefined
  console.log(f); // 1

  function f(){}

  p(); // 1
  console.log(f); // 1

  f = 2;

  p(); // 1
  console.log(f); // 2
}

有人可以向我解释这件事是如何运作的吗？ 对于记录，它仅在非严格模式下工作 。

谢谢。

Answer 1

我不会声称理解所有细微之处，但关键是关于附件B§B.3.3.1的几乎奇怪的扭曲。

该代码是有效的这一点，其中f1是的第二个副本f特定于块的词法环境（因此let下图）：

var p = () => console.log(f);
{
  let f1 = function f(){};;           // Note hoisting
  p(); // undefined
  console.log(f1); // function f(){}

  f1 = 1;

  p(); // undefined
  console.log(f1); // 1

  var f = f1;                          // !!!

  p(); // 1
  console.log(f1); // 1

  f1 = 2;

  p(); // 1
  console.log(f1); // 2
}

当然，由于var提升， p和f都在代码片段的顶部有效声明，初始值为undefined ：

var f = undefined;
var p = undefined;
p = () => console.log(f);
{
  let f1 = function f(){};;           // Note hoisting
  p(); // undefined
  console.log(f1); // function f(){}

  f1 = 1;

  p(); // undefined
  console.log(f1); // 1

  f = f1;                              // !!!

  p(); // 1
  console.log(f1); // 1

  f1 = 2;

  p(); // 1
  console.log(f1); // 2
}

B.3.3.1中的关键位是它将内部f的值（我称之为上面的f1 ）传递给外部的一个（在下面， F是字符串"f" ，函数的名称）被宣布）：

3.评估FunctionDeclaration f时 ，执行以下步骤代替14.1.21中提供的FunctionDeclaration Evaluation算法：

一个。 让fenv成为正在运行的执行上下文的VariableEnvironment。

湾 让fenvRec成为fenv的环境记录。

C。 让benv成为正在运行的执行上下文的LexicalEnvironment。

d。 让benvRec成为benv的EnvironmentRecord。

即 让fobj成为！ benvRec.GetBindingValue（ F ，false）。

F。 表演！ fenvRec.SetMutableBinding（ F ， fobj ，false）。

G。 返回NormalCompletion（空）。

回想一下， 变量环境是功能范围的，但词汇环境更受限制（到块）。

在尝试将函数声明标准化为{invalid |的地方时 未指定} （选择你的术语） ，TC39有一个非常危险的导航路径，试图标准化行为，同时不破坏可能依赖于过去的实现特定行为的现有代码（这是相互排斥的，但TC39正试图冲帐）。