詳解Javascript 函數聲明和函數表達式的區別
Javascript Function無處不在,而且功能強大!通過Javascript函數可以讓JS具有面向對象的一些特征,實現封裝、繼承等,也可以讓代碼得到復用。但事物都有兩面性,Javascript函數有的時候也比較“任性”,你如果不了解它的“性情”,它很可能給你制造出一些意想不到的麻煩(bugs)出來。
Javascript Function有兩種類型:
1)函數聲明(Function Declaration);
- // 函數聲明
- function funDeclaration(type){
- return type==="Declaration";
- }
2)函數表達式(Function Expression)。
- // 函數表達式
- var funExpression = function(type){
- return type==="Expression";
- }
上面的代碼看起來很類似,感覺也沒什么太大差別。但實際上,Javascript函數上的一個“陷阱”就體現在Javascript兩種類型的函數定義上。下面看兩段代碼(分別標記為代碼1段和代碼2段):
- funDeclaration("Declaration");//=> true
- function funDeclaration(type){
- return type==="Declaration";
- }
- funExpression("Expression");//=>error var funExpression = function(type){
- return type==="Expression";
- }
用函數聲明創建的函數funDeclaration可以在funDeclaration定義之前就進行調用;而用函數表達式創建的funExpression函數不能在funExpression被賦值之前進行調用。為什么會這樣呢?!這就要理解Javascript Function兩種類型的區別:用函數聲明創建的函數可以在函數解析后調用(解析時進行等邏輯處理);而用函數表達式創建的函數是在運行時進行賦值,且要等到表達式賦值完成后才能調用。這個區別看似微小,但在某些情況下確實是一個難以發現的陷阱。出現這個陷阱的本質原因體現在這兩種類型在Javascript function hoisting(函數提升)和運行時機(解析時/運行時)上的差異。上面兩段代碼的函數提升可示意為下圖:
代碼1段JS函數等同于:
- function funDeclaration(type){
- return type==="Declaration";
- }
- funDeclaration("Declaration");//=> true
代碼2段JS函數等同于:
- var funExpression;
- funExpression("Expression");//==>error
- funExpression = function(type){
- return type==="Expression";
- }
上述代碼在運行時,只定義了funExpression變量,但值為undefined。因此不能在undefined上進行函數調用。此時funExpression賦值語句還沒執行到。為了進一步加深JS函數兩種類型的區別,下面給出一個更具迷惑性的示例,請看下面的代碼(代碼段4):
- var sayHello;
- console.log(typeof (sayHey));//=>function console.log(typeof (sayHo));//=>undefinedif (true) {
- function sayHey() {
- console.log("sayHey");
- }
- sayHello = function sayHo() {
- console.log("sayHello");
- }
- } else {
- function sayHey() {
- console.log("sayHey2");
- }
- sayHello = function sayHo() {
- console.log("sayHello2");
- }
- }
- sayHey();// => sayHey2 sayHello();// => sayHello
分析:sayHey是用函數聲明創建的,在JS解析時JS編譯器將函數定義進行了函數提升,也就是說,在解析JS代碼的時候,JS編譯器(條件判斷不形成新的作用域,兩個sayHey函數定義都被提升到條件判斷之外)檢測到作用域內有兩個同名的sayHey定義,***個定義先被提升,第二個定義接著被提升(第二個定義在***個定義之下),第二個定義覆蓋了***個sayHey定義,所以sayHey()輸出sayHey2;而sayHello是用函數表達式創建的,其表達式的內容是在JS運行時(不是解析時)才能確定(這里條件判斷就起到作用了),所以sayHello表達式執行了***個函數定義并賦值,則sayHello()輸出sayHello。
代碼段4的代碼實際上等同于下面的代碼(代碼段5):
- var sayHello;
- function sayHey() {
- console.log("sayHey");
- }
- function sayHey() {
- console.log("sayHey2");
- }
- console.log(typeof (sayHey));//=>function
- console.log(typeof (sayHo));//=>undefined
- if (true) { //hoisting...
- sayHello = function sayHo() {
- console.log("sayHello");
- }
- } else { //hoisting...
- sayHello = function sayHo() {
- console.log("sayHello2");
- }
- }
- sayHey();// => sayHey2
- sayHello();// => sayHello
有的人也許會懷疑函數sayHey的定義是第二個覆蓋***個了么?我們可以把sayHey的源代碼進行輸出,有圖有真相,如下圖所示:
總結
Javascript 中函數聲明和函數表達式是存在區別的,函數聲明在JS解析時進行函數提升,因此在同一個作用域內,不管函數聲明在哪里定義,該函數都可以進行調用。而函數表達式的值是在JS運行時確定,并且在表達式賦值完成后,該函數才能調用。這個微小的區別,可能會導致JS代碼出現意想不到的bug,讓你陷入莫名的陷阱中。
***附上代碼段4中sayHello和sayHey兩個函數的核心步驟(個人理解,若有異議歡迎留言探討):
上圖為sayHello函數執行的主要步驟示意圖。
上圖為sayHey函數執行主要步驟的示意圖。
【本文為51CTO專欄作者“謝軍”的原創稿件,轉載可通過作者微信公眾號(jingfeng18)獲取聯系】



























