立即調用函數表達式

立即調用函數表達式（英文：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）.