立即呼叫函數表達式

立即呼叫函數表達式（英文：immediately-invoked function expression，縮寫：IIFE），是一種利用JavaScript函數生成新作用域的編程方法。

立即呼叫函數表達式可以令其函數中聲明的變數繞過JavaScript的變數置頂聲明規則，還可以避免新的變數被解釋成全域變數或函數名佔用全域變數名的情況。與此同時它能在禁止訪問函數內聲明變數的情況下允許外部對函數的呼叫。有時，這種編程方法也被叫做「自執行（匿名）函數」，但「立即呼叫函數表達式」是語意上最準確的術語。

用法

立即呼叫函數表達式擁有數種不同的寫法。最常見的一種是將函數表達式字面量置於圓括號（分組運算子）之內，然後使用圓括號呼叫函數。

(function() {
  // 这里的语句将获得新的作用域
})();

若要將作用域外變數傳遞進函數，則按下述方式書寫：

(function(a, b) {
  // a == 'hello'
  // b == 'world'
})('hello', 'world');

開頭的括號可能會因為直譯器的分號自動插入特性造成一些問題。括號本用於明確字面量為表達式以與函數宣告區分，但直譯器可能將括號解釋為對以上一行中結尾的變數名為名的函數的呼叫。在一些省略分號的程式中，可見將分號至於行首的做法。這樣的分號被稱為「防禦性分號」，舉例：

a = b + c
;(function() {  // 故意将分号放在这里
  // 代码
})();

如此書寫，以防止陳述式被理解為對函數c的呼叫（c(...)）。

例子

理解立即呼叫函數表達式的關鍵在於認清JavaScript擁有函數作用域，但沒有塊作用域（ES6之前），且通過指標（而非複製）將變數傳入一個函數閉包。 ES6 引入了新關鍵字 let和 const，用它們定義的常數和變數具有塊級作用域。

求值上下文（Evaluation context）

缺少塊作用域意味着一個在類似於for迴圈的塊中聲明的變數會被置頂到其所包含的函數中。如果一個內部函數依賴於一個外部變數，而該外部變數被外部函數更改，那麼執行內函數就有些困難。舉例，我們在聲明函數之後，但在定義函數之前，改變一個變數的值。

var v, getValue;
v = 1;
getValue = function() { return v; };
v = 2;
 
getValue(); // 2

當我們手動給v賦值時這結果似乎沒什麼問題。不過，如果getValue()是在一個迴圈中被定義的，那麼就可能出現預想外的結果。

var v, getValue;
v = 1;
getValue = (function(x) {
  return function() { return x; };
})(v);
v = 2;

getValue(); // 1

此例中，function將 v 作為參數傳入並立即呼叫，保護了內部函數的執行上下文。

David Herman's作品 Effective JavaScript 包含了一個用來在迴圈中求值導致問題的例子。 雖然他的例子刻意編寫得非常複雜，但是原因都是缺乏塊作用域導致的.

利用IIFE建立真正的私有函數和變數，並用閉包訪問

立即呼叫函數表達式也可以用來建立私有方法來訪問函數，不僅起到保護作用，同時也暴露了一些可以後續使用的屬性。 下面的例子來自於 Alman's 關於IIFE的網帖。

// 'counter' 函数返回一个具有属性的对象, 这里的属性就是
// get set等函数
var counter = (function(){
  var i = 0;

  return {
    get: function(){
      return i;
    },
    set: function( val ){
      i = val;
    },
    increment: function() {
      return ++i;
    }
  };
})();
// 这些调用使用了刚才counter得到的属性
counter.get(); // 0
counter.set( 3 );
counter.increment(); // 4
counter.increment(); // 5

如果我們試圖從全域作用域直接訪問 counter.i ，會得到 undefined，因為 i 這個數據由IIFE封裝，它並不是 counter的屬性。同樣的，如果我們試圖訪問 i 也會收到錯誤，因為 i 並沒有在全域作用域中定義。

術語

"立即呼叫函數表達式" 最早稱為「自執行（匿名）函數」 但是立即執行的函數不一定是匿名的。 ECMAScript 5的 strict mode 禁止arguments.callee, 因此，這個術語不夠準確.

在lambda-calculus（λ演算）中，這個構造稱為 "redex", 用來化簡表達式, 參閱：Reduction strategy (code optimization).

外部連結

• Functions and function scope. Mozilla JavaScript Reference. Mozilla Developer Network. [4 February 2013]. （原始內容存檔於2013-05-25）. 
• Soshnikov, Dmitry. ECMA-262-3 in detail. Chapter 5. Functions.. [4 February 2013]. （原始內容存檔於2021-02-28）.