自动分号插入的标准是什么？ [复制]

Question

可能重复：
Javascript自动分号插入的规则是什么？

JavaScript 的隐式线路终止让我感到困惑。 它是一种非常类似于 C 的语言，除了分号结尾的行通常是可选的。

那么它如何决定何时假设行尾呢？

考虑这个例子：

var x = 1 + 2
-3 + 3 == 0 ? alert('0') : alert('3')

将其打入 HTML 文件并在 Safari 中打开它弹出3 。 如果你在第一行的末尾加上一个分号，它会变成0 。

算法和逻辑都很简单； 我感兴趣的是，在这种情况下，JavaScript 根据什么标准决定在第一行之后不假设行尾。 是不是在假设 EOL 之前只等待错误情况？ 还是有更明确的标准？

我很好奇。 我没有研究这么多； 我想看看 S/O 社区对此有何评论。 无论如何，我总是用分号结束我的行，但是当我无意中遗漏了一个分号时，我有一些 JS 压缩代码会不时出现分号问题。

编辑

好的，只是为了澄清这里的实际问题：任何人都可以用非抽象的术语描述 JavaScript 何时会和不会自动插入分号。

这不是重复的。 我知道自动分号插入的规则已经确立并且简明扼要地记录在案。 它们也很冗长且令人困惑，因为它们通常是抽象的。 以我的经验，高级程序员不会消化低级文档以及简单的最终结果，而这正是我正在寻找的。

Answer 1

ECMA 规范（第 7.9.1 章，第 26 页）规定：

分号插入的三个基本规则：

1. 当程序从左到右解析时，遇到任何语法生成都不允许的标记（称为违规标记）时，如果出现以下一项或多项，则在违规标记之前自动插入分号条件为真：
   • 违规标记与前一个标记至少由一个 LineTerminator 分隔。
   • 有问题的标记是}。
2. 当程序从左到右解析时，遇到输入的记号 stream 的结尾，并且解析器无法将输入的记号 stream 解析为单个完整的 ECMAScript 程序，则在结尾处自动插入分号输入 stream。
3. 当程序从左到右解析时，遇到某个语法产生式允许的记号，但该产生式是受限产生式，并且该记号将是紧随注释之后的终端或非终端的第一个记号“[no LineTerminator here]”在受限产生式中（因此这样的记号被称为受限记号），并且受限记号与前一个记号至少有一个 LineTerminator 隔开，然后在受限记号前自动插入分号.

我认为这个实现与第二点有关：

var x = 1 + 2
-3 + 3 == 0 ? alert('0') : alert('3')

可以被解析为一个完整的 ECMAScript 程序

因为并不总是清楚解析器将如何插入分号，所以建议不要将其留给解析器（即始终自己插入分号）。

英寸。 7.9.2（自动分号插入示例）的相同规格此示例看起来像您的情况：

来源

a = b + c (d + e).print()

不会通过自动分号插入进行转换，因为从第二行开始的带括号的表达式可以解释为 function 调用的参数列表：
a = b + c(d + e).print()

Answer 2

不要把它留给编译器，总是把分号放在语句的末尾。