記得在面試騰訊實習(xí)生的時候，面試官問了我這樣一道問題。

當(dāng)初只知道兩種聲明方式一個是函數(shù)聲明一個是函數(shù)表達(dá)式，具體有什么不同沒能說得很好。最近正好看到這方面的書籍，就想好好總結(jié)一番。

　　在ECMAScript中，有兩個最常用的創(chuàng)建函數(shù)對象的方法，即使用函數(shù)表達(dá)式或者使用函數(shù)聲明。對此，ECMAScript規(guī)范明確了一點，即是，即函數(shù)聲明 必須始終帶有一個標(biāo)識符（Identifier），也就是我們所說的函數(shù)名，而函數(shù)表達(dá)式則可以省略。

函數(shù)聲明：

　　1. 創(chuàng)建一個new Function對象，F(xiàn)ormalParameterList指定參數(shù)，F(xiàn)unctionBody指定函數(shù)體。將當(dāng)前正在運行環(huán)境中作用域鏈作為它的作用域。

　　2. 為當(dāng)前變量對象創(chuàng)建一個名為Identifier的屬性，值為Result(1)。

函數(shù)表達(dá)式：

　　(函數(shù)表達(dá)式分為匿名和具名函數(shù)表達(dá)式)

具名函數(shù)表達(dá)式的解析過程如下：

1. 創(chuàng)建一個new Object對象
2. 將Result(1)添加到作用域鏈的頂端
3. 創(chuàng)建一個new Function對象，F(xiàn)ormalParameterList指定參數(shù)，F(xiàn)unctionBody指定函數(shù)體。將當(dāng)前正在運行的執(zhí)行環(huán)境中作用域鏈作為它的作用域。
4. 為Result(1)創(chuàng)建一個名為Identifier 的屬性，其值為為Result(3)，只讀，不可刪除
5. 從作用域鏈中移除Result(1)
6. 返回Result(3)

官方文檔讀起來十分拗口。簡單來說，ECMAScript是通過上下文來區(qū)分這兩者的：假如 function foo(){} 是一個賦值表達(dá)式的一部分，則認(rèn)為它是一個函數(shù)表達(dá)式。而如果 function foo(){} 被包含在一個函數(shù)體內(nèi)，或者位于程序（的最上層）中，則將它作為一個函數(shù)聲明來解析。顯然，在省略標(biāo)識符的情況下，“表達(dá)式” 也就只能是表達(dá)式了。

還有一種情況：

這種情況也是函數(shù)表達(dá)式，它被包含在一對圓括號中的函數(shù)，在其上下文環(huán)境中，()構(gòu)成了一個分組操作符，而分組操作符只能包含表達(dá)式，更多的例子：

下面簡單說說函數(shù)聲明與函數(shù)表達(dá)式的異同。聲明和表達(dá)式的行為存在著十分微妙而又十分重要的差別。

　　首先，函數(shù)聲明會在任何表達(dá)式被解析和求值之前先行被解析和求值。即使聲明位于源代碼中的最后一行，它也會先于同一作用域中位于最前面的表達(dá)式被求值。還是看個例子更容易理解。在下面這個例子中，函數(shù) fn 是在 alert 后面聲明的。但是，在alert 執(zhí)行的時候，fn已經(jīng)有定義了：

簡單總結(jié)，區(qū)別在什么地方呢？

1. 聲明總是在作用域開始時先行解析；
2. 表達(dá)式在遇到時候才運算。

函數(shù)聲明還有另外一個重要的特點，即通過條件語句控制函數(shù)聲明的行為并未標(biāo)準(zhǔn)化，因此不同環(huán)境下可能會得到不同的結(jié)果。即是：

　那么，使用函數(shù)聲明的實際規(guī)則到底是什么？　

　　FunctionDeclaration（函數(shù)聲明）只能出現(xiàn)在Program（程序）或FunctionBody（函數(shù)體）內(nèi)。從句法上講，它們 不能出現(xiàn)在Block（塊）（{ ... }）中，例如不能出現(xiàn)在 if、while 或 for 語句中。因為 Block（塊） 中只能包含Statement（語句）， 而不能包含F(xiàn)unctionDeclaration（函數(shù)聲明）這樣的SourceElement（源元素）。

　　另一方面，仔細(xì)看一看產(chǎn)生規(guī)則也會發(fā)現(xiàn)，唯一可能讓Expression（表達(dá)式）出現(xiàn)在Block（塊）中情形，就是讓它作為ExpressionStatement（表達(dá)式語句）的一部分。但是，規(guī)范明確規(guī)定了ExpressionStatement（表達(dá)式語句）不能以關(guān)鍵字function開頭。而這實際上就是說，F(xiàn)unctionExpression（函數(shù)表達(dá)式）同樣也不能出現(xiàn)在Statement（語句）或Block（塊）中（別忘了Block（塊）就是由Statement（語句）構(gòu)成的）。

　　由于存在上述限制，只要函數(shù)出現(xiàn)在塊中（像上面例子中那樣），實際上就應(yīng)該將其看作一個語法錯誤，而不是什么函數(shù)聲明或表達(dá)式。

　　那么我們應(yīng)該在什么時候使用函數(shù)聲明或函數(shù)表達(dá)式呢？函數(shù)聲明只能出現(xiàn)在“程序代碼”中，意味著只能在其它函數(shù)體中或者全局空間；它們的定義不能不能賦值給一個變量或?qū)傩?，或者作為一個參數(shù)傳遞出現(xiàn)在函數(shù)調(diào)用中；下面的例子是函數(shù)聲明的允許的用法，foo()，bar()和local()都是通過函數(shù)聲明模式聲明：

　　當(dāng)你在語法上不能使用函數(shù)聲明的時候，你就可以使用函數(shù)表達(dá)式。比如：傳遞一個函數(shù)作為參數(shù)或者在對象字面量中定義一個函數(shù)：

學(xué)識有限，如有錯誤，歡迎指正。

最新評論