在對Python中的閉包進(jìn)行簡單分析之前，我們先了解一下Python中的作用域規(guī)則。關(guān)于Python中作用域的詳細(xì)知識，有很多的博文都進(jìn)行了介紹。這里我們先從一個簡單的例子入手。

Python中的作用域

假設(shè)在交互式命令行中定義如下的函數(shù)：

            
>>> a = 1
>>> def foo():
    b = 2
    c = 3
    print "locals: %s" % locals()
    return "result: %d" % (a + b +c)
>>> a = 1
>>> def foo():
    b = 2
    c = 3
    print "locals: %s" % locals()
    return "result: %d" % (a + b +c)

          

上述代碼先給a賦值1，緊接著定義了一個函數(shù)：foo()。在函數(shù)foo()中我們定義了兩個整數(shù)b和c，函數(shù)的返回值為a、b、c三個數(shù)的和。

對上述函數(shù)進(jìn)行驗證：

            
# result
>>> foo()
locals: {'c': 3, 'b': 2}
result: 6
# result
>>> foo()
locals: {'c': 3, 'b': 2}
result: 6

          

根據(jù)驗證的結(jié)果，foo()函數(shù)的返回值為6。上述的函數(shù)定義中只有b和c兩個變量的賦值，那調(diào)用函數(shù)是如何判斷a的值呢？這涉及到函數(shù)的作用域規(guī)則。本文摘錄《Python參考手冊（第4版）》中的相關(guān)論述：

每次執(zhí)行一個函數(shù)時， 就會創(chuàng)建心得局部命名空間。該命名空間代表一個局部環(huán)境，其中包含函數(shù)參數(shù)的名稱和在函數(shù)體內(nèi)賦值的變量名稱。解析這些名稱時：

解釋器將首先搜索局部命名空間；

如果沒有找到匹配的名稱，它就會搜索全局命名空間（函數(shù)的全局命名空間始終是定義該函數(shù)的模塊）；

如果解釋器在全局命名空間中也找不到匹配值，最終會檢查內(nèi)置命名空間；

如果在內(nèi)置命名空間中也找不到匹配值，就會引發(fā)NameError異常。

對應(yīng)于上面的例子，foo函數(shù)首先會在局部命名空間中找三個變量的匹配值。上述代碼中的locals()方法給出了foo函數(shù)局部命名空間的內(nèi)容。可以看出，局部命名空間是一個字典，包含b和c的值，這是因為我們在foo函數(shù)中定義了這兩個變量。然而，局部命名空間中不包含a的值，所以就需要在全局命名空間中尋找。可以使用__globals__獲取一個函數(shù)的局部命名空間。

            
# foo函數(shù)的全局命名空間
>>> foo.__globals__
{'a': 1, '__builtins__': 
            
              , '__package__': None, '__name__': '__main__', 'foo': 
              
                , '__doc__': None}
# foo函數(shù)的全局命名空間
>>> foo.__globals__
{'a': 1, '__builtins__': 
                
                  , '__package__': None, '__name__': '__main__', 'foo': 
                  
                    , '__doc__': None}

                  
                
              
            
          

foo函數(shù)的全局命名空間中包含了內(nèi)置函數(shù)模塊、foo函數(shù)、變量a以及其他的一些參數(shù)。由于在foo函數(shù)的全局命名空間中找到了變量a，foo函數(shù)便返回三個變量的和。

Python閉包

上述的Python作用域規(guī)則具有普遍性。然而，在Python中“一切皆對象”，函數(shù)也不例外。這也就是說可以把函數(shù)當(dāng)作參數(shù)傳遞給其他的函數(shù)，也可以放在數(shù)據(jù)結(jié)構(gòu)中，還可以作為函數(shù)的返回結(jié)果。在這種情況下，Python的作用域規(guī)則會發(fā)生什么變化呢？我們還是舉一個例子：

            
>>> def foo():
    a = 1
    def bar():
      b = 2
      c = 3
      return a + b + c
    return bar

>>> def foo():
    a = 1
    def bar():
      b = 2
      c = 3
      return a + b + c
    return bar

          

在這個例子中，我們定義了一個函數(shù)foo，并對變量a賦值。不過與之前的例子不同的是，在函數(shù)foo中我們還嵌套了一個函數(shù)bar，并且還定義了兩個變量，這個函數(shù)是作為函數(shù)foo的返回值。根據(jù)上面的作用域規(guī)則，函數(shù)foo的局部作用域既不是函數(shù)bar的局部作用域，也不是它的全局作用域，那函數(shù)bar能否正確匹配變量a的值呢？我們我們來驗證一下這個函數(shù)是否能夠正常運行。

            
# 調(diào)用函數(shù)foo()
>>> bar = foo()
# 返回值bar是一個函數(shù)
>>> bar

            
              
