Question

根据this，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节。

Answer 2

规则是这样的：如果有一个新行，并且到目前为止我们有一个有效的语句，那么插入一个分号。

在你的第一个例子中，这是有效的：

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

在第二个例子中，这是无效的：

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

编辑：这个答案并不完全正确！例如：

num = 4 + 5
  + 1;

// returns 10

见下面的评论：

Answer 3

您所说的关键字是期待块和关键词期望表达式的return与function或if不一样，期待一个块（{ } ） - 所以解析器将像其他不期望大括号的关键字一样插入分号。

难以理解分号插入

3 个答案: