为什么“抛出”限制生产自动分号插入？

Question

JavaScript的自动分号插入算法的一部分是所谓的“限制性制作”。 这些是句法形式，禁止在某一点发生换行符。 引用ECMAScript 2015规范：

如果短语“[此处没有LineTerminator ]”出现在句法语法生成的右侧，则表示生产是限制生产 ：如果LineTerminator出现在输入流中，则可能无法使用它。指示的位置。

ECMAScript 2015规范中有10个限制产品：

• PostfixExpression _[Yield] ： LeftHandSideExpression _[？Yield] [此处没有LineTerminator ] ++
• PostfixExpression _[Yield] ： LeftHandSideExpression _[？Yield] [此处没有LineTerminator ] --
• ContinueStatement _[Yield] ： continue [此处没有LineTerminator ] LabelIdentifier _[？Yield] ;
• BreakStatement _[Yield] ： break [此处没有LineTerminator ] LabelIdentifier _[？Yield] ;
• ReturnStatement _[Yield] ： return [此处没有LineTerminator ] 表达式 ;
• ReturnStatement _[Yield] ： return [此处没有LineTerminator ] 表达式 _{[In，？Yield]} ;
• ThrowStatement _[Yield] ： throw [此处没有LineTerminator ] 表达式 _{[In，？Yield]} ;
• ArrowFunction _[In，Yield] ： ArrowParameters _[？Yield] [此处没有LineTerminator ] => ConciseBody _[？In]
• YieldExpression _[In] ： yield [此处没有LineTerminator ] * AssignmentExpression _{[？In，Yield]}
• YieldExpression _[In] ： yield [此处没有LineTerminator ] AssignmentExpression _{[？In，Yield]}

在这些作品中，我理解选择使大部分作品受到限制。 限制PostfixExpression的生成以防止使用PrefixExpression解析歧义。 ContinueStatement ， BreakStatement和ReturnStatement具有受限制的产品，因为有相应的产品，其中break和continue不带标签， return不带表达式。 我不能说我对箭头函数或屈服表达式了解得足以知道为什么它们受到限制，但我认为这是为了防止某种类似的解析模糊。

我不理解的制作是ThrowExpression 。 据我所知，使用throw时没有解析歧义，就像使用break ， return和continue ：毕竟， throw; 是无效的JavaScript。 我认为这可能是出于历史原因，但据我所知， throw; 从未在任何JavaScript规范中被允许。

这样做的实际结果就像return ，你不能把表达式抛到下一行，例如这是错误的：

throw
new Error("some error");

但是，与return不同，这与将new Error()放在同一行上没有不同的行为。 这只是一个语法错误：Chrome将其报告为

未捕获的SyntaxError：抛出后非法换行

ThrowExpression的生产是否仅限于保持与类似结构的一致性？ 或者是否有一些我没有看到的歧义？

Answer 1

当在1998年左右将throw添加到语言中时，讨论了throw语句是否需要表达式。 （另一种方法是没有表达式的throw会重新抛出当前的异常对象，就像某些其他语言一样 。）

我找不到任何关于这次讨论或最终解决方案的记录 - 尽管我们知道该决议是什么 - 但是在1998年2月19日的会议的TC39会议记录中提到了这一点。我认为这意味着限制是让句法空间保持开放，以防有一天决定改变。

Answer 2

我们只能猜测为什么语言作者决定这样做，但我会说这是为了与return保持一致。 如果要完成throw ¶ value则禁止return ¶ value和throw ¶ value value 。 无论如何throw都没有歧义并不重要。

Answer 3

我认为adeneo的评论是在正确的轨道上：像return一样， throw的操作数通常是一个有效的表达式。 return \\n "valid on its own";的问题return \\n "valid on its own"; 是ASI问题最常见的例子之一，所以限制return和任何其他采用这样的价值的陈述是一个合理的保障。

查看列表，其中大多数是一元运算符（或看起来像一个）。 它们都遵循相同的一般形式，箭头函数除外。 该形式是ASI错误的原因，因此限制整个类别比仅return更可预测。