# 調(diào)用bar()
>>> bar()
# 結(jié)果顯示為三個變量之和
6
            
          

以上的驗證結(jié)果說明，在上述嵌套的函數(shù)中，內(nèi)部函數(shù)可以正確地引用外部函數(shù)的變量，即使外部的函數(shù)已經(jīng)返回。

這種內(nèi)部函數(shù)的局部作用域中可以訪問外部函數(shù)局部作用域中變量的行為，我們稱為： 閉包。內(nèi)部函數(shù)可以訪問外部函數(shù)變量的特點很像將外部函數(shù)的變量直接“打包”到內(nèi)部函數(shù)中一樣，我們也可以這樣理解閉包：將組成函數(shù)的語句以及執(zhí)行這些語句的環(huán)境“打包”在一起時得到的對象稱為閉包。

和閉包相關(guān)的幾個對象
為了了解閉包是怎么實現(xiàn)內(nèi)部函數(shù)對外部函數(shù)變量的引用，還需要對閉包相關(guān)的幾個對象進(jìn)行介紹。關(guān)于這幾個對象會涉及到Python的底層實現(xiàn)，本文中對此不加以詳述，可以參考以下文章：

不過，為了直觀地說明閉包的實現(xiàn)過程（不分析底層實現(xiàn)），這里先簡單介紹以下code對象。code對象是指代碼對象，表示編譯成字節(jié)的的可執(zhí)行Python代碼，或者字節(jié)碼。它有幾個比較重要的屬性：

co_name：函數(shù)的名稱
co_nlocals: 函數(shù)使用的局部變量的個數(shù)
co_varnames: 一個包含局部變量名字的元組
co_cellvars: 是一個元組，包含嵌套的函數(shù)所引用的局部變量的名字
co_freevars: 是一個元組，保存使用了的外層作用域中的變量名
co_consts： 是一個包含字節(jié)碼使用的字面量的元組

其中比較關(guān)鍵的是co_varnames和co_freevars兩個屬性。我們對上面的例子稍加修改：

Python

            
>>> def foo():
    a = 1
    b = 2
    def bar():
      return a + 1
    def bar2():
      return b + 2
    return bar
>>> bar = foo()
# 外層函數(shù)
>>> foo.func_code.co_cellvars
('a', 'b')
>>> foo.func_code.co_freevars
()
# 內(nèi)層嵌套函數(shù)
>>> bar.func_code.co_cellvars
()
>>> bar.func_code.co_freevars
('a',)

>>> def foo():
    a = 1
    b = 2
    def bar():
      return a + 1
    def bar2():
      return b + 2
    return bar
>>> bar = foo()
# 外層函數(shù)
>>> foo.func_code.co_cellvars
('a', 'b')
>>> foo.func_code.co_freevars
()
# 內(nèi)層嵌套函數(shù)
>>> bar.func_code.co_cellvars
()
>>> bar.func_code.co_freevars
('a',)

          

以上說明外層函數(shù)的code對象的co_cellvars保存了內(nèi)部嵌套函數(shù)需要引用的變量的名字，而內(nèi)層嵌套函數(shù)的code對象的co_freevars保存了需要引用外部函數(shù)作用域中的變量名字。具體來說，就是foo函數(shù)中嵌套了兩個函數(shù)，它們都需要引用foo函數(shù)局部作用域中的變量，所以foo.func_code.co_cellvars便包含變量a和變量b的名稱。而函數(shù)bar是foo的返回值，只引用了變量a，因此bar.func_code.co_freevars中便只包含變量a。

內(nèi)部函數(shù)和外部函數(shù)的co_freevars、co_cellvars的對應(yīng)關(guān)系，使得在函數(shù)編譯過程中內(nèi)部函數(shù)具有了一個閉包的特殊屬性__closure__（底層中對此有相關(guān)實現(xiàn)）。__closure__屬性是一個由cell對象組成的元組，包含了由多個作用域引用的變量。可以做以下驗證：

            
>>> foo.__closure__   #None
# 內(nèi)部函數(shù)bar對變量a的引用
>>> bar.__closure__
(
            
              ,)
# 內(nèi)部函數(shù)bar引用的變量a的值
>>> bar.__closure__[0].cell_contents
1
 
            
          

本文簡單講解了PYTHON的閉包，作用域的基本知識，如果想詳細(xì)了解，請在本站中查詢Python中的作用域規(guī)則和閉包詳解