1.定义
闭包是函数式编程的一个重要的语法结构,函数式编程是一种编程范式 (而面向过程编程和面向对象编程也都是编程范式)。在面向过程编程中,我们见到过函数(function);在面向对象编程中,我们见过对象(object)。函数和对象的根本目的是以某种逻辑方式组织代码,并提高代码的可重复使用性(reusability)。闭包也是一种组织代码的结构,它同样提高了代码的可重复使用性。
不同编程语言实现闭包的方式是不同的,python中闭包从表现形式上看,如果在一个内部函数里,对在外部作用域(但不是在全局作用域)的变量进行引用,那么内部函数就被认为是闭包(closure)。
举个例子:
1 defouter(x):2 definner(y):3 return x +y4 return inner
结合这段简单的代码和定义来说明闭包:
inner(y)就是这个内部函数,对在外部作用域(但不是在全局作用域)的变量进行引用:x就是被引用的变量,x在外部作用域outer里面,但不在全局作用域里,则这个内部函数inner就是一个闭包。
再稍微讲究一点的解释是,闭包=函数块+定义函数时的环境,inner就是函数块,x就是环境,当然这个环境可以有很多,不止一个简单的x。
在函数outer中定义了一个inner函数,inner函数访问外部函数outer的(参数)变量,并且把inner函数作为返回值返回给outer函数。
1 a = outer(2)2 print('function:',a)3 print('result:',a(3))
上面的代码中a就是一个函数,代码的执行结果为:
从结果我们不难看出,a是函数inner而不是outer,这个有点绕,但是并不难理解,因为return回来的是inner函数。
1 print('a.func_name',a.func_name)
输出结果为:
调用函数a,得到的结果是传入参数的值相加。
上面的和这句是一样的:print('result:',outer(2)(3))
2.使用闭包注意的地方
2.1闭包无法修改外部函数的局部变量
如果innerFunc可以修改x的值的话,x的值前后会发生变化,但结果是:
在innerFunc中x的值发生了改变,但是在outerFunc中x的值并未发生变化。
再来看一个例子
2.2闭包无法直接访问外部函数的局部变量
1 defouter():2 x = 5
3 def inner(): #上面一行的x相对inner函数来说是函数外的局部变量(非全局变量)
4 x *=x5 returnx6 returninner7
8 outer()()
运行会报错:
解决的方法:
1.在python3之前没有直接的解决方法,只能间接地通过容器类型来解决,因为容器类型不是存放在栈空间的,inner函数可以访问到。
1 defouter():2 x = [5]3 definner():4 x[0] *=x[0]5 returnx[0]6 returninner7
8 print(outer()()) #25
2.python3通过nonlocal关键字来解决,该语句显式的指定a不是闭包的局部变量。
1 defouter():2 x = 5
3 definner():4 nonlocal x #把x声明为非局部变量
5 x *=x6 returnx7 returninner8
9 print(outer()())
2.3python循环中不包含域的概念
还有一个容易产生错误的事例也经常被人在介绍python闭包时提起,我一直都没觉得这个错误和闭包有什么太大的关系,但是它倒是的确是在python函数式编程是容易犯的一个错误,我在这里也不妨介绍一下。先看下面这段代码
1 for i in range(3):2 print i
在程序里面经常会出现这类的循环语句,Python的问题就在于,当循环结束以后,循环体中的临时变量i不会销毁,而是继续存在于执行环境中。还有一个python的现象是,python的函数只有在执行时,才会去找函数体里的变量的值。
1 flist =[]2 for i in range(3):3 def foo(x): print x +i4 flist.append(foo)5 for f inflist:6 f(2)
可能有些人认为这段代码的执行结果应该是2,3,4.但是实际的结果是4,4,4。loop在python中是没有域的概念的,flist在像列表中添加func的时候,并没有保存i的值,而是当执行f(2)的时候才去取,这时候循环已经结束,i的值是2,所以结果都是4。
解决方法也很简单,改写一下函数的定义就可以了。
for i in range(3):def foo(x,y=i): print x +y
flist.append(foo)
另外一个例子:
需要注意的问题是,返回的函数并没有立刻执行,而是直到调用了f()才执行。我们来看一个例子:
1 function count() {2 var arr =[];3 for (var i=1; i<=3; i++) {4 arr.push(function () {5 return i *i;6 });7 }8 returnarr;9 }10
11 var results =count();12 var f1 =results[0];13 var f2 = results[1];14 var f3 = results[2];
在上面的例子中,每次循环,都创建了一个新的函数,然后,把创建的3个函数都添加到一个Array中返回了。
你可能认为调用f1(),f2()和f3()结果应该是1,4,9,但实际结果是:
1 f1(); // 16
2 f2(); // 16
3 f3(); // 16
全部都是16!原因就在于返回的函数引用了变量i,但它并非立刻执行。等到3个函数都返回时,它们所引用的变量i已经变成了4,因此最终结果为16。
返回闭包时牢记的一点就是:返回函数不要引用任何循环变量,或者后续会发生变化的变量。
如果一定要引用循环变量怎么办?方法是再创建一个函数,用该函数的参数绑定循环变量当前的值,无论该循环变量后续如何更改,已绑定到函数参数的值不变:
1 function count() {2 var arr =[];3 for (var i=1; i<=3; i++) {4 arr.push((function (n) {5 returnfunction () {6 return n *n;7 }8 })(i));9 }10 returnarr;11 }12
13 var results =count();14 var f1 =results[0];15 var f2 = results[1];16 var f3 = results[2];17
18 f1(); // 1
19 f2(); // 4
20 f3(); // 9
注意这里用了一个“创建一个匿名函数并立刻执行”的语法:
1 (function (x) {2 return x *x;3 })(3); // 9
理论上讲,创建一个匿名函数并立刻执行可以这么写:
1 function (x) { return x * x } (3);
但是由于JavaScript语法解析的问题,会报SyntaxError错误,因此需要用括号把整个函数定义括起来:
1 (function (x) { return x * x }) (3);
通常,一个立即执行的匿名函数可以把函数体拆开,一般这么写:
1 (function (x) {2 return x *x;3 })(3);
3.闭包的作用
说了这么多,不免有人要问,那这个闭包在实际的开发中有什么用呢?闭包主要是在函数式开发过程中使用。以下介绍两种闭包主要的用途。
用途1:当闭包执行完后,仍然能够保持住当前的运行环境。
比如说,如果你希望函数的每次执行结果,都是基于这个函数上次的运行结果。我以一个类似棋盘游戏的例子来说明。假设棋盘大小为50*50,左上角为坐标系原点(0,0),我需要一个函数,接收2个参数,分别为方向(direction),步长(step),该函数控制棋子的运动。棋子运动的新的坐标除了依赖于方向和步长以外,当然还要根据原来所处的坐标点,用闭包就可以保持住这个棋子原来所处的坐标。
1 origin =[0, 0]2 legal_x = [0, 50]3 legal_y = [0, 50]4 def create(pos=origin):5 defplayer(direction,step):6 #这里应该首先判断参数direction,step的合法性,比如direction不能斜着走,step不能为负等
7 #然后还要对新生成的x,y坐标的合法性进行判断处理,这里主要是想介绍闭包,就不详细写了。
8 new_x = pos[0] + direction[0]*step9 new_y = pos[1] + direction[1]*step10 pos[0] =new_x11 pos[1] =new_y12 #注意!此处不能写成 pos = [new_x, new_y],因为参数变量不能被修改,而pos[]是容器类的解决方法
13 returnpos14 returnplayer15
16 player = create() #创建棋子player,起点为原点
17 print player([1,0],10) #向x轴正方向移动10步
18 print player([0,1],20) #向y轴正方向移动20步
19 print player([-1,0],10) #向x轴负方向移动10步
输出为:
1 [10, 0]2 [10, 20]3 [0, 20]
用途2:闭包可以根据外部作用域的局部变量来得到不同的结果
这有点像一种类似配置功能的作用,我们可以修改外部的变量,闭包根据这个变量展现出不同的功能。比如有时我们需要对某些文件的特殊行进行分析,先要提取出这些特殊行。
1 defmake_filter(keep):2 defthe_filter(file_name):3 file =open(file_name)4 lines =file.readlines()5 file.close()6 filter_doc = [i for i in lines if keep ini]7 returnfilter_doc8 return the_filter
如果我们需要取得文件”result.txt”中含有”pass”关键字的行,则可以这样使用例子程序
1 filter = make_filter("pass") filter_result = filter("result.txt")
以上两种使用场景,用面向对象也是可以很简单的实现的,但是在用Python进行函数式编程时,闭包对数据的持久化以及按配置产生不同的功能,是很有帮助的。