第 6 章 使用一等函數(shù)實現(xiàn)設(shè)計模式

本章小結(jié)
很多情況下涮毫， 在 Python 中使用函數(shù)或可調(diào)用對象實現(xiàn)回調(diào)更自然， 這比模仿 Gamma、 Helm断盛、 Johnson 和 Vlissides 在書中所述的“策略”或“命令”模式要好疼蛾。 本章對“策略”模式的重構(gòu)和對“命令”模式的討論是為了通過示例說明一個更為常見的做法： 有時肛跌， 設(shè)計模式或 API 要求組件實現(xiàn)單方法接口， 而那個方法的名稱很寬泛察郁， 例如“execute”“run”或“doIt”衍慎。 在 Python 中， 這些模式或 API 通称つ疲可以使用一等函數(shù)或其他可調(diào)用的對象實現(xiàn)稳捆， 從而減少樣板代碼.

第 7 章 函數(shù)裝飾器和閉包

函數(shù)裝飾器用于在源碼中“標(biāo)記”函數(shù)， 以某種方式增強函數(shù)的行為麦轰。 這
是一項強大的功能乔夯， 但是若想掌握， 必須理解閉包款侵。
除了在裝飾器中有用處之外驯嘱， 閉包還是回調(diào)式異步編程和函數(shù)式編程風(fēng)格的基礎(chǔ)。

7.1 裝飾器基礎(chǔ)知識

裝飾器是可調(diào)用的對象喳坠， 其參數(shù)是另一個函數(shù)（ 被裝飾的函數(shù)） 鞠评。 裝飾器可能會處理被裝飾的函數(shù)， 然后把它返回壕鹉， 或者將其替換成另一個函數(shù)或可調(diào)用對象剃幌。

7.4 變量作用域規(guī)則

>>> def f1(a):
... print(a)
... print(b)
...
>>> f1(3)     # 很好理解，因為a有了晾浴，而b沒有說明
3
Traceback (most recent call last):
File "<stdin>", line 1, in <module>
File "<stdin>", line 3, in f1
NameError: global name 'b' is not defined   # 全局變量b未定義

>>> b = 6   # 我們接著添加一句b
>>> f1(3)
3
6     # b 作為全局變量就會被識別

>>> b = 6           # 全局變量 b
>>> def f2(a):
... print(a)
... print(b)   # 自己測試時负乡，把這條刪除，結(jié)果就是3,6脊凰；因為這條抖棘，無法識別 b
... b = 9
...
>>> f2(3)    # 可是這里卻不識別茂腥，報錯，這是怎么解釋切省？
3
Traceback (most recent call last):
File "<stdin>", line 1, in <module>
File "<stdin>", line 3, in f2
UnboundLocalError: local variable 'b' referenced before assignment  # 局部變量未定義

??最岗， Python 編譯函數(shù)的定義體時， 它判斷 b 是局部變量朝捆， 因為在函數(shù)中給它賦值了般渡。 生成的字節(jié)碼證實了這種判斷， Python 會嘗試從本地環(huán)境獲取 b芙盘。 后面調(diào)用 f2(3) 時驯用， f2 的定義體會獲取并打印局部變量 a 的值， 但是嘗試獲取局部變量 b 的值時儒老， 發(fā)現(xiàn) b 沒有綁定值蝴乔。
這不是缺陷， 而是設(shè)計選擇： Python 不要求聲明變量驮樊， 但是假定在函數(shù)定義體中賦值的變量是局部變量淘这。 這比 JavaScript 的行為好多了，JavaScript 也不要求聲明變量巩剖， 但是如果忘記把變量聲明為局部變量（ 使用 var） ， 可能會在不知情的情況下獲取全局變量钠怯。

>>> b = 6
>>> def f3(a):
... global b
... print(a)
... print(b)
... b = 9
...
>>> f3(3)
3
6       # 第一次運行佳魔，b本身就是全局變量，所以b = 6,這次執(zhí)行完后晦炊，內(nèi)部b 已經(jīng)是9了
>>> b   # 函數(shù)是按順序執(zhí)行的鞠鲜，此時b被再次賦值， b = 9了
9 
>>> f3(3)   # 再次調(diào)用函數(shù)時断国，此時不經(jīng)過b = 6,直接內(nèi)部獲取b = 9
3
9
>>> b = 30
>>> b
30
>>> f3(3)
3            # b = 30 又再一次成為全局變量
30           # ??這次的變量的作用域判斷為閉包學(xué)習(xí)打基礎(chǔ)  

7.5 閉包

閉包指延伸了作用域的函數(shù)贤姆， 其中包含函數(shù)定義體中引用、 但是不在定義體中定義的非全局變量稳衬。 函數(shù)是不是匿名的沒有關(guān)系霞捡， 關(guān)鍵是它能訪問定義體之外定義的非全局變量。

我們來實現(xiàn)一個平均求值的功能：
面向?qū)ο蟮淖龇?/p>

class Averager():
    def __init__(self):
        self.series = []
    def __call__(self, new_value):
        self.series.append(new_value)
        total = sum(self.series)
        return total/len(self.series)

>>> avg = Averager()      # Averager 的實例是可調(diào)用對象：
>>> avg(10)
10.0
>>> avg(11)
10.5
>>> avg(12)
11.0

函數(shù)式編程的做法：

def make_averager():
    series = []
    def averager(new_value):
        series.append(new_value)
        total = sum(series)
        return total/len(series)
    return averager

