关于闭包(closure)的一些概念
和其他大多数现代编程语言一样,JS也采用词法作用域,也就是说,函数的执行依赖于变量作用域,这个作用域是在函数定义时决定的,而不是函数调用时决定的。为了实现这种词法作用域,JS函数对象的内部状态不仅包含函数的代码逻辑,还必须引用当前的作用域链。函数对象可以通过作用域链相互关联起来,函数体内部的变量都可以保存在函数作用域内,这种特性在计算机科学中称为“闭包”。
理解闭包首先要了解嵌套函数的词法作用域规则。看一下下面的代码:
var scope="global scope"; function checkscope(){ var scope="local scope"; function f(){return scope;} return f(); } checkscope()
checkscope()函数声明了一个局部变量,并定义了一个函数f(),函数f()返回了这个变量的值,最后将其执行结果返回。明显返回结果将是“local scope”。现在对代码做一些改动:
var scope="global scope"; function checkscope(){ var scope="local scope"; function f(){return scope;} return f; } checkscope()()
在这段代码中,将函数内的一对圆括号移动到了checkscope()之后,checkscope()仅仅返回函数内嵌套的一个函数对象,而不是直接返回结果。在定义函数的作用域外调用这个嵌套的函数会发生什么?
注意:函数的执行依赖于变量作用域,这个作用域是在函数定义时决定的,而不是函数调用时决定的。嵌套的函数f()定义在这个作用域链里,scope一定是局部变量,无论何时何地调用f(),返回都是“local scope”。
闭包的特性:它们可以捕捉到局部变量和参数,并一直保存下来,看起来像这些变量绑定到了其中定义它们的外部函数。
为什么在闭包中,外部函数定义的局部变量在函数返回后依然存在?
每次调用JS函数的时候,都会为之创建一个新的对象用来保存局部变量,把这个对象添加到作用域链中。当函数返回的时候,就从作用域链中将这个绑定变量的对象删除。如果不存在嵌套的函数,也没有其他引用指向这个绑定对象,他就会被当作垃圾回收掉。如果定义了嵌套的函数,每个嵌套的函数都各自对应一个作用域链,并且这个作用域链指向一个变量绑定对象。但如果这些嵌套的函数对象在外部函数中保存下来,那么它们也会和所指向的变量绑定对象一样当作垃圾回收。但是如果这个函数定义了嵌套的函数,并将它作为返回值返回或者存储在某处的属性里,这时就会有一个外部引用指向这个嵌套的函数,它就不会被当作垃圾回收,并且它所指向的变量绑定对象也不会被当作垃圾回收。
使用闭包技术可以实现私有状态的共享。
//这个函数给对象o增加了属性存储器方法 //方法的名称为get<name>和set<name>。如果提供了一个判定函数, //setter方法就会用它来检测参数的合法性,然后再存储它, //如果判定函数返回false,setter方法抛出一个异常。 // //这个函数有一个非同寻常之处,就是getter和setter函数 //所操作的属性值并没有存储在对象o中, //相反,这个值仅仅是保存在函数中的局部变量中 //getter和setter方法同样是局部函数,因此可以访问这个局部变量 //也就是说,对于两个存储方法来说,这个变量是私有的, //没有办法绕过存储器方法来设置或修改这个值。 function addPrivateProperty(o,name,predicate){ var value;//这是一个属性值 //getter方法简单地将其返回 o["get"+name]=function(){return value;}; //setter方法首先检查值是否合法,若不合法就抛出异常 //否则就将其存储起来 o["set"+name]=function(v){ if(predicate&&!predicate(v)) throw Error("set"+name+":invalid value "+v); else value=v; }; } //下面的代码展示了addPrivateProperty()方法 var o={};//设置一个空对象 //增加属性存储器方法getName()和setName() //确保只允许字符串值 addPrivateProperty(o,"Name",function(x){return typeof x=="string";}); o.setName("Frank");//设置属性值 console.log(o.getName());//得到属性值 o.setName(1);//试图设置一个错误类型的值
在同一个作用域链中定义两个闭包,这两个闭包共享同样的私有变量或变量,这是一种非常重要的技术。
试图将循环代码移入定义这个闭包的函数之内时要格外小心,看下面的代码:
function constfuncs() { var funcs = []; for (var i = 0; i < 10; i++) { funcs[i] =function () {return i; }; } return funcs; } var funcs = constfuncs(); console.log(funcs[5]());//10
上面这段代码创建了10个闭包,并将它们存储到一个数组中。这些闭包都是在同一个函数调用中定义的,因此它们可以共享变量i。当constfuncs()返回时,变量i的值是10,所有的闭包都共享这一个值,因此数组中的函数的返回值都是同一个值。关联到闭包的作用域链都是“活动的”,嵌套的函数不会将作用域内的私有成员复制一份,也不会对绑定的变量生成静态快照。
解决方法可以再使用一个闭包,每次循环都将i的值传入:
function constfuncs() { var funcs = []; for (var i = 0; i < 10; i++) { funcs[i] = (function (i) { return function () { return i; }; })(i); } return funcs; } var funcs = constfuncs(); console.log(funcs[5]());//5
从一个微信公共号(web前端开发)看到的关于闭包的更通俗的一些解释:
什么是闭包?
基本原理:闭包是由函数引用其周边状态(词法环境)绑在一起形成的(封装)组合结构。在JS中,闭包在每个函数被创建时形成。由于闭包和它的词法环境绑在一起,因此闭包让我们能够从一个函数内部访问外部函数的作用域。要使用闭包,只需要简单的将一个函数定义在另一个函数内部,并将它暴露出来,要暴露一个函数,可以将它返回或者传给其他函数。内部函数将能够访问到外部函数作用域中的变量,即使外部函数已经执行完毕(上文已解释)。
闭包的使用场景:
1、对象的私有数据,如上文。
2、偏函数应用:一个过程,它传给某个函数其中一部分参数,然后返回一个新的函数,该函数等待接受后续参数。
3、柯里化:以后补充。