Python 闭包详解
在函數(shù)編程中經(jīng)常用到閉包。閉包是什么,它是怎么產(chǎn)生的及用來(lái)解決什么問(wèn)題呢。給出字面的定義先:閉包是由函數(shù)及其相關(guān)的引用環(huán)境組合而成的實(shí)體(即:閉包=函數(shù)+引用環(huán)境)(想想Erlang的外層函數(shù)傳入一個(gè)參數(shù)a, 內(nèi)層函數(shù)依舊傳入一個(gè)參數(shù)b, 內(nèi)層函數(shù)使用a和b, 最后返回內(nèi)層函數(shù))。這個(gè)從字面上很難理解,特別對(duì)于一直使用命令式語(yǔ)言進(jìn)行編程的程序員們。本文將結(jié)合實(shí)例代碼進(jìn)行解釋。
函數(shù)是什么
地球人都知道:函數(shù)只是一段可執(zhí)行代碼,編譯后就“固化”了,每個(gè)函數(shù)在內(nèi)存中只有一份實(shí)例,得到函數(shù)的入口點(diǎn)便可以執(zhí)行函數(shù)了。在函數(shù)式編程語(yǔ)言中,函 數(shù)是一等公民(First class value:第一類(lèi)對(duì)象,我們不需要像命令式語(yǔ)言中那樣借助函數(shù)指針,委托操作函數(shù)),函數(shù)可以作為另一個(gè)函數(shù)的參數(shù)或返回值,可以賦給一個(gè)變量。函數(shù)可 以嵌套定義,即在一個(gè)函數(shù)內(nèi)部可以定義另一個(gè)函數(shù),有了嵌套函數(shù)這種結(jié)構(gòu),便會(huì)產(chǎn)生閉包問(wèn)題。如:
?????sum=n
?????def?InsFunc():
?????????????return?sum+1
?????return?InsFunc
>>>?myFunc=ExFunc(10)
>>>?myFunc()
11
>>>?myAnotherFunc=ExFunc(20)
>>>?myAnotherFunc()
21
>>>?myFunc()
11
>>>?myAnotherFunc()
21
>>>
在這段程序中,函數(shù)InsFunc是函數(shù)ExFunc的內(nèi)嵌函數(shù),并且是ExFunc函數(shù)的返回值。我們注意到一個(gè)問(wèn)題:內(nèi)嵌函數(shù)InsFunc中 引用到外層函數(shù)中的局部變量sum,IronPython會(huì)這么處理這個(gè)問(wèn)題呢?先讓我們來(lái)看看這段代碼的運(yùn)行結(jié)果。當(dāng)我們調(diào)用分別由不同的參數(shù)調(diào)用 ExFunc函數(shù)得到的函數(shù)時(shí)(myFunc(),myAnotherFunc()),得到的結(jié)果是隔離的,也就是說(shuō)每次調(diào)用ExFunc函數(shù)后都將生成并保存一個(gè)新的局部變量sum。其實(shí)這里ExFunc函數(shù)返回的就是閉包。
引用環(huán)境
按照命令式語(yǔ)言的規(guī)則,ExFunc函數(shù)只是返回了內(nèi)嵌函數(shù)InsFunc的地址,在執(zhí)行InsFunc函數(shù)時(shí)將會(huì)由于在其作用域內(nèi)找不到sum變量而出 錯(cuò)。而在函數(shù)式語(yǔ)言中,當(dāng)內(nèi)嵌函數(shù)體內(nèi)引用到體外的變量時(shí),將會(huì)把定義時(shí)涉及到的引用環(huán)境和函數(shù)體打包成一個(gè)整體(閉包)返回。現(xiàn)在給出引用環(huán)境的定義就 容易理解了:引用環(huán)境是指在程序執(zhí)行中的某個(gè)點(diǎn)所有處于活躍狀態(tài)的約束(一個(gè)變量的名字和其所代表的對(duì)象之間的聯(lián)系)所組成的集合。閉包的使用和正常的函 數(shù)調(diào)用沒(méi)有區(qū)別。
由于閉包把函數(shù)和運(yùn)行時(shí)的引用環(huán)境打包成為一個(gè)新的整體,所以就解決了函數(shù)編程中的嵌套所引發(fā)的問(wèn)題。如上述代碼段中,當(dāng)每次調(diào)用ExFunc函數(shù) 時(shí)都將返回一個(gè)新的閉包實(shí)例,這些實(shí)例之間是隔離的,分別包含調(diào)用時(shí)不同的引用環(huán)境現(xiàn)場(chǎng)。不同于函數(shù),閉包在運(yùn)行時(shí)可以有多個(gè)實(shí)例,不同的引用環(huán)境和相同 的函數(shù)組合可以產(chǎn)生不同的實(shí)例。
?一,定義
python中的閉包從表現(xiàn)形式上定義(解釋)為:如果在一個(gè)內(nèi)部函數(shù)里,對(duì)在外部作用域(但不是在全局作用域)的變量進(jìn)行引用,那么內(nèi)部函數(shù)就被認(rèn)為是閉包(closure).這個(gè)定義是相對(duì)直白的,好理解的,不像其他定義那樣學(xué)究味道十足(那些學(xué)究味道重的解釋,在對(duì)一個(gè)名詞的解釋過(guò)程中又充滿(mǎn)了一堆讓人抓狂的其他陌生名詞,不適合初學(xué)者)。下面舉一個(gè)簡(jiǎn)單的例子來(lái)說(shuō)明。
結(jié)合這段簡(jiǎn)單的代碼和定義來(lái)說(shuō)明閉包:
如果在一個(gè)內(nèi)部函數(shù)里:adder(y)就是這個(gè)內(nèi)部函數(shù),
對(duì)在外部作用域(但不是在全局作用域)的變量進(jìn)行引用:x就是被引用的變量,x在外部作用域addx里面,但不在全局作用域里,
則這個(gè)內(nèi)部函數(shù)adder就是一個(gè)閉包。
再稍微講究一點(diǎn)的解釋是,閉包=函數(shù)塊+定義函數(shù)時(shí)的環(huán)境,adder就是函數(shù)塊,x就是環(huán)境,當(dāng)然這個(gè)環(huán)境可以有很多,不止一個(gè)簡(jiǎn)單的x。
二,使用閉包注意事項(xiàng)
1,閉包中是不能修改外部作用域的局部變量的
從執(zhí)行結(jié)果可以看出,雖然在閉包里面也定義了一個(gè)變量m,但是其不會(huì)改變外部函數(shù)中的局部變量m。
2,以下這段代碼是在python中使用閉包時(shí)一段經(jīng)典的錯(cuò)誤代碼
這段程序的本意是要通過(guò)在每次調(diào)用閉包函數(shù)時(shí)都對(duì)變量a進(jìn)行遞增的操作。但在實(shí)際使用時(shí)
>>> c = foo() >>> print c() Traceback (most recent call last): File "<stdin>", line 1, in <module> File "<stdin>", line 4, in bar UnboundLocalError: local variable 'a' referenced before assignment這是因?yàn)樵趫?zhí)行代碼 c = foo()時(shí),python會(huì)導(dǎo)入全部的閉包函數(shù)體bar()來(lái)分析其的局部變量,python規(guī)則指定所有在賦值語(yǔ)句左面的變量都是局部變量,則在閉包bar()中,變量a在賦值符號(hào)"="的左面,被python認(rèn)為是bar()中的局部變量。再接下來(lái)執(zhí)行print c()時(shí),程序運(yùn)行至a = a + 1時(shí),因?yàn)橄惹耙呀?jīng)把a(bǔ)歸為bar()中的局部變量,所以python會(huì)在bar()中去找在賦值語(yǔ)句右面的a的值,結(jié)果找不到,就會(huì)報(bào)錯(cuò)。解決的方法很簡(jiǎn)單
def foo(): a = [1] def bar(): a[0] = a[0] + 1 return a[0] return bar只要將a設(shè)定為一個(gè)容器就可以了。這樣使用起來(lái)多少有點(diǎn)不爽,所以在python3以后,在a = a + 1 之前,使用語(yǔ)句nonloacal a就可以了,該語(yǔ)句顯式的指定a不是閉包的局部變量。
3,還有一個(gè)容易產(chǎn)生錯(cuò)誤的事例也經(jīng)常被人在介紹python閉包時(shí)提起,我一直都沒(méi)覺(jué)得這個(gè)錯(cuò)誤和閉包有什么太大的關(guān)系,但是它倒是的確是在python函數(shù)式編程是容易犯的一個(gè)錯(cuò)誤,我在這里也不妨介紹一下。先看下面這段代碼
在程序里面經(jīng)常會(huì)出現(xiàn)這類(lèi)的循環(huán)語(yǔ)句,Python的問(wèn)題就在于,當(dāng)循環(huán)結(jié)束以后,循環(huán)體中的臨時(shí)變量i不會(huì)銷(xiāo)毀,而是繼續(xù)存在于執(zhí)行環(huán)境中。還有一個(gè)python的現(xiàn)象是,python的函數(shù)只有在執(zhí)行時(shí),才會(huì)去找函數(shù)體里的變量的值。
flist = [] for i in range(3): def foo(x): print x + i flist.append(foo) for f in flist: f(2)可能有些人認(rèn)為這段代碼的執(zhí)行結(jié)果應(yīng)該是2,3,4.但是實(shí)際的結(jié)果是4,4,4。這是因?yàn)楫?dāng)把函數(shù)加入flist列表里時(shí),python還沒(méi)有給i賦值,只有當(dāng)執(zhí)行時(shí),再去找i的值是什么,這時(shí)在第一個(gè)for循環(huán)結(jié)束以后,i的值是2,所以以上代碼的執(zhí)行結(jié)果是4,4,4.
解決方法也很簡(jiǎn)單,改寫(xiě)一下函數(shù)的定義就可以了。
三,作用
說(shuō)了這么多,不免有人要問(wèn),那這個(gè)閉包在實(shí)際的開(kāi)發(fā)中有什么用呢?閉包主要是在函數(shù)式開(kāi)發(fā)過(guò)程中使用。以下介紹兩種閉包主要的用途。
用途1,當(dāng)閉包執(zhí)行完后,仍然能夠保持住當(dāng)前的運(yùn)行環(huán)境。
比如說(shuō),如果你希望函數(shù)的每次執(zhí)行結(jié)果,都是基于這個(gè)函數(shù)上次的運(yùn)行結(jié)果。我以一個(gè)類(lèi)似棋盤(pán)游戲的例子來(lái)說(shuō)明。假設(shè)棋盤(pán)大小為50*50,左上角為坐標(biāo)系原點(diǎn)(0,0),我需要一個(gè)函數(shù),接收2個(gè)參數(shù),分別為方向(direction),步長(zhǎng)(step),該函數(shù)控制棋子的運(yùn)動(dòng)。棋子運(yùn)動(dòng)的新的坐標(biāo)除了依賴(lài)于方向和步長(zhǎng)以外,當(dāng)然還要根據(jù)原來(lái)所處的坐標(biāo)點(diǎn),用閉包就可以保持住這個(gè)棋子原來(lái)所處的坐標(biāo)。
輸出為
[10, 0] [10, 20] [0, 20]用途2,閉包可以根據(jù)外部作用域的局部變量來(lái)得到不同的結(jié)果,這有點(diǎn)像一種類(lèi)似配置功能的作用,我們可以修改外部的變量,閉包根據(jù)這個(gè)變量展現(xiàn)出不同的功能。比如有時(shí)我們需要對(duì)某些文件的特殊行進(jìn)行分析,先要提取出這些特殊行。
def make_filter(keep): def the_filter(file_name): file = open(file_name) lines = file.readlines() file.close() filter_doc = [i for i in lines if keep in i] return filter_doc return the_filter如果我們需要取得文件"result.txt"中含有"pass"關(guān)鍵字的行,則可以這樣使用例子程序
filter = make_filter("pass") filter_result = filter("result.txt")以上兩種使用場(chǎng)景,用面向?qū)ο笠彩强梢院芎?jiǎn)單的實(shí)現(xiàn)的,但是在用Python進(jìn)行函數(shù)式編程時(shí),閉包對(duì)數(shù)據(jù)的持久化以及按配置產(chǎn)生不同的功能,是很有幫助的。
參考:http://www.cnblogs.com/Jifangliang/archive/2008/08/05/1260602.html
參考:http://blog.csdn.net/marty_fu/article/details/7679297
轉(zhuǎn)載于:https://www.cnblogs.com/jinan1/p/10751398.html
總結(jié)
以上是生活随笔為你收集整理的Python 闭包详解的全部?jī)?nèi)容,希望文章能夠幫你解決所遇到的問(wèn)題。
- 上一篇: 文件的高级应用
- 下一篇: python接口自动化(二十四)--un