关于js语句的分号

我在使用js的时候可能发现一个现象：js语句结尾有时候有分号，有时候没有，没有的时候js代码也是能正确执行的。

到底要不要写分号？QAQ

转自博客园@winter-cn

JavaScript自动加分号规则,有3条

1. 当有换行符（包括含有换行符的多行注释），并且下一个token没法跟前面的语法匹配时，会自动补分号。
2. 当有}时，如果缺少分号，会补分号
3. 当程序源代码结束时，如果缺少分号，会补分号。

利用我自己的JS语法分析工具JSinJS（https://github.com/kissjs/JSinJS ），我求出了所有能够出现在语句第一个的JS语法标记 （就是Statement的first集合），他们是：

["debugger", "try", "throw", "switch", "Identifier", "with", "return", "break", "continue", "for", "while", "do", "if", "new", "function", "(", "{", "[", "RegularExpressionLiteral", "StringLiteral", "NumericLiteral", "BooleanLiteral", "NullLiteral", "this", "!", "~", "-", "+", "--", "++", "typeof", "void", "delete", ";", "var"]

共计35个。

我又求出了所有可以出现在分号之前的语法标记（即去掉分号以后的last集），他们是

["--", "++", "IdentifierName", "]", ")", "}", "RegularExpressionLiteral", "StringLiteral", "NumericLiteral", "BooleanLiteral", "NullLiteral", "Identifier", "this", "debugger", "return", "break", "continue"]

共计17个。

35*17 = 595种组合，为了方便记忆，以下我分组来讨论语法歧义 。（本来用Excel弄了张表，不过表太大了不好贴出来）

首先，以下语法标记开头的语句是绝对安全的，不会跟不加分号的上一行产生任何歧义：

var if do while for continue break return with switch throw try debugger ;

接下来我们来分组看不加分号导致的语法歧义：

• 第一种是++和--两种运算符出现在上一行结尾的情况，下一行以以下开头时，会产生语法歧义：  
  function delete void typeof new null true false NumericLiteral StringLiteral RegularExpressionLiteral ( [ { Identifier ++ -- + - ~ !  
  其中，function和delete是非常常用的statement开头。 
  特别是 ++和--单独被断为一行的时候，因为JS的语法规则规定后自增运算不允许中间插入换行，所以++和--会被视为前自增而跟下一行连接在一起。
• 第二种是return作为上一行结尾的情况，下一行以以下开头时，会产生语法歧义： 
  function delete void typeof ( [ { Identifier ++ -- + - ~ !

  同样因为JS语法的规则不允许在return 和后面的值之间插入换行，所以return之后只要有换行符就会视为有分号，这常常会与使用者的期望不符合。

• 第三种是下一行以+和-开头的情况，上一行以以下结尾是，会产生语法歧义： 
  -- ++ IdentifierName ] ) } RegularExpressionLiteral

  因为很少有语句以+或者-开头，所以这种情况不算危险。

• 第四种是上一行以break、continue结尾的情况，下一行以Identifier开头时，会产生语法歧义。
• 第五种是下一行以(和[开头的情况，上一行以以下结尾是，会产生语法歧义： 
  -- ++ IdentifierName ] ) } RegularExpressionLiteral StringLiteral NumericLiteral BooleanLiteral NullLiteral Identifier this 
  这种情况非常危险（所以hax的文章中要提出这种情况应该语句前写分号），几乎上一行的所有情况都将导致正常期望之外的结果。 
• 第六种是，当下一行以RegularExpressionLiteral 开头的情况，上一行的以下结尾，会导致/被理解为除号： 
  -- ++ IdentifierName ] ) }  RegularExpressionLiteral StringLiteral NumericLiteral BooleanLiteral NullLiteral Identifier this

总结，

1. 在return、break、continue、后自增、后自减五种语句中，换行符可以完全替代分号的作用。

2. var if do while for continue break return with switch throw try debugger几种关键字开头的语句，以及空语句，上一行加不加分号影响不大。

3. 凡表达式语句和函数表达式语句，后面不加分号非常危险，情况极其复杂。

4. 凡(和[开头的语句，前面不加分号极度危险。

看过@winter-cn总结之后，我觉得虽然JavaScript一般情况下可以自动补分号，但是不加分号可能导致语法歧义，出现的不可预料的问题，为了避免因为小小分号引起程序错误，平时写js代码还是有一个好习惯，写上分号！