理解 javascript 中的函数表达式与函数声明
常用闭包的同学肯定很清楚下面一段代码:
//通常的闭包写法 (function () { ... }())
那么我们的问题来了,为什么要在 function () {...}() 之外用圆括号包裹呢?解答这个问题,就需要我们理解 Javascript 中函数表达式与函数声明的概念。
函数定义带来的错误
虽然 function () {...} 看上去像是一个函数声明,但是由于没有函数名,它的本质其实是一个函数表达式。我们看下规范中对于函数声明与函数表达式的定义:
可以看出来,函数声明是必须带有函数名的。所以在直接执行 function () {...}() 时候会报语法错误,原因就是函数表达式被尝试解析为函数声明时没有找到函数名。
那么我们继续尝试写上函数名的情况:
function fn () {...}()
仍然会提示语法错误,不过这次的出错的位置在后面 () 中的 ) 上。
先不解释为什么,看接下来的示例:
从这个结果可以看出,函数声明之后的 () 会被解析为分组运算符,而不是函数调用。那么如何才能使函数执行呢?
如何正确解析函数表达式
根据规范,函数表达式必须在 Expression 中才能进行正确的语法解析。恰巧 () 在作为分组运算符时,里面的内容会被认为是 Expression。
(function () {...}()) (function () {...})()
上述两种写法都是正确的。第一种写法比较清晰,函数表达式被正确解析并调用。第二种写法中,解析器首先处理 (function () {...}) 部分,由于分组运算符不会对其中内容进行 GetValue 操作,所以在语句结束时,其中的函数表达式被直接返回,之后的 () 则表示函数调用。
我们来简单的用一个例子表示一下:
var a = function () {...} (a()) //形同 (function () {...}()) (a)() //形同 (function () {...})()
这个例子稍有不恰当,因为直接执行 a() 是可行的,而直接执行 function () {...}()
则不行,原因就是上面提到的,function () {...}
被尝试解析为函数声明而引发了语法错误。
其他方式
上面我们提到通过 () 分组运算符,可以将匿名函数正确的理解为函数表达式。同理,我们也可以通过许多其他的运算符将函数表达式正确执行。
!function () {}() void function () {}() +function () {}() -function () {}() if (function () {}()) {} ...
由于很多操作符会改变函数返回值,比如 !function () {return 0}
,void function () {}()
,+ function () {}()
等,所以我们一般使用 () 将匿名函数包裹使其被正确解析为函数表达式。
参考文章