JavaScript闭包与变量的经典问题

许多人第一次接触闭包大概都是从高程里这段代码开始的:javascript

function createFunctions() {
    var result = new Array();

    for(var i=0; i<10; i++) {
        result[i] = function() {
            return i;
        }
    }
    return result;
}
var foo = createFunction();

 或者是用for循环在给网页中一连串元素绑定例如onclick事件时。java

全部的教材在讲到这一点时都会给出这样的解释: 由于每一个函数都保存着createFunction中的活动对象,因此它们引用的都是同一个变量 i 。而循环结束后 i 的值为10,因此每一个函数的输出都是10.编程

解释很是简洁与正确。数组

然而仍是会有一部分人看了这个解释后只知其一;不知其二,好比我。闭包

我第一次看到这个解释后有了这么一连串疑问: 虽然知道 i 最终是 10,可是在每次赋值过程当中 i 并非 10 啊,为何非要取最后一个值呢?i 并非引用数据类型,为何能够说“它们引用的都是同一个变量 i ?编程语言

若是你和我同样有这个疑问,其实对这个问题而言咱们不理解的地方并非闭包,可是这个问题被打上了一个严重的”闭包“标签,致使很长一段时间里我都觉得本身不了解闭包。函数

实际上,我不理解的并非闭包这个概念,而是更为基础的,函数调用的时机。spa

 

咱们把代码中赋值的哪一段改一下:code

result[i] = function() {
    return j;
}

 把 i 改为 j, 一个并无定义的变量。对象

若是咱们仅仅把改完以后的代码贴到console里运行,它是不会报错的。由于虽然createFunctions被调用了,却并未调用赋给result的函数。

只有继续使用语句调用result中的某个元素:

result[0](1);

 这样才会抛出 undefined 错误。

这说明了一个问题:仅仅声明某一个函数,引擎并不会对函数内部的任何变量进行查找或赋值操做。只会对函数内部的语法错误进行检查(若是往内部函数加上非法语句,那么不用调用也会报错)。

 

因此开头问题里的循环语句:

for(var i=0; i<10; i++) 
    result[i] = function() 
        return i;

 我本来觉得它是这样的:

 result[0] = function() { return 0; };
 result[1] = function() { return 1; };
 result[2] = function() { return 2; };

 实际上它是这样的:

 result[0] = function() { return i; };
 result[1] = function() { return i; };
 result[2] = function() { return i; };

 数组里的 i 和 函数里的 i 并非一回事, 外面的是常量, 里面的是变量。

而当咱们调用result[0]函数时, 这个函数执行到 return 语句,发现并无 i 这个变量,因而顺着做用链去找,在createFunctions里找到了已经变成10的 i ,因而输出 10. 这个过程才是闭包的寻找变量的过程。

 

根据这个思路寻找解决方案时思路就明确多了,只要在每次赋值过程当中,不让 i 做为变量,而是确确实实地利用当时 i 的值,方法就是将 i 做为函数参数进行调用:

result[i] = (function(val) { return val; })(i);

 这样一来在每一次赋值的过程当中,每个result[i]都与 i 的当前值产生了联系。

固然,这样修改的问题在于,原题返回的是一个函数,这里返回的倒是一个值。

因此还要把返回值改为相应的函数:

1 result[i] = (function (val) {
2   return function () {
3     return val;
4   };
5 })(i);

 这样至关于给目标函数套上了一层块级做用域,而且在 i 每次循环时都将它的值赋给了这个块级做用域中的一个临时变量。这个临时变量其实和 i 没有太大区别,只不过 i 在它的做用域声明时值为 0 ,结束后变成了10.而对每一个临时变量而言,开始是多少,结束仍是多少。

 

进一步谈闭包

任何声明在另外一个函数内部的函数均可以称为闭包。也就是说,闭包是一个函数。不过也有些地方会讲闭包是内部函数以及其做用域链组成的一个总体。两种说法其实一个意思,毕竟严格来讲,函数的做用域也是函数的一部分。不过我更喜欢后面一种说法,由于它强调了闭包的重点:维持做用域。

闭包主要有两个概念:能够访问外部函数,维持函数做用域。第一个概念并无什么特别,大部分编程语言都有这个特性,内部函数能够访问其外部变量这种事情很常见。因此重点在于第二点。举例以下:

var globalValue;

function out() {
    var value = 1;
    function inner() {
        return value;
    }
    globalValue = inner;
}

out();

globalValue() // return 1;

 咱们先不考虑闭包地看一下这个问题:首先声明了一个全局变量,而后调用了out函数,调用函数的过程当中全局变量被赋值了一个函数。out函数调用结束以后,按照内存处理机制,它内部的全部变量应该都被释放掉了,不过还好咱们把inner复制给了全局变量,因此还能够在外部调用它。接下来咱们调用了全局变量,这时候由于out内部做用域已经被释放了,因此应该找不到value的值,返回应该是undefined。

可是事实是,它的确返回了 1,即内部变量。本该已经消失了,只能存在于out函数内部的变量,走到了墙外。这就是闭包的强大之处。

相关文章
相关标签/搜索