Python函數語言程式設計指南(3):迭代器

發表於2015-09-18

3. 迭代器

3.1. 迭代器(Iterator)概述

迭代器是訪問集合內元素的一種方式。迭代器物件從集合的第一個元素開始訪問,直到所有的元素都被訪問一遍後結束。

迭代器不能回退,只能往前進行迭代。這並不是什麼很大的缺點,因為人們幾乎不需要在迭代途中進行回退操作。

迭代器也不是執行緒安全的,在多執行緒環境中對可變集合使用迭代器是一個危險的操作。但如果小心謹慎,或者乾脆貫徹函式式思想堅持使用不可變的集合,那這也不是什麼大問題。

對於原生支援隨機訪問的資料結構(如tuple、list),迭代器和經典for迴圈的索引訪問相比並無優勢,反而丟失了索引值(可以使用內建函式enumerate()找回這個索引值,這是後話)。但對於無法隨機訪問的資料結構(比如set)而言,迭代器是唯一的訪問元素的方式。

迭代器的另一個優點就是它不要求你事先準備好整個迭代過程中所有的元素。迭代器僅僅在迭代至某個元素時才計算該元素,而在這之前或之後,元素可以不存在或者被銷燬。這個特點使得它特別適合用於遍歷一些巨大的或是無限的集合,比如幾個G的檔案,或是斐波那契數列等等。這個特點被稱為延遲計算或惰性求值(Lazy evaluation)。

迭代器更大的功勞是提供了一個統一的訪問集合的介面。只要是實現了__iter__()方法的物件,就可以使用迭代器進行訪問。

3.2. 使用迭代器

使用內建的工廠函式iter(iterable)可以獲取迭代器物件:

使用迭代器的next()方法可以訪問下一個元素:

如果是Python 2.6+,還有內建函式next(iterator)可以完成這一功能:

如何判斷迭代器還有更多的元素可以訪問呢?Python裡的迭代器並沒有提供類似has_next()這樣的方法。
那麼在這個例子中,我們已經訪問到了最後一個元素1,再使用next()方法會怎樣呢?

Python遇到這樣的情況時將會丟擲StopIteration異常。事實上,Python正是根據是否檢查到這個異常來決定是否停止迭代的。
這種做法與迭代前手動檢查是否越界相比各有優點。但Python的做法總有一些利用異常進行流程控制的嫌疑。

瞭解了這些情況以後,我們就能使用迭代器進行遍歷了。

實際上,因為迭代操作如此普遍,Python專門將關鍵字for用作了迭代器的語法糖。在for迴圈中,Python將自動呼叫工廠函式iter()獲得迭代器,自動呼叫next()獲取元素,還完成了檢查StopIteration異常的工作。上述程式碼可以寫成如下的形式,你一定非常熟悉:

首先Python將對關鍵字in後的物件呼叫iter函式獲取迭代器,然後呼叫迭代器的next方法獲取元素,直到丟擲StopIteration異常。對迭代器呼叫iter函式時將返回迭代器自身,所以迭代器也可以用於for語句中,不需要特殊處理。

常用的幾個內建資料結構tuple、list、set、dict都支援迭代器,字串也可以使用迭代操作。你也可以自己實現一個迭代器,如上所述,只需要在類的__iter__方法中返回一個物件,這個物件擁有一個next()方法,這個方法能在恰當的時候丟擲StopIteration異常即可。但是需要自己實現迭代器的時候不多,即使需要,使用生成器會更輕鬆。下一篇我們將討論生成器的部分。

*異常並不是非丟擲不可的,不丟擲該異常的迭代器將進行無限迭代,某些情況下這樣的迭代器很有用。這種情況下,你需要自己判斷元素並中止,否則就死迴圈了!

使用迭代器的迴圈可以避開索引,但有時候我們還是需要索引來進行一些操作的。這時候內建函式enumerate就派上用場咯,它能在iter函式的結果前加上索引,以元組返回,用起來就像這樣:

3.3. 生成器表示式(Generator expression)和列表解析(List Comprehension)

絕大多數情況下,遍歷一個集合都是為了對元素應用某個動作或是進行篩選。如果看過本文的第二部分,你應該還記得有內建函式map和filter提供了這些功能,但Python仍然為這些操作提供了語言級的支援。

如你所見,生成器表示式和列表解析(注:這裡的翻譯有很多種,比如列表展開、列表推導等等,指的是同一個意思)的區別很小,所以人們提到這個特性時,簡單起見往往只描述成列表解析。然而由於返回迭代器時,並不是在一開始就計算所有的元素,這樣能得到更多的靈活性並且可以避開很多不必要的計算,所以除非你明確希望返回列表,否則應該始終使用生成器表示式。接下來的文字裡我就不區分這兩種形式了:)

你也可以為列表解析提供if子句進行篩選:

或者提供多條for子句進行巢狀迴圈,巢狀次序就是for子句的順序:

