ECMAScript 2017 中的 CallExpression 与 NewExpression

Question

根据this SO post，CallExpression 始终包含一个调用，因此不能成为new 运算符之后的表达式的一部分。

但是，ECMAScript 2017 表示：

MemberExpression:
   PrimaryExpression
   MemberExpression [Expression]
   MemberExpression .IdentifierName
   MemberExpression TemplateLiteral
   SuperProperty
   MetaProperty
   new MemberExpression Arguments

还有：

NewExpression:
   MemberExpression
   new NewExpression

还有：

CallExpression:
   CoverCallExpressionAndAsyncArrowHead
   SuperCall
   CallExpression Arguments
   CallExpression [Expression]
   CallExpression .IdentifierName
   CallExpression TemplateLiteral

还有：

CoverCallExpressionAndAsyncArrowHead:
   MemberExpression Arguments

问题

1. 为什么MemberExpression Arguments 生产位于14.7 Async Arrow Function Definitions 部分？ Cover 是否意味着该规则同时涵盖CallExpression 和AsyncArrowHead，而他们只是决定将其放入14.7 而不是12.3？
2. 根据上述产品，以下内容将是有效的，因此与上面链接的 SO 帖子不同。我错过了什么吗？既然NewExpression可以包含CallExpression，为什么还要分NewExpression和CallExpression呢？

显然有效：

new new memberExpression(args);

这是new new MemberExpression Arguments，与第一个CallExpression生产相同。

Answer 1

为什么 MemberExpression Arguments 产生式位于第 14.7 节异步箭头函数定义中？ Cover 是否意味着该规则同时涵盖 CallExpression 和 AsyncArrowHead，而他们只是决定将其放入 14.7 而不是 12.3？

这是因为async 不是关键字。这意味着在解析器中

async ()

只是对名为async 的函数的函数调用。这意味着在类似 sn-p 的上下文中

async () =>

在找到=> 之前，解析器无法知道它实际解析的是什么类型的语法。这个概念是一组已知的标记，具有多种可能的输出 AST 结构，在规范中通过所谓的覆盖语法处理。

在规范的一般情况下，这实质上意味着CoverCallExpressionAndAsyncArrowHead 本质上定义了您可以在箭头函数头或函数调用中找到的可能结构的联合。当解析器看到=> 时，它会说“好的，我解析的CoverCallExpressionAndAsyncArrowHead 是箭头函数的头部，如果它找到=> 以外的任何东西，那么它就知道它实际上是一个函数调用。

根据上述制作，以下内容将是有效的，因此与上面链接的 SO 帖子不同。我错过了什么吗？既然NewExpression可以包含CallExpression，为什么要分NewExpression和CallExpression呢？

我还发现其他答案中的措辞有点难以理解，尽管我认为它是准确的。简短的回答是，然后将其分成NewExpression 和CallExpression，因为CallExpression 需要 括号，而NewExpression 需要不 是括号。例如，一般意义上的new 是一个关键字，它构造右侧的任何内容。如果你做new Foo，它将构造Foo。如果您执行new obj.Foo，它将读取obj.Foo，然后从中构造一个对象。这意味着在语法上您几乎可以将它们视为等价的：

// 1
var _tmp = Foo;
new _tmp;

// 2
var _tmp = obj.Foo;
new _tmp;

但这不是真的，因为它们是不同的：

// 3
var _tmp = Foo();
new _tmp;

// 4
new Foo();

new 关键字有可选括号，正是这种行为需要语法中的除法。如果我们看

NewExpression:
  MemberExpression
  new NewExpression

它总是直接跳转到MemberExpression，这意味着new obj() 会将() 视为Arguments 中的new MemberExpression Arguments。由于CallExpression 总是处理函数调用的()，所以NewExpression 语法仅适用于构造可选的()，而

CallExpression:
  CoverCallExpressionAndAsyncArrowHead
  SuperCall
  CallExpression Arguments
  CallExpression [Expression]
  CallExpression .IdentifierName
  CallExpression TemplateLiteral

处理所有涉及没有有new的函数调用的()案例。