JS分号自动插入的ASI机制

规范理论

es5 标准定义了自动分号插入规则，包括以下三个基本规则加两个前置条件：

前置条件

1、如果插入分号后解析结果是空语句，那么不会自动插入分号。

例子：（空语句，else 前不加分好）

if (a > b)
else c = d

2、如果插入分号后它成为 for 语句头部的两个分号之一，那么不会自动插入分号。

例子：（不会加分号）

for (a; b
)

基本规则

左到右解析程序，当遇到一个不符合任何文法产生式的 token（叫做 违规 token(offending token)），那么只要满足下面条件之一就在违规 token 前面自动插入分号。

 1、至少一个 LineTerminator 分割了违规 token 和前一个 token。

 2、违规 token 是 }。

例子：（1、2不符合任何产生式，并且之间存在 LineTerminator，因此在违规 token 2前加了分好，2和}则是因为违规 token 是 }所以加了分号）

{ 1
2 } 3

{ 1
;2 ;} 3;

左到右解析程序，tokens 输入流已经结束，当解析器无法将输入 token 流解析成单个完整 ECMAScript 程序 ，那么就在输入流的结束位置自动插入分号。

对于受限产生式，也就是下面的5个，我们把产生式 [no LineTerminator here]后面的 token 叫做受限 token，如果在 token 和 受限 token 间存在了至少一个 LineTerminator，那么会在受限 token 前自动加上 token。

受限的产生式只限如下5个：

PostfixExpression :

LeftHandSideExpression [no LineTerminator here] ++ LeftHandSideExpression [no LineTerminator here] --

ContinueStatement :

continue [no LineTerminator here] Identifier;

BreakStatement :

break [no LineTerminator here] Identifier;

ReturnStatement :

return [no LineTerminator here] Expression;

ThrowStatement : throw [no LineTerminator here] Expression;

归纳

避免 ASI 带来的问题

 1、后缀运算符 ++ 或 -- 和它的操作数应该出现在同一行。

 2、return 或 throw 语句的表达式开始位置应该和 return 或 throw token 同一行。

 3、break 或 continue 语句的标示符应该和 break 或 continue token 同一行。

何时加分号

无分号党想要不加分号，那么就需要知道什么时候应该要加分号。网上的一篇文章归纳了 NO ASI 并且会出现错误的几种情况，在这几种情况下我们是要加分号的。下面是对应的描述：

在以 ([/+- 开头的语句前加分号(由于正常写法均不会出现以 .,*% 作为语句开头，因此只需记住前面5个即可，你看能懒则懒哦)

不过这里只考虑了换行的情况，其实 ASI 还存在不换行的情况，这就要根据标准里的三条规则行事了！

知道了这点，其实我们就可以省略大部分的分号了。但是也不强求，因为这还是要根据个人习惯以及团队风格走的。

小补充

为什么自执行函数前要加分号？

主要是应对代码合并压缩时，由于缺少分号；带来的错误。知道了上面的规则，在 ( 开头的行前加分号就可以避免错误了。

原文地址：https://www.jb51.net/article/...