列表解析就是鮮明的Pythonic。我常遇到兩個使用列表解析的問題,本應歸屬於最佳實踐,但這兩個問題非常典型,所以不妨在這裡提一下:

第一個問題是,因為對元素應用的動作太複雜,不能用一個表示式寫出來,所以不使用列表解析。這是典型的思想沒有轉變的例子,如果我們將動作封裝成函式,那不就是一個表示式了麼?

第二個問題是,因為if子句裡的條件需要計算,同時結果也需要進行同樣的計算,不希望計算兩遍,就像這樣:

這樣寫確實很糟糕,但組合一下列表解析即可解決:

內部的列表解析變數其實也可以用x,但為清晰起見我們改成了y。或者更清楚的,可以寫成兩個表示式:

列表解析可以替代絕大多數需要用到map和filter的場合,可能正因為此,著名的靜態檢查工具pylint將map和filter的使用列為了警告。

3.4. 相關的庫

Python內建了一個模組itertools,包含了很多函式用於creating iterators for efficient looping(建立更有效率的迴圈迭代器),這說明很是霸氣,這一小節就來瀏覽一遍這些函式並留下印象吧,需要這些功能的時候隱約記得這裡面有就好。這一小節的內容翻譯自itertools模組官方文件。

3.4.1. 無限迭代

  • count(start, [step])

從start開始,以後每個元素都加上step。step預設值為1。
count(10) –> 10 11 12 13 14 …

  • cycle(p)

迭代至序列p的最後一個元素後,從p的第一個元素重新開始。
cycle(‘ABCD’) –> A B C D A B C D …

  • repeat(elem [,n])

將elem重複n次。如果不指定n,則無限重複。
repeat(10, 3) –> 10 10 10

3.4.2. 在最短的序列引數終止時停止迭代

  • chain(p, q, …)

迭代至序列p的最後一個元素後,從q的第一個元素開始,直到所有序列終止。
chain(‘ABC’, ‘DEF’) –> A B C D E F

  • compress(data, selectors)

如果bool(selectors[n])為True,則next()返回data[n],否則跳過data[n]。
compress(‘ABCDEF’, [1,0,1,0,1,1]) –> A C E F

  • dropwhile(pred, seq)

當pred對seq[n]的呼叫返回False時才開始迭代。
dropwhile(lambda x: x<5, [1,4,6,4,1]) –> 6 4 1

  • takewhile(pred, seq)

dropwhile的相反版本。
takewhile(lambda x: x<5, [1,4,6,4,1]) –> 1 4

  • ifilter(pred, seq)

內建函式filter的迭代器版本。
ifilter(lambda x: x%2, range(10)) –> 1 3 5 7 9

  • ifilterfalse(pred, seq)

ifilter的相反版本。
ifilterfalse(lambda x: x%2, range(10)) –> 0 2 4 6 8

  • imap(func, p, q, …)

內建函式map的迭代器版本。
imap(pow, (2,3,10), (5,2,3)) –> 32 9 1000

  • starmap(func, seq)

將seq的每個元素以變長引數(*args)的形式呼叫func。
starmap(pow, [(2,5), (3,2), (10,3)]) –> 32 9 1000

  • izip(p, q, …)

內建函式zip的迭代器版本。
izip(‘ABCD’, ‘xy’) –> Ax By

  • izip_longest(p, q, …, fillvalue=None)

izip的取最長序列的版本,短序列將填入fillvalue。
izip_longest(‘ABCD’, ‘xy’, fillvalue=’-‘) –> Ax By C- D-

  • tee(it, n)

返回n個迭代器it的複製迭代器。

  • groupby(iterable[, keyfunc])

這個函式功能類似於SQL的分組。使用groupby前,首先需要使用相同的keyfunc對iterable進行排序,比如呼叫內建的sorted函式。然後,groupby返回迭代器,每次迭代的元素是元組(key值, iterable中具有相同key值的元素的集合的子迭代器)。或許看看Python的排序指南對理解這個函式有幫助。
groupby([0, 0, 0, 1, 1, 1, 2, 2, 2]) –> (0, (0 0 0)) (1, (1 1 1)) (2, (2 2 2))

3.4.3. 組合迭代器

  • product(p, q, … [repeat=1])

笛卡爾積。
product(‘ABCD’, repeat=2) –> AA AB AC AD BA BB BC BD CA CB CC CD DA DB DC DD

  • permutations(p[, r])

去除重複的元素。
permutations(‘ABCD’, 2) –> AB AC AD BA BC BD CA CB CD DA DB DC

  • combinations(p, r)

排序後去除重複的元素。
combinations(‘ABCD’, 2) –> AB AC AD BC BD CD

  • combinations_with_replacement()

排序後,包含重複元素。
combinations_with_replacement(‘ABCD’, 2) –> AA AB AC AD BB BC BD CC CD DD

此篇結束。

相關文章