难以理解分号插入

Question

据此,如果出现以下情况,JavaScript将插入分号:

当程序包含正式语法不允许的标记时,如果(a)在该点有换行符,或(b)意外标记是右括号,则插入分号.(强调我的)

经典的例子是

return  //  <--- semicolon inserted there
{
   id: 12
};

这让我相信自由立场{是无效的.然而,以下(无意义)代码警告2,没有错误

function foo() {
    var x = 1;
    {
        var y = 2; //yes, I know y has the same scope as x 
    }              //and that this is therefore pointless
    alert(y);
}

为什么在第一个代码中将左大括号视为无效标记,这导致JavaScript插入分号,但是在第二个代码中开括号不被视为无效 - 正如没有错误的事实所证明的那样.

很明显,我的一个假设是错误的,我希望有人可以帮助我理解哪些.

Answer 1

return您提到的语句问题不受分号插入规则的特定方面的影响.相反,它就是这个:

当从左到右解析程序时,会遇到某些语法生成所允许的令牌,但是生产是限制生产,并且令牌将是紧跟注释后的终端或非终端的第一个令牌 - 限制生产中的[此处没有LineTerminator]‖(因此这样的令牌称为受限令牌),并且受限令牌通过至少一个LineTerminator与前一个令牌分开,然后在受限令牌之前自动插入分号.

碰巧return语句语法中有一个"[此处没有LineTerminator]"怪癖.

参见ES 5规范的第7.9.1节.