立即调用函数表达式

立即调用函数表达式（英文：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之前），且通过指针（而非复制）将变量传入一个函数闭包。

求值上下文（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 contains an example illustrating the problems of evaluation context inside loops. While Herman's example is deliberately convoluted it arises directly from the same lack of block scope.

利用IIFE创建真正的私有函数和变量，并用闭包访问

IIFEs are also useful for establishing private methods for accessible functions while still exposing some properties for later use. The following example comes from Alman's post on IIFEs.
var counter = (function(){
  var i = 0;

  return {
    get: function(){
      return i;
    },
    set: function( val ){
      i = val;
    },
    increment: function() {
      return ++i;
    }
  };})();// 'counter' is an object with properties, which in this case happen to be// methods.counter.get(); // 0counter.set( 3 );counter.increment(); // 4counter.increment(); // 5
If we attempt to access counter.i from the global environment, it will be undefined as it is enclosed within the invoked function and is not a property of counter. Likewise, if we attempt to access i it will result in an error as we have not declared i in the global environment.

术语

"Immediately-invoked function expression" as a term describes a design pattern which has also been referred to as a "self-executing anonymous function." However, immediately-invoked functions need not be anonymous and ECMAScript 5's strict mode forbids arguments.callee, making the latter term less accurate.
In lambda-calculus, this construct was referred to as "redex", for reducible expression, see Reduction strategy (code optimization).