转自：http://web.jobbole.com/82520/
原文是一篇很经典的讲解IIFE的文章，很适合收藏。本文虽然是译文，但是直译的很少，而且添加了不少自己的理解。
ps：下文中提到的“立即执行函数”其实就是“立即执行函数表达式”
1.我们要说的到底是什么？
现在我们定义了一个函数（function foo(){}或者var foo = function(){}），函数名后加上一对小括号即可完成对该函数的调用，比如
| var foo = function(){ /* code */ };foo(); |
接着我们来看下面的代码：
| 1 | function(){/* code */ }();// SyntaxError: Unexpected token ( |
---->报错1--没有函数名
在javascript代码解释时，当遇到function关键字时，会默认把它当做是一个函数声明，而不是函数表达式，如果是匿名函数，就报错了，因为函数声明需要一个函数名（以上代码，也正是在执行到第一个左括号(时报错，因为(前理论上是应该有个函数名的。）
- 一波未平一波又起
---->报错---不是表达式
显式声明函数，然后加上()立即调用，同样也会报错，而这次报错原因却不相同：
| 1 | functionfoo(){/* code */ }();// SyntaxError: Unexpected token ) |
一个表达式后面加上括号，该表达式立即执行；在一个语句后面加上括号，，只是一个分组操作符，用来控制运算中的优先级（小括号里的先运算）。
| 12 | functionfoo(){/* code */ }();// SyntaxError: Unexpected token ) |
相当于先声明了一个叫foo的函数，之后进行()内的表达式运算，但是()（分组操作符）内的表达式不能为空，所以报错。（以上代码，也就是执行到右括号时，发现表达式为空，所以报错）。
2.立即执行函数（IIFE）
其实很简单，只需要用括号全部括起来即可，比如下面这样：
| 1 | (function(){/* code */ }()); |
为什么这样就能立即执行并且不报错呢？因为在javascript里，括号内部不能包含语句，当解析器对代码进行解释的时候，先碰到了()，然后碰到function关键字就会自动将()里面的代码识别为函数表达式而不是函数声明。（解析成了表达式**）
而立即执行函数并非只有上面的一种写法，写法真是五花八门：
| 1234567891011121314151617181920 | // 最常用的两种写法(function(){/* code */ }());// 老道推荐写法(function(){/* code */ })();// 当然这种也可以 // 括号和JS的一些操作符（如 = && || ,等）可以在函数表达式和函数声明上消除歧义// 如下代码中，解析器已经知道一个是表达式了，于是也会把另一个默认为表达式// 但是两者交换则会报错vari =function(){return 10;}();true&& function(){/* code */ }();0,function(){/* code */ }(); // 如果你不怕代码晦涩难读，也可以选择一元运算符!function(){/* code */ }();~function(){/* code */ }();-function(){/* code */ }();+function(){/* code */ }(); // 你也可以这样newfunction(){/* code */ }newfunction(){/* code */ }()// 带参数 |
**有的时候，我们实际上不需要使用()使之变成一个函数表达式，啥意思？比如下面这行代码，其实不加上()也不会保错：
| 1 | vari =function(){return 10;}(); |
但是我们依然推荐加上()：
| 1 | vari =(function(){return 10;}()); |
为什么？因为我们在阅读代码的时候，如果function内部代码量庞大，我们不得不滚动到最后去查看function(){}后是否带有()来确定i值是个function还是function内部的返回值。所以为了代码的可读性，请尽量加上()无论是否已经是表达式。
3.闭包中应用
立即执行函数能配合闭包保存状态。
像普通的函数传参一样，立即执行函数也能传参数。如果在函数内部再定义一个函数，而里面的那个函数能引用外部的变量和参数（闭包），利用这一点，我们能使用立即执行函数锁住变量保存状态。
| 123456789101112131415161718192021222324252627282930313233343536373839404142434445 | // 并不会像你想象那样的执行，因为i的值没有被锁住// 当我们点击链接的时候，其实for循环已经执行完了// 于是在点击的时候i的值其实已经是elems.length了varelems =document.getElementsByTagName('a' ); for( vari =0;i <elems.length;i++) { elems[i ].addEventListener('click',function(e){ e.preventDefault(); alert('I am link #' + i); },'false' ); } // 这次我们得到了想要的结果// 因为在立即执行函数内部，i的值传给了lockedIndex，并且被锁在内存中// 尽管for循环结束后i的值已经改变，但是立即执行函数内部lockedIndex的值并不会改变varelems =document.getElementsByTagName('a' ); for( vari =0;i <elems.length;i++) { (function(lockedInIndex ){ elems[i ].addEventListener('click',function(e){ e.preventDefault(); alert('I am link #' + lockedInIndex); },'false' ); })(i ); } // 你也可以这样，但是毫无疑问上面的代码更具有可读性varelems =document.getElementsByTagName('a' ); for( vari =0;i <elems.length;i++) { elems[i ].addEventListener('click',(function(lockedInIndex ){ returnfunction(e){ e.preventDefault(); alert('I am link #' + lockedInIndex); }; })(i ),'false' ); } |
其实上面代码的lockedIndex也可以换成i，因为两个i是在不同的作用域里，所以不会互相干扰，但是写成不同的名字更好解释。以上便是立即执行函数+闭包的作用。
| 123456789101112131415161718192021 | // 这是一个自执行函数，函数内部执行的是自己，递归调用functionfoo(){ foo();} // 这是一个自执行匿名函数，因为它没有函数名// 所以如果要递归调用自己的话必须用arguments.calleevarfoo =function(){ arguments.callee();}; // 这可能也算是个自执行匿名函数，但仅仅是foo标志引用它自身// 如果你将foo改变成其它的，你将得到一个used-to-self-execute匿名函数varfoo =function(){ foo();}; // 有些人叫它自执行匿名函数，尽管它没有执行自己，只是立即执行而已(function(){/* code */ }()); // 给函数表达式添加了标志名称，可以方便debug// 但是一旦添加了标志名称，这个函数就不再是匿名的了(functionfoo(){/* code */ }()); // 立即执行函数也可以自执行，不过不常用罢了(function(){arguments.callee();}());(functionfoo(){foo();}()); |
我的理解是作者认为自执行函数是函数内部调用自己（递归调用），而立即执行函数就如字面意思，该函数立即执行即可。其实现在也不用去管它了，就叫IIFE好了。
4.模块化中应用
立即执行函数在模块化中也大有用处。用立即执行函数处理模块化可以减少全局变量造成的空间污染，构造更多的私有变量。
| 12345678910111213141516171819202122232425262728293031 | // 创建一个立即执行的匿名函数// 该函数返回一个对象，包含你要暴露的属性// 如下代码如果不使用立即执行函数，就会多一个属性i// 如果有了属性i，我们就能调用counter.i改变i的值// 对我们来说这种不确定的因素越少越好 varcounter =(function(){ vari =0; return{ get:function(){ returni; }, set:function(val ){ i= val; }, increment:function(){ return++i; } };}()); // counter其实是一个对象 counter.get();// 0counter.set(3 );counter.increment();// 4counter.increment();// 5 counter.i;// undefined i并不是counter的属性i;// ReferenceError: i is not defined (函数内部的是局部变量) |
扩展阅读
如果你愿意了解更多内容，特别是关于函数和模块模式的内容，建议阅读下列文章。
- ECMA-262-3 in detail. Chapter 5. Functions. – Dmitry A. Soshnikov
- Functions and function scope – Mozilla Developer Network
- Named function expressions – Juriy “kangax” Zaytsev
- JavaScript Module Pattern: In-Depth – Ben Cherry
- Closures explained with JavaScript – Nick Morgan