相信從事過C#和Java的大家都知道分號是用作斷句（EOS，end of statement）的，而且必須加分號，否則編譯就不通過了。但JavaScript由于存在ASI機(jī)制，因此允許我們省略分號。ASI機(jī)制不是說在解析過程中解析器自動把分號添加到代碼中，而是說解析器除了分號還會以換行為基礎(chǔ)按一定的規(guī)則作為斷句的依據(jù)，從而保證解析的正確性。

規(guī)范理論

es5 標(biāo)準(zhǔn)定義了自動分號插入規(guī)則，包括以下三個基本規(guī)則加兩個前置條件：

前置條件

1、如果插入分號后解析結(jié)果是空語句，那么不會自動插入分號。

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

if (a > b) 
else c = d

2、如果插入分號后它成為 for 語句頭部的兩個分號之一，那么不會自動插入分號。

例子：（不會加分號）

for (a; b 
)

基本規(guī)則

左到右解析程序，當(dāng)遇到一個不符合任何文法產(chǎn)生式的 token（叫做違規(guī) token(offending token)），那么只要滿足下面條件之一就在違規(guī) token 前面自動插入分號。

1、至少一個 LineTerminator 分割了違規(guī) token 和前一個 token。

2、違規(guī) token 是 }。

例子：（1、2不符合任何產(chǎn)生式，并且之間存在 LineTerminator，因此在違規(guī) token 2前加了分好，2和}則是因為違規(guī) token 是 }所以加了分號）

{ 1
2 } 3

{ 1
;2 ;} 3;

左到右解析程序，tokens 輸入流已經(jīng)結(jié)束，當(dāng)解析器無法將輸入 token 流解析成單個完整 ECMAScript 程序，那么就在輸入流的結(jié)束位置自動插入分號。

對于受限產(chǎn)生式，也就是下面的5個，我們把產(chǎn)生式 [no LineTerminator here]后面的 token 叫做受限 token，如果在 token 和受限 token 間存在了至少一個 LineTerminator，那么會在受限 token 前自動加上 token。

受限的產(chǎn)生式只限如下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 帶來的問題