詳解Python的裝飾器

發表於2016-10-31

Python中的裝飾器是你進入Python大門的一道坎,不管你跨不跨過去它都在那裡。

為什麼需要裝飾器

我們假設你的程式實現了say_hello()say_goodbye()兩個函式。

但是在實際呼叫中,我們發現程式出錯了,上面的程式碼列印了兩個hello。經過除錯你發現是say_goodbye()出錯了。老闆要求呼叫每個方法前都要記錄進入函式的名稱,比如這樣:

好,小A是個畢業生,他是這樣實現的。

很low吧? 嗯是的。小B工作有一段時間了,他告訴小A可以這樣寫。

是不是好一點?那當然,但是每個業務函式裡都要呼叫一下debug()函式,是不是很難受?萬一老闆說say相關的函式不用debug,do相關的才需要呢?

那麼裝飾器這時候應該登場了。

裝飾器本質上是一個Python函式,它可以讓其他函式在不需要做任何程式碼變動的前提下增加額外功能,裝飾器的返回值也是一個函式物件。它經常用於有切面需求的場景,比如:插入日誌、效能測試、事務處理、快取、許可權校驗等場景。裝飾器是解決這類問題的絕佳設計,有了裝飾器,我們就可以抽離出大量與函式功能本身無關的雷同程式碼並繼續重用。

概括的講,裝飾器的作用就是為已經存在的函式或物件新增額外的功能

怎麼寫一個裝飾器

在早些時候 (Python Version

上面的debug函式其實已經是一個裝飾器了,它對原函式做了包裝並返回了另外一個函式,額外新增了一些功能。因為這樣寫實在不太優雅,在後面版本的Python中支援了@語法糖,下面程式碼等同於早期的寫法。

這是最簡單的裝飾器,但是有一個問題,如果被裝飾的函式需要傳入引數,那麼這個裝飾器就壞了。因為返回的函式並不能接受引數,你可以指定裝飾器函式wrapper接受和原函式一樣的引數,比如:

這樣你就解決了一個問題,但又多了N個問題。因為函式有千千萬,你只管你自己的函式,別人的函式引數是什麼樣子,鬼知道?還好Python提供了可變引數*args和關鍵字引數**kwargs,有了這兩個引數,裝飾器就可以用於任意目標函式了。

至此,你已完全掌握初級的裝飾器寫法。

高階一點的裝飾器

帶引數的裝飾器和類裝飾器屬於進階的內容。在理解這些裝飾器之前,最好對函式的閉包和裝飾器的介面約定有一定了解。(參見http://betacat.online/posts/p…

帶引數的裝飾器

假設我們前文的裝飾器需要完成的功能不僅僅是能在進入某個函式後打出log資訊,而且還需指定log的級別,那麼裝飾器就會是這樣的。

是不是有一些暈?你可以這麼理解,當帶引數的裝飾器被打在某個函式上時,比如@logging(level='DEBUG'),它其實是一個函式,會馬上被執行,只要這個它返回的結果是一個裝飾器時,那就沒問題。細細再體會一下。

基於類實現的裝飾器

裝飾器函式其實是這樣一個介面約束,它必須接受一個callable物件作為引數,然後返回一個callable物件。在Python中一般callable物件都是函式,但也有例外。只要某個物件過載了__call__()方法,那麼這個物件就是callable的。

__call__這樣前後都帶下劃線的方法在Python中被稱為內建方法,有時候也被稱為魔法方法。過載這些魔法方法一般會改變物件的內部行為。上面這個例子就讓一個類物件擁有了被呼叫的行為。

回到裝飾器上的概念上來,裝飾器要求接受一個callable物件,並返回一個callable物件(不太嚴謹,詳見後文)。那麼用類來實現也是也可以的。我們可以讓類的建構函式__init__()接受一個函式,然後過載__call__()並返回一個函式,也可以達到裝飾器函式的效果。

帶引數的類裝飾器

如果需要通過類形式實現帶引數的裝飾器,那麼會比前面的例子稍微複雜一點。那麼在建構函式裡接受的就不是一個函式,而是傳入的引數。通過類把這些引數儲存起來。然後在過載__call__方法是就需要接受一個函式並返回一個函式。

內建的裝飾器

內建的裝飾器和普通的裝飾器原理是一樣的,只不過返回的不是函式,而是類物件,所以更難理解一些。

@property

在瞭解這個裝飾器前,你需要知道在不使用裝飾器怎麼寫一個屬性。

以上就是一個Python屬性的標準寫法,其實和Java挺像的,但是太羅嗦。有了@語法糖,能達到一樣的效果但看起來更簡單。

屬性有三個裝飾器:setter, getter, deleter ,都是在property()的基礎上做了一些封裝,因為setterdeleterproperty()的第二和第三個引數,不能直接套用@語法。getter裝飾器和不帶getter的屬性裝飾器效果是一樣的,估計只是為了湊數,本身沒有任何存在的意義。經過@property裝飾過的函式返回的不再是一個函式,而是一個property物件。

@staticmethod,@classmethod

有了@property裝飾器的瞭解,這兩個裝飾器的原理是差不多的。@staticmethod返回的是一個staticmethod類物件,而@classmethod返回的是一個classmethod類物件。他們都是呼叫的是各自的__init__()建構函式。

裝飾器的@語法就等同呼叫了這兩個類的建構函式。

至此,我們上文提到的裝飾器介面定義可以更加明確一些,裝飾器必須接受一個callable物件,其實它並不關心你返回什麼,可以是另外一個callable物件(大部分情況),也可以是其他類物件,比如property。

裝飾器裡的那些坑

裝飾器可以讓你程式碼更加優雅,減少重複,但也不全是優點,也會帶來一些問題。

位置錯誤的程式碼

讓我們直接看示例程式碼。

在裝飾器中我在各個可能的位置都加上了print語句,用於記錄被呼叫的情況。你知道他們最後列印出來的順序嗎?如果你心裡沒底,那麼最好不要在裝飾器函式之外新增邏輯功能,否則這個裝飾器就不受你控制了。以下是輸出結果:

錯誤的函式簽名和文件

裝飾器裝飾過的函式看上去名字沒變,其實已經變了。

為什麼會這樣呢?只要你想想裝飾器的語法糖@代替的東西就明白了。@等同於這樣的寫法。

logging其實返回的函式名字剛好是wrapper,那麼上面的這個語句剛好就是把這個結果賦值給saysay__name__自然也就是wrapper了,不僅僅是name,其他屬性也都是來自wrapper,比如docsource等等。

使用標準庫裡的functools.wraps,可以基本解決這個問題。

看上去不錯!主要問題解決了,但其實還不太完美。因為函式的簽名和原始碼還是拿不到的。

如果要徹底解決這個問題可以借用第三方包,比如wrapt。後文有介紹。

不能裝飾@staticmethod 或者 @classmethod

當你想把裝飾器用在一個靜態方法或者類方法時,不好意思,報錯了。

前面已經解釋了@staticmethod這個裝飾器,其實它返回的並不是一個callable物件,而是一個staticmethod物件,那麼它是不符合裝飾器要求的(比如傳入一個callable物件),你自然不能在它之上再加別的裝飾器。要解決這個問題很簡單,只要把你的裝飾器放在@staticmethod之前就好了,因為你的裝飾器返回的還是一個正常的函式,然後再加上一個@staticmethod是不會出問題的。

如何優化你的裝飾器

巢狀的裝飾函式不太直觀,我們可以使用第三方包類改進這樣的情況,讓裝飾器函式可讀性更好。

decorator.py

decorator.py 是一個非常簡單的裝飾器加強包。你可以很直觀的先定義包裝函式wrapper(),再使用decorate(func, wrapper)方法就可以完成一個裝飾器。

你也可以使用它自帶的@decorator裝飾器來完成你的裝飾器。

decorator.py實現的裝飾器能完整保留原函式的namedocargs,唯一有問題的就是inspect.getsource(func)返回的還是裝飾器的原始碼,你需要改成inspect.getsource(func.__wrapped__)

wrapt

wrapt是一個功能非常完善的包,用於實現各種你想到或者你沒想到的裝飾器。使用wrapt實現的裝飾器你不需要擔心之前inspect中遇到的所有問題,因為它都幫你處理了,甚至inspect.getsource(func)也準確無誤。

使用wrapt你只需要定義一個裝飾器函式,但是函式簽名是固定的,必須是(wrapped, instance, args, kwargs),注意第二個引數instance是必須的,就算你不用它。當裝飾器裝飾在不同位置時它將得到不同的值,比如裝飾在類例項方法時你可以拿到這個類例項。根據instance的值你能夠更加靈活的調整你的裝飾器。另外,argskwargs也是固定的,注意前面沒有星號。在裝飾器內部呼叫原函式時才帶星號。

如果你需要使用wrapt寫一個帶引數的裝飾器,可以這樣寫。

關於wrapt的使用,建議查閱官方文件,在此不在贅述。

小結

Python的裝飾器和Java的註解(Annotation)並不是同一回事,和C#中的特性(Attribute)也不一樣,完全是兩個概念。

裝飾器的理念是對原函式、物件的加強,相當於重新封裝,所以一般裝飾器函式都被命名為wrapper(),意義在於包裝。函式只有在被呼叫時才會發揮其作用。比如@logging裝飾器可以在函式執行時額外輸出日誌,@cache裝飾過的函式可以快取計算結果等等。

而註解和特性則是對目標函式或物件新增一些屬性,相當於將其分類。這些屬性可以通過反射拿到,在程式執行時對不同的特性函式或物件加以干預。比如帶有Setup的函式就當成準備步驟執行,或者找到所有帶有TestMethod的函式依次執行等等。

至此我所瞭解的裝飾器已經講完,但是還有一些內容沒有提到,比如裝飾類的裝飾器。有機會再補充。謝謝觀看。

相關文章