相信从事过C#和Java的大家都知道分号是用作断句（EOS，end of statement）的，而且必须加分号，否则编译就不通过了。但JavaScript由于存在ASI机制，因此允许我们省略分号。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 还存在不换行的情况，这就要根据标准里的三条规则行事了！
知道了这点，其实我们就可以省略大部分的分号了。但是也不强求，因为这还是要根据个人习惯以及团队风格走的。
小补充
为什么自执行函数前要加分号？
主要是应对代码合并压缩时，由于缺少分号；带来的错误。知道了上面的规则，在 ( 开头的行前加分号就可以避免错误了。