javascript中的作用域和闭包怪异

Question

这是昨天在 TC39 上展示的。你可以找到要点here:

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 都有效地声明在代码 sn-p 的顶部，初始值为 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 em> 是字符串"f"，被声明的函数的名称）：

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

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

b.让 fenvRec 成为 fenv 的 EnvironmentRecord。

c。令 benv 为正在运行的执行上下文的 LexicalEnvironment。

d。让 benvRec 成为 benv 的 EnvironmentRecord。

e。让fobj成为！ benvRec.GetBindingValue(F, false).

f。履行 ！ fenvRec.SetMutableBinding(F, fobj, false).

g.返回 NormalCompletion(空)。

回想一下，variable 环境是函数范围的，但 lexical 环境更受限制（对块）。

当试图在函数声明 {invalid |未指定} （选择您的术语），TC39 有一条非常危险的导航路径，试图在不破坏可能依赖于实现特定行为的现有代码的同时标准化行为过去（相互排斥，但 TC39 正在努力取得平衡）。