不为人知的JavaScript自动分号插入机制( ASI )

最新推荐文章于 2022-12-20 14:42:29 发布

weixin_34337381

最新推荐文章于 2022-12-20 14:42:29 发布

阅读量124

点赞数

文章标签： java javascript ViewUI

原文链接：https://yq.aliyun.com/articles/625254

版权

JavaScript拥有自由的精神, ASI就是此精神的表现形式之一, ASI是 Automatic semicolon insertion 的缩写, 在许多语句后面可以省略分号, 当然很多小白还没有发现这一点...首先分号是必不可少的, 因为回车符号在词法分析阶段就被全部杀掉了(特殊作用域除外),所以有了ASI有些人会认为回车符也是分隔符,其实回车符就是空白符,没有任何意义....

ASI的引入方便了开发者的同时也带来了很多坑........ 本文介绍了自动插入分号机制在return语句中的例子，以及在es5标准下的相应规则。

楔子

之前一直写C，写了一段时间JavaScript之后一直很很好奇一个东西。在C和Java等语言里面，大括号的使用一般都是类似这样的

int main(args[])
{
    return 0;
}

而到JavaScript里面则是这样写

function main(args){
    alert("hello");
    return 0;
}

起始的大括号不独占一行了，觉得很疑惑，查了一些资料才知道，这是和JavaScript一个自动修复机制有关系，它总是希望通过自动插入分号来修正有缺损的程序，虽然我不知道这有什么用。

自动插入分号机制

在《JavaScript语言精粹》这本书里，这个机制被划入到了JavaScript的毒瘤里面，与之并列的前面的全局变量。

有些时候，不合时宜地插入分号，会在例如return语句里面导致严重的后果。
如果一个return语句要正确返回一个值，这个值的表达式的开始部分必须和return位于同一行。

我们来看下面这个例子

return
{
    status:true;
}

看起来这是要返回一个包含对象，但是万恶的自动插入分号处理后，返回值变成了undefined，而且不会报任何的错误和警告。
如果我们把大括号这样处理的话就能避免这个问题

return{
    status:true;
};

自动插入分号的详细规则

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

前置条件

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

if(i>j)
else k=l

这种情况下，if后面else前面是被解析为空语句，所以不加分号
2.如果插入分号后，它会成为for语句头部的两个分号之一，那么也不会插入分号
例如：

for(a;b
)

这种情况下，虽然分行了，但是不会被插入分号。

基本规则

从左向右解析程序的时候，当遇到一个不符合任何语法产生式的token也就是违规标记的时候，那么只要满足下列条件之一，就会在哪个标记之前自动插入一个分号
1、前一个标记和这个违规标记之前至少存在一个行终止符
2、违规的标记是 }

举个栗子

{1
    2}3
{1
    ;2;}3

在第一行和第二行的1、2不符合任何产生式，且它们之间有一个行终止符，所以会在数字2之前加分号，在第二行2后面也需要加一个分号，因为后面的违规标记是一个}

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

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

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

后缀表达式、continue语句、break语句、return语句、throw语句

如何预防这个毒瘤

1、后缀运算符 ++ 或 -- 和它的操作数应该出现在同一行。
2、return或throw语句的表达式开始位置应该和 return或 throw token 同一行。
3、break或 continue 语句的标示符应该和 break 或continuetoken 同一行。

最重要的还是多加分号

来自leviscar的小贴士
为啥只执行函数前面要加分号？
例如我之前看到的zepto.js的源码开头

;(function(undefined) {
  if (String.prototype.trim === undefined) // fix for iOS 3.2
  String.prototype.trim = function() {
    return this.replace(/^\s+|\s+$/g, '')
  }