Python 中的闭包

闭包（closure）是函数式编程的重要的语法结构，Python也支持这一特性，下面就开始介绍Python中的闭包。

首先看看闭包的概念：闭包（Closure）是词法闭包（Lexical Closure）的简称，是引用了自由变量的函数。这个被引用的自由变量将和这个函数一同存在，即使已经离开了创造它的环境也不例外。所以，闭包是由函数和与其相关的引用环境组合而成的实体。

在开始介绍闭包之前先看看Python中的namespace。

Python中的namespace

Python中通过提供 namespace 来实现重名函数/方法、变量等信息的识别，其一共有三种 namespace，分别为：

• local namespace: 作用范围为当前函数或者类方法
• global namespace: 作用范围为当前模块
• build-in namespace: 作用范围为所有模块

当函数/方法、变量等信息发生重名时，Python会按照 “local namespace -> global namespace -> build-in namespace”的顺序搜索用户所需元素，并且以第一个找到此元素的 namespace 为准。

同时，Python中的内建函数locals()和globals()可以用来查看不同namespace中定义的元素。

看一个例子：

Python

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21

s = "string in global" num = 99   def numFunc ( a , b ) :      num = 100      print "print s in numFunc: " , s        def addFunc ( a , b ) :          s = "string in addFunc"          print "print s in addFunc: " , s          print "print num in addFunc: " , num          print "locals of addFunc: " , locals ( )          print          return "%d + %d = %d" % ( a , b , a + b )        print "locals of numFunc: " , locals ( )      print      return addFunc ( a , b )   numFunc ( 3 , 6 )      print "globals: " , globals ( )

上面代码的结果为：

代码中通过locals()和globals()获取了不同namespace中定义的元素，当在”numFunc”函数中访问s变量的时候，由于local namespace中没有定义s，所以会找到global中的s；但是，由于”addFunc”的local namespace中有s，所以可以直接使用。

Python创建闭包

下面通过一个例子一步一步分析一下Python如何实现闭包。

一个闭包的例子

下面看一个闭包的简单的例子，例子中定义了一个可以配置打招呼的函数”greeting_conf”，在这个函数中，内嵌了一个”greeting”的内嵌函数：

Python

1 2 3 4 5 6 7 8 9 10 11 12 13 14

def greeting_conf ( prefix ) :      def greeting ( name ) :          print prefix , name      return greeting   mGreeting = greeting_conf ( "Good Morning" ) mGreeting ( "Wilber" ) mGreeting ( "Will" )   print   aGreeting = greeting_conf ( "Good Afternoon" )      aGreeting ( "Wilber" ) aGreeting ( "Will" )

代码的结果为：

上面的代码有下面几个注意点：

1. “greeting”函数访问了non-local的变量”prefix”，根据前面namespace的介绍，这点是完全合法的
2. 变量”prefix”并没有随着函数的退出而销毁，反而是生命周期得到了延长

下面看看为什么变量”prefix”生命周期得到了延长？

__closure__属性

在Python中，函数对象有一个__closure__属性，我们可以通过这个属性看看闭包的一些细节。

Python

1 2 3 4 5 6 7 8 9 10 11

def greeting_conf ( prefix ) :      def greeting ( name ) :          print prefix , name      return greeting   mGreeting = greeting_conf ( "Good Morning" )          print dir ( mGreeting ) print mGreeting . __closure__ print type ( mGreeting . __closure__ [ 0 ] ) print mGreeting . __closure__ [ 0 ] . cell_contents

通过__closure__属性看到，它对应了一个tuple，tuple的内部包含了cell类型的对象。

对于这个例子，可以得到cell的值（内容）为”Good Morning”，也就是变量”prefix”的值。

从这里可以看到闭包的原理，当内嵌函数引用了包含它的函数（enclosing function）中的变量后，这些变量会被保存在enclosing function的__closure__属性中，成为enclosing function本身的一部分；也就是说，这些变量的生命周期会和enclosing function一样。

闭包和函数

闭包只是在表现形式上跟函数类似，但实际上不是函数。

Python

1 2 3 4 5 6 7 8 9 10 11 12 13 14

def greeting_conf ( prefix ) :      def greeting ( name ) :          print prefix , name      return greeting   mGreeting = greeting_conf ( "Good Morning" )        print "function name is:" , mGreeting . __name__ print "id of mGreeting is:" , id ( mGreeting )   print   aGreeting = greeting_conf ( "Good Afternoon" )    print "function name is:" , aGreeting . __name__ print "id of aGreeting is:" , id ( aGreeting )

从代码的结果中可以看到，闭包在运行时可以有多个实例，不同的引用环境（这里就是prefix变量）和相同的函数（这里就是greeting）组合可以产生不同的实例。

Python中怎么创建闭包

在Python中创建一个闭包可以归结为以下三点：

• 闭包函数必须有内嵌函数
• 内嵌函数需要引用该嵌套函数上一级namespace中的变量
• 闭包函数必须返回内嵌函数

通过这三点，就可以创建一个闭包，是不是想到了上一篇中介绍的Python装饰器。没错，Python装饰器就是使用了闭包。

总结

本文介绍了如何通过Python创建一个闭包，以及Python创建的闭包是如何工作的。