本文深入探讨javascript中函数立即调用表达式（iife）的工作原理及其对变量类型的影响。通过具体代码示例，解释了闭包如何维护状态，以及函数在定义后立即执行如何改变变量所引用的值类型，从函数变为其内部函数返回的最终数值。
理解JavaScript中的函数执行与闭包
在JavaScript中，函数不仅可以返回基本数据类型，还可以返回其他函数。这种特性结合闭包（Closure）的概念，使得函数能够“记住”并访问其词法作用域，即使该函数在其词法作用域之外执行。然而，一个常见的误解发生在函数被定义并立即执行（Immediately Invoked Function Expression, IIFE）时，这会影响最终变量所引用的类型。
闭包与状态维护
首先，我们来看一个典型的闭包示例，它允许我们在多次函数调用中维护一个内部状态：
var f = function() {
var state = 1; // 'state' 是一个局部变量，存在于外层函数的词法作用域中
return function() { // 返回一个内部函数
return state++; // 内部函数可以访问并修改 'state'
};
};在这个例子中，f 被赋值为一个函数定义。这个函数定义包含了一个局部变量 state 和一个返回的内部函数。当这个外层函数被调用时，它会创建一个新的执行上下文，其中包含 state 变量，并返回那个能够访问 state 的内部函数。这个内部函数就是闭包，它“捕获”了外层函数的 state 变量。
立即调用表达式 (IIFE) 的作用
问题的核心在于 () 操作符的位置。当函数定义后紧跟 ()，这意味着该函数被立即执行。
立即学习“Java免费学习笔记（深入）”；
考虑以下代码片段：
var f = function() {
var state = 1;
return function() {
return state++;
};
}(); // 注意这里的 '()'这里的关键是函数定义末尾的 ()。这表示匿名外层函数在定义后立即被调用。
让我们逐步分析这个过程：
- 定义外层函数： function() { var state = 1; return function() { return state++; }; } 这是一个匿名函数表达式。
- 立即执行外层函数： 紧随其后的 () 会立即调用这个匿名函数。
- 外层函数的返回值： 外层函数执行后，它会返回其内部定义的函数 function() { return state++; }。
- 赋值给 f： 因此，变量 f 最终被赋值为外层函数执行后返回的那个内部函数。
所以，在上面的代码中，f 实际上是：
// f 等价于这个内部函数
var f = function() {
var state = 1; // 这个state是外层函数创建的，被f（即内部函数）捕获
return state++;
};(注意：这里为了便于理解，将state的定义也带入，但实际上state是外层函数作用域的，f只捕获了它。更准确地说，f现在就是那个内部函数。)
验证 typeof f() 的结果
既然 f 现在是一个函数（即外层函数返回的那个内部函数），那么 typeof f() 会是什么呢？
var f = function() { /* ... */ }(); // f 现在是内部函数
console.log(typeof f()); // 调用 f()，即调用内部函数当 f() 被调用时，它执行的是被赋值给 f 的那个内部函数。这个内部函数执行 return state++;，它返回 state 的当前值（一个数字），然后将 state 递增。因此，f() 的结果是一个数字。
所以，typeof f() 的结果是 'number'。
对比：不使用立即调用表达式
为了更好地理解立即调用表达式的影响，我们来看一个没有立即调用的例子：
var f = function() { // 外层函数定义
var state = 1;
return function() { // 返回内部函数
return state++;
};
}; // 注意这里没有 '()'
console.log(typeof f()); // 调用 f()在这个例子中：
- 赋值给 f： 变量 f 被赋值为外层函数本身。
- 第一次调用 f()： 当 console.log(typeof f()) 中的 f() 被调用时，它执行的是外层函数。
- 外层函数的返回值： 外层函数执行后，它会返回其内部定义的函数 function() { return state++; }。
- typeof 操作符： typeof 操作符作用于这个返回的内部函数。
因此，typeof f() 的结果是 'function'。
总结
通过上述分析，我们可以得出以下结论：
- 立即调用表达式 ()：当函数定义后紧跟 ()，该函数会立即执行，并且其返回值会被赋给变量。
- 闭包：内部函数能够访问并修改其外部函数的局部变量，即使外部函数已经执行完毕。
- 类型决定：typeof 操作符检查的是其操作数的最终类型。如果变量被赋值为一个函数，那么 typeof variable 是 'function'；如果变量被赋值为函数执行后的返回值（例如一个数字），那么 typeof variable 将是该返回值的类型。
理解立即调用表达式和闭包的交互是掌握JavaScript高级特性的关键。它不仅影响变量的类型，还广泛应用于模块化、私有变量模拟以及单例模式等设计模式中。