>>> avg = make_averager()
>>> avg(10)
10.0
>>> avg(11)
10.5
>>> avg(12)

global 關(guān)鍵字用來在函數(shù)或其他局部作用域中使用全局變量薄疚。但是如果不修改全局變量也可以不使用global關(guān)鍵字, nonlocal 關(guān)鍵字用來在函數(shù)或其他作用域中使用外層(非全局)變量碧信。

綜上，閉包是一種函數(shù), 它會保留定義函數(shù)時存在的自由變量的綁定街夭，這樣調(diào)用函數(shù)時砰碴， 雖然定義作用域不可用了， 但是仍能使用那些綁定板丽。

注意呈枉， 只有嵌套在其他函數(shù)中的函數(shù)才可能需要處理不在全局作用域中的外部變量。

7.6 nonlocal聲明

一個有問題的函數(shù)：

def make_averager():
    count = 0
    total = 0
    def averager(new_value):
         count += 1
        total += new_value
        return total / count
    return averager

>>> avg = make_averager()
>>> avg(10)
Traceback (most recent call last):
...
UnboundLocalError: local variable 'count' referenced before assignment
>>>

問題是， 當(dāng) count 是數(shù)字或任何不可變類型時猖辫，count += 1 語句的作用其實與 count = count + 1 一樣酥泞。 因此， 我們在 averager的定義體中為 count賦值了住册， 這會把 count變成局部變量婶博。total 變量也受這個問題影響。

對數(shù)字荧飞、 字符串凡人、 元組等不可變類型來說， 只能讀取叹阔， 不能更新挠轴。如果嘗試重新綁定， 例如count = count + 1耳幢， 其實會隱式創(chuàng)建局部變量 count岸晦。 這樣， count 就不是自由變量了睛藻， 因此不會保存在閉包中启上。

為了解決這個問題， Python 3 引入了 nonlocal 聲明店印。 它的作用是把變量標(biāo)記為自由變量冈在， 即使在函數(shù)中為變量賦予新值了， 也會變成自由變量按摘。 如果為 nonlocal 聲明的變量賦予新值包券， 閉包中保存的綁定會更新。

7.11 本章小結(jié)

本章介紹了很多基礎(chǔ)知識炫贤， 雖然學(xué)習(xí)之路崎嶇不平溅固， 我還是盡可能讓路途平坦順暢。 畢竟兰珍， 我們已經(jīng)進入元編程領(lǐng)域了侍郭。

開始， 我們先編寫了一個沒有內(nèi)部函數(shù)的@register 裝飾器掠河； 最后励幼，
我們實現(xiàn)了有兩層嵌套函數(shù)的參數(shù)化裝飾器@clock()

盡管注冊裝飾器在多數(shù)情況下都很簡單， 但是在高級的 Python 框架中卻有用武之地口柳。 我們使用注冊方式對第 6 章的“策略”模式做了重構(gòu)苹粟。
參數(shù)化裝飾器基本上都涉及至少兩層嵌套函數(shù)， 如果想使用@functools.wraps生成裝飾器跃闹， 為高級技術(shù)提供更好的支持嵌削， 嵌套層級可能還會更深毛好， 比如前面簡要介紹過的疊放裝飾器。

我們還討論了標(biāo)準(zhǔn)庫中 functools 模塊提供的兩個出色的函數(shù)裝飾
器： @lru_cache() 和 @singledispatch苛秕。

若想真正理解裝飾器肌访， 需要區(qū)分導(dǎo)入時和運行時， 還要知道變量作用域艇劫、 閉包和新增的nonlocal 聲明吼驶。 掌握閉包和 nonlocal不僅對構(gòu)建裝飾器有幫助， 還能協(xié)助你在構(gòu)建 GUI 程序時面向事件編程店煞， 或者使用回調(diào)處理異步 I/O蟹演。

雜談

任何把函數(shù)當(dāng)作一等對象的語言， 它的設(shè)計者都要面對一個問題：作為一等對象的函數(shù)在某個作用域中定義顷蟀， 但是可能會在其他作用域中調(diào)用酒请。 問題是， 如何計算自由變量鸣个？ 首先出現(xiàn)的最簡單的處理方式是使用“動態(tài)作用域”羞反。 也就是說， 根據(jù)函數(shù)調(diào)用所在的環(huán)境計算自由變量囤萤。

在 Python 中昼窗， 裝飾器函數(shù)相當(dāng)于 Decorator 的具體子類， 而裝飾器返回的內(nèi)部函數(shù)相當(dāng)于裝飾器實例涛舍。 返回的函數(shù)包裝了被裝飾的函數(shù)澄惊， 這相當(dāng)于“裝飾器”設(shè)計模式中的組件。 返回的函數(shù)是透明的做盅， 因為它接受相同的參數(shù)， 符合組件的接口窘哈。 返回的函數(shù)把調(diào)用轉(zhuǎn)發(fā)給組件吹榴， 可以在轉(zhuǎn)發(fā)前后執(zhí)行額外的操作。 因此滚婉， 前面引用那段話的最后一句可以改成： “透明性使得你可以遞歸嵌套多個裝飾器图筹， 從而可以添加任意多的行為。 ”這就是疊放裝飾器的理論基礎(chǔ)让腹。

注意远剩， 我不是建議在 Python 程序中使用函數(shù)裝飾器實現(xiàn)“裝飾器”模式。 在特定情況下確實可以這么做骇窍， 但是一般來說瓜晤， 實現(xiàn)“裝飾器”模式時最好使用類表示裝飾器和要包裝的組件.