高阶函数除了能够接受函数做为参数外,还能够把函数做为结果值返回。javascript
咱们来实现一个对Array
的求和。一般状况下,求和的函数是这样定义的:java
function sum(arr) { return arr.reduce(function (x, y) { return x + y; }); } sum([1, 2, 3, 4, 5]); // 15
可是,若是不须要马上求和,而是在后面的代码中,根据须要再计算怎么办?能够不返回求和的结果,而是返回求和的函数!ruby
function lazy_sum(arr) { var sum = function () { return arr.reduce(function (x, y) { return x + y; }); } return sum; }
当咱们调用lazy_sum()
时,返回的并非求和结果,而是求和函数:闭包
var f = lazy_sum([1, 2, 3, 4, 5]); // function sum()
调用函数f
时,才真正计算求和的结果:函数
f(); // 15
在这个例子中,咱们在函数lazy_sum
中又定义了函数sum
,而且,内部函数sum
能够引用外部函数lazy_sum
的参数和局部变量,当lazy_sum
返回函数sum
时,相关参数和变量都保存在返回的函数中,这种称为“闭包(Closure)”的程序结构拥有极大的威力。spa
请再注意一点,当咱们调用lazy_sum()
时,每次调用都会返回一个新的函数,即便传入相同的参数:设计
var f1 = lazy_sum([1, 2, 3, 4, 5]); var f2 = lazy_sum([1, 2, 3, 4, 5]); f1 === f2; // false
f1()
和f2()
的调用结果互不影响。code
注意到返回的函数在其定义内部引用了局部变量arr
,因此,当一个函数返回了一个函数后,其内部的局部变量还被新函数引用,因此,闭包用起来简单,实现起来可不容易。regexp
另外一个须要注意的问题是,返回的函数并无马上执行,而是直到调用了f()
才执行。咱们来看一个例子:对象
function count() { var arr = []; for (var i=1; i<=3; i++) { arr.push(function () { return i * i; }); } return arr; } var results = count(); var f1 = results[0]; var f2 = results[1]; var f3 = results[2];
在上面的例子中,每次循环,都建立了一个新的函数,而后,把建立的3个函数都添加到一个Array
中返回了。
你可能认为调用f1()
,f2()
和f3()
结果应该是1
,4
,9
,但实际结果是:
f1(); // 16 f2(); // 16 f3(); // 16
所有都是16
!缘由就在于返回的函数引用了变量i
,但它并不是马上执行。等到3个函数都返回时,它们所引用的变量i
已经变成了4
,所以最终结果为16
。
返回闭包时牢记的一点就是:返回函数不要引用任何循环变量,或者后续会发生变化的变量。
若是必定要引用循环变量怎么办?方法是再建立一个函数,用该函数的参数绑定循环变量当前的值,不管该循环变量后续如何更改,已绑定到函数参数的值不变:
function count() { var arr = []; for (var i=1; i<=3; i++) { arr.push((function (n) { return function () { return n * n; } })(i)); } return arr; } var results = count(); var f1 = results[0]; var f2 = results[1]; var f3 = results[2]; f1(); // 1 f2(); // 4 f3(); // 9
注意这里用了一个“建立一个匿名函数并马上执行”的语法:
(function (x) { return x * x; })(3); // 9
理论上讲,建立一个匿名函数并马上执行能够这么写:
function (x) { return x * x } (3);
可是因为JavaScript语法解析的问题,会报SyntaxError错误,所以须要用括号把整个函数定义括起来:
(function (x) { return x * x }) (3);
一般,一个当即执行的匿名函数能够把函数体拆开,通常这么写:
(function (x) { return x * x; })(3);
说了这么多,难道闭包就是为了返回一个函数而后延迟执行吗?
固然不是!闭包有很是强大的功能。举个栗子:
在面向对象的程序设计语言里,好比Java和C++,要在对象内部封装一个私有变量,能够用private
修饰一个成员变量。
在没有class
机制,只有函数的语言里,借助闭包,一样能够封装一个私有变量。咱们用JavaScript建立一个计数器:
'use strict'; function create_counter(initial) { var x = initial || 0; return { inc: function () { x += 1; return x; } } }
它用起来像这样:
var c1 = create_counter(); c1.inc(); // 1 c1.inc(); // 2 c1.inc(); // 3 var c2 = create_counter(10); c2.inc(); // 11 c2.inc(); // 12 c2.inc(); // 13
在返回的对象中,实现了一个闭包,该闭包携带了局部变量x
,而且,从外部代码根本没法访问到变量x
。换句话说,闭包就是携带状态的函数,而且它的状态能够彻底对外隐藏起来。
闭包还能够把多参数的函数变成单参数的函数。例如,要计算xy能够用Math.pow(x, y)
函数,不过考虑到常常计算x2或x3,咱们能够利用闭包建立新的函数pow2
和pow3
:
function make_pow(n) { return function (x) { return Math.pow(x, n); } } // 建立两个新函数: var pow2 = make_pow(2); var pow3 = make_pow(3); pow2(5); // 25 pow3(7); // 343