这是有效的自动分号插入吗？

Question

我一直在摆弄JavaScript，发现一些我不了解的行为。 问题似乎出在自动分号插入（ ASI ）上，但是在我看来，ASI的行为异常。 以下代码已在node v8.10和Google Chrome开发人员工具的控制台（版本73.0.3683.86（官方内部版本）（64位））中进行了测试。

> 0 == {}
false
> {} == 0
...

这三个点表示Uncaught SyntaxError: Unexpected token == （取自chrome的开发者工具的控制台输出。）似乎是由ASI实际上将其转换为{;} == 0来解释的，但是通过阅读规格（上面链接），它不应该那样做。 我是否误解了规格？

这会导致一些有趣的情况，也有些怪异的情况。 例如， {} + 4计算结果为4，因为它是{;} + 4或只是+4 。 但是， 4 + {}是'4[object Object]' 。 而且，很奇怪：

> {} + 4 + {}
'[object Object]4[object Object]'

它并没有变成{;} + 4 + {} ，与4 + {}相同，现在它实际上接受了第一个{}作为对象而不是块！ 最右边的令牌很重要：

> {} + 4 + {} + 4
'4[object Object]4'

现在，第一个{}再次被解释为空块。 此外，

> {} + {}
'[object Object][object Object]'
> {} + {} + 4
NaN

第二行的行为似乎又是ASI，因为+{}或Number({})计算结果为NaN （第一{}再次被解释为空块。）

额外的有趣代码：

> {a:3}.a + 2
... // Uncaught SyntaxError: Unexpected token .
> ({a:3}.a + 2)
5

这次，第一个实际上变成了带有标签a的空块。

我希望在这些示例中不会发生ASI，因为（我认为）它应该已经是语法的有效生成。 看来如何才能保持最右边的标记（ {} + 4 + {}和{} + 4 + {} + 4 ）交替出现，这似乎改变了第一个{}的含义。