原文:http://www.kuqin.com/shuoit/20140315/338587.html
正文:
本文展示一些高級的Python設計結構和它們的使用方法。在日常工作中,你可以根據需要選擇合適的數據結構,例如對快速查找性的要求、對數據一致性的要求或是對索引的要求等,同時也可以將各種數據結構合適地結合在一起,從而生成具有邏輯性並易於理解的數據模型。Python的數據結構從句法上來看非常直觀,並且提供了大量的可選操作。這篇指南嘗試將大部分常用的數據結構知識放到一起,並且提供對其最佳用法的探討。
推導式(Comprehensions)
如果你已經使用了很長時間的Python,那麼你至少應該聽說過列表推導(list comprehensions)。這是一種將for循環、if表達式以及賦值語句放到單一語句中的一種方法。換句話說,你能夠通過一個表達式對一個列表做映射或過濾操作。
一個列表推導式包含以下幾個部分:
- 一個輸入序列
- 一個表示輸入序列成員的變量
- 一個可選的斷言表達式
- 一個將輸入序列中滿足斷言表達式的成員變換成輸出列表成員的輸出表達式
舉個例子,我們需要從一個輸入列表中將所有大於0的整數平方生成一個新的序列,你也許會這麼寫:
1 2 3 4 5 6 7 8 9 |
|
很簡單是吧?但是這就會有4行代碼,兩層嵌套外加一個完全不必要的append操作。而如果使用filter、lambda和map函數,則能夠將代碼大大簡化:
1 2 3 4 5 |
|
嗯,這麼一來代碼就會在水平方向上展開。那麼是否能夠繼續簡化代碼呢?列表推導能夠給我們答案:
1 2 3 4 5 |
|
- 迭代器(iterator)遍歷輸入序列num的每個成員x
- 斷言式判斷每個成員是否大於零
- 如果成員大於零,則被交給輸出表達式,平方之後成爲輸出列表的成員。
列表推導式被封裝在一個列表中,所以很明顯它能夠立即生成一個新列表。這裏只有一個type函數調用而沒有隱式調用lambda函數,列表推導式正是使用了一個常規的迭代器、一個表達式和一個if表達式來控制可選的參數。
另一方面,列表推導也可能會有一些負面效應,那就是整個列表必須一次性加載於內存之中,這對上面舉的例子而言不是問題,甚至擴大若干倍之後也都不是問題。但是總會達到極限,內存總會被用完。
針對上面的問題,生成器(Generator)能夠很好的解決。生成器表達式不會一次將整個列表加載到內存之中,而是生成一個生成器對象(Generator objector),所以一次只加載一個列表元素。
生成器表達式同列表推導式有着幾乎相同的語法結構,區別在於生成器表達式是被圓括號包圍,而不是方括號:
1 2 3 4 5 6 7 8 9 10 |
|
這比列表推導效率稍微提高一些,讓我們再一次改造一下代碼:
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 |
|
除非特殊的原因,應該經常在代碼中使用生成器表達式。但除非是面對非常大的列表,否則是不會看出明顯區別的。
下例使用zip()函數一次處理兩個或多個列表中的元素:
1 2 3 4 5 6 7 8 9 |
|
再來看一個通過兩階列表推導式遍歷目錄的例子:
1 2 3 4 5 6 7 8 |
|
裝飾器(Decorators)
裝飾器爲我們提供了一個增加已有函數或類的功能的有效方法。聽起來是不是很像Java中的面向切面編程(Aspect-Oriented Programming)概念?兩者都很簡單,並且裝飾器有着更爲強大的功能。舉個例子,假定你希望在一個函數的入口和退出點做一些特別的操作(比如一些安全、追蹤以及鎖定等操作)就可以使用裝飾器。
裝飾器是一個包裝了另一個函數的特殊函數:主函數被調用,並且其返回值將會被傳給裝飾器,接下來裝飾器將返回一個包裝了主函數的替代函數,程序的其他部分看到的將是這個包裝函數。
1 2 3 4 5 6 7 8 9 10 |
|
語法糖@標識了裝飾器。
好了,讓我們回到剛纔的例子。我們將用裝飾器做一些更典型的操作:
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 |
|
當你寫下如下代碼時:
1 2 |
|
意味着你分開執行了以下步驟:
1 2 3 |
|
裝飾器函數中的代碼創建了一個新的函數(正如此例中的wrapper函數),它用 *args 和 **kwargs 接收任意的輸入參數,並且在此函數內調用原函數並且返回其結果。你可以根據自己的需要放置任何額外的代碼(例如本例中的計時操作),新創建的包裝函數將作爲結果返回並取代原函數。
1 2 3 |
|
當編譯器查看以上代碼時,function()函數將會被編譯,並且函數返回對象將會被傳給裝飾器代碼,裝飾器將會在做完相關操作之後用一個新的函數對象代替原函數。
裝飾器代碼是什麼樣的?大部分的例子都是將裝飾器定義爲函數,而我發覺將裝飾器定義成類更容易理解其功能,並且這樣更能發揮裝飾器機制的威力。
對裝飾器的類實現唯一要求是它必須能如函數一般使用,也就是說它必須是可調用的。所以,如果想這麼做這個類必須實現__call__方法。
這樣的裝飾器應該用來做些什麼?它可以做任何事,但通常它用在當你想在一些特殊的地方使用原函數時,但這不是必須的,例如:
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 |
|
譯者注:
1. 語法糖@decorator相當於function=decorator(function),在此調用decorator的__init__打印“inside decorator.__init__()”
2. 隨後執行f()打印“inside function()”
3. 隨後執行“print(“Finished decorating function()”)”
4. 最後在調用function函數時,由於使用裝飾器包裝,因此執行decorator的__call__打印 “inside decorator.__call__()”。
一個更實際的例子:
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 |
|
上下文管理庫(ContextLib)
contextlib模塊包含了與上下文管理器和with聲明相關的工具。通常如果你想寫一個上下文管理器,則你需要定義一個類包含__enter__方法以及__exit__方法,例如:
1 2 3 4 5 6 7 8 9 10 11 |
|
完整的例子在此:
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 |
|
上下文管理器被with聲明所激活,這個API涉及到兩個方法。
1. __enter__方法,當執行流進入with代碼塊時,__enter__方法將執行。並且它將返回一個可供上下文使用的對象。
2. 當執行流離開with代碼塊時,__exit__方法被調用,它將清理被使用的資源。
利用@contextmanager裝飾器改寫上面那個例子:
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 |
|
看上面這個例子,函數中yield之前的所有代碼都類似於上下文管理器中__enter__方法的內容。而yield之後的所有代碼都如__exit__方法的內容。如果執行過程中發生了異常,則會在yield語句觸發。
描述器(Descriptors)
描述器決定了對象屬性是如何被訪問的。描述器的作用是定製當你想引用一個屬性時所發生的操作。
構建描述器的方法是至少定義以下三個方法中的一個。需要注意,下文中的instance是包含被訪問屬性的對象實例,而owner則是被描述器修辭的類。
- __get__(self, instance, owner) – 這個方法是當屬性被通過(value = obj.attr)的方式獲取時調用,這個方法的返回值將被賦給請求此屬性值的代碼部分。
- __set__(self, instance, value) – 這個方法是當希望設置屬性的值(obj.attr = ‘value’)時被調用,該方法不會返回任何值。
- __delete__(self, instance) – 當從一個對象中刪除一個屬性時(del obj.attr),調用此方法。
譯者注:對於instance和owner的理解,考慮以下代碼:
1 2 3 4 5 6 7 8 9 10 11 12 13 |
|
上例中,instance指的是temp,而owner則是Temperature。
LazyLoading Properties例子:
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 |
|
描述器很好的總結了Python中的綁定方法(bound method)這個概念,綁定方法是經典類(classic classes)的實現核心。在經典類中,當在一個對象實例的字典中沒有找到某個屬性時,會繼續到類的字典中查找,然後再到基類的字典中,就這麼一直遞歸的查找下去。如果在類字典中找到這個屬性,解釋器會檢查找到的對象是不是一個Python函數對象。如果是,則返回的並不是這個對象本身,而是返回一個柯里化(currying function)的包裝器對象。當調用這個包裝器時,它會首先在參數列表之前插入實例,然後再調用原函數。
譯者注:
1. 柯里化 –http://zh.wikipedia.org/wiki/%E6%9F%AF%E9%87%8C%E5%8C%96
2. function,method,bound method及unbound method的區別。首先,函數(function)是由def或lambda創建的。當一個函數在class語句塊中定義或是由type來創建時,它會轉成一個非綁定方法(unbound method),而當通過類實例(instance)來訪問此方法的時候,它將轉成綁定方法(bound method),綁定方法會自動將實例作爲第一個參數傳入方法。綜上所述,方法是出現在類中的函數,綁定方法是一個綁定了具體實例的方法,反之則是非綁定方法。
綜上,描述器被賦值給類,而這些特殊的方法就在屬性被訪問的時候根據具體的訪問類型自動地調用。
元類(MetaClasses)
元類提供了一個改變Python類行爲的有效方式。
元類的定義是“一個類的類”。任何實例是它自己的類都是元類。
1 2 3 4 5 6 7 8 9 10 |
|
在上例中,我們定義了一個類demo,並且生成了一個該類的對象obj。首先,可以看到obj的__class__是demo。有意思的來了,那麼demo的class又是什麼呢?可以看到demo的__class__是type。
所以說type是python類的類,換句話說,上例中的obj是一個demo的對象,而demo本身又是type的一個對象。
所以說type就是一個元類,而且是python中最常見的元類,因爲它使python中所有類的默認元類。
因爲元類是類的類,所以它被用來創建類(正如類是被用來創建對象的一樣)。但是,難道我們不是通過一個標準的類定義來創建類的麼?的確是這樣,但是python內部的運作機制如下:
- 當看見一個類定義,python會收集所有屬性到一個字典中。
- 當類定義結束,python將決定類的元類,我們就稱它爲Meta吧。
- 最後,python執行Meta(name, bases, dct),其中:
a. Meta是元類,所以這個調用是實例化它。
b. name是新建類的類名。
c. bases是新建類的基類元組
d. dct將屬性名映射到對象,列出所有的類屬性。
那麼如何確定一個類(A)的元類呢?簡單來說,如果一個類(A)自身或其基類(Base_A)之一有__metaclass__屬性存在,則這個類(A/Base_A)就是類(A)的元類。否則type就將是類(A)的元類。
模式(Patterns)
“請求寬恕比請求許可更容易(EFAP)”
這個Python設計原則是這麼說的“請求寬恕比請求許可更容易(EFAP)”。不提倡深思熟慮的設計思路,這個原則是說應該儘量去嘗試,如果遇到錯誤,則給予妥善的處理。Python有着強大的異常處理機制可以支持這種嘗試,這些機制幫助程序員開發出更爲穩定,容錯性更高的程序。
單例
單例是指只能同時存在一個的實例對象。Python提供了很多方法來實現單例。
Null對象
Null對象能夠用來代替None類型以避免對None的測試。
觀察者
觀察者模式允許多個對象訪問同一份數據。
構造函數
構造函數的參數經常被賦值給實例的變量。這種模式能夠用一行代碼替代多個手動賦值語句。
總結
謝謝閱讀,如有疑問,請留言討論。