按照 ECMAScript 规范理解 JavaScript super() 调用

Question

代码

class Parent {
  constructor() {}
}

class Child extends Parent {
  constructor() {
    super();
  }
}

背景

当我试图准确了解类构造函数中的super() 调用如何工作时，我遵循了以下ECMAScript 操作序列：

1. new Child() 致电ChildConstructor.[[Construct]]
2. kind 是派生的（之前在14.5.15 中设置），因此没有绑定新的this 值
3. 调用OrdinaryCallEvaluateBody，最终评估Child类构造方法的主体，其中super()是第一条语句
4. super() 调用 ParentConstructor.[[Construct]]，这会将我们带回到第 3 步，这次只是将 kind 作为 base
5. 由于kind 现在是base，因此会创建一个新的this 绑定并将其绑定到新函数环境的Environment Record > 为Parent 构造函数创建
6. Parent 构造函数主体的其余部分执行，一旦完成，控制流回到Child.[[Construct]]，从第 11 步继续执行
7. 最后，Child.[[Construct]] 尝试返回envRec.GetThisBinding

---

问题

在Child.[[Construct]] 的step 6 中创建的Child 构造函数的环境记录没有this 绑定（[[ThisBindingStatus]] 是未初始化的） .因此，当我们尝试在第 8 步中执行 envRec.GetThisBinding 时，据我所知，我们应该得到一个 ReferenceError (as specified here)。

我在这里缺少什么？我似乎不明白为什么 Child 构造函数不会抛出错误，而且确实是否设置了 Child 构造函数的 [[ThisValue]]。

Answer 1

您在super() 链接中错过了一步：

1. 让newTarget 成为GetNewTarget()。
2. 断言：Type(newTarget) 是对象。
3. 让func 成为？ GetSuperConstructor()。
4. 让argList 成为ArgumentListEvaluation 的Arguments。
5. ReturnIfAbrupt(argList)。
6. 让result 成为？ Construct(func, argList, newTarget)。
7. 让thisER 成为GetThisEnvironment( )。
8. 返回 ? thisER.BindThisValue(result)。

步骤6 调用ParentConstructor.[[Construct]] 如您所述，但是步骤8 会将Child 构造函数主体中的this 绑定设置为构造值，因此当envRec.GetThisBinding 在结束时运行@987654342 @，this 绑定将在那里