9.1.關於名稱與物件的一段話¶

物件有個體性 (individuality)，且多個名稱（在多個作用域 (scope) ）可以被連結到相同的物件。這在其他語言中被稱為別名 (aliasing)。初次接觸 Python 時通常不會注意這件事，而在處理不可變的基本型別（數值、字串、tuple）時，它也可以安全地被忽略。然而，別名在含有可變物件（如 list（串列）、dictionary（字典）、和大多數其他的型別）的 Python 程式碼語意中，可能會有意外的效果。這通常有利於程式，因為別名在某些方面表現得像指標 (pointer)。舉例來說，在實作時傳遞一個物件是便宜的，因為只有指標被傳遞；假如函式修改了一個作為引數傳遞的物件，呼叫函式者 (caller) 能夠見到這些改變——這消除了在 Pascal 中兩個相異引數傳遞機制的需求。

9.2.Python 作用域 (Scope) 及命名空間 (Namespace)¶

在介紹 class 之前，我必須先告訴你一些關於 Python 作用域的規則。Class definition（類別定義）以命名空間展現了一些俐落的技巧，而你需要了解作用域和命名空間的運作才能完整理解正在發生的事情。順帶一提，關於這個主題的知識對任何進階的 Python 程式設計師都是很有用的。

讓我們從一些定義開始。

命名空間是從名稱到物件的對映。大部分的命名空間現在都是以 Python 的 dictionary 被實作，但通常不會以任何方式被察覺（除了性能），且它可能會在未來改變。命名空間的例子有：內建名稱的集合（包含如abs() 的函式，和內建的例外名稱）；模組中的全域 (global) 名稱；和在函式呼叫中的區域 (local) 名稱。某種意義上，物件中的屬性集合也會形成一個命名空間。關於命名空間的重要一點是，不同命名空間中的名稱之間絕對沒有關係；舉例來說，兩個不一樣的模組都可以定義一個maximize 函式而不會混淆——模組的使用者必須為它加上前綴 (prefix) 模組名稱。

順帶一提，我使用屬性 (attribute) 這個字，統稱句號 (dot) 後面的任何名稱——例如，運算式中的z.real，real 是物件z 的一個屬性。嚴格來說，模組中名稱的參照都是屬性參照：在運算式modname.funcname 中，modname 是模組物件而funcname 是它的屬性。在這種情況下，模組的屬性和模組中定義的全域名稱碰巧有一個直接的對映：他們共享了相同的命名空間！[1]

屬性可以是唯讀的或可寫的。在後者的情況下，對屬性的賦值是可能的。模組屬性是可寫的：你可以寫modname.the_answer=42。可寫屬性也可以用del 陳述式刪除。例如，delmodname.the_answer 將從名為modname 的物件中刪除屬性the_answer。

命名空間在不同的時刻被建立，並且有不同的壽命。當 Python 直譯器啟動時，含有內建名稱的命名空間會被建立，並且永遠不會被刪除。當模組定義被讀入時，模組的全域命名空間會被建立；一般情況下，模組的命名空間也會持續到直譯器結束。被直譯器的頂層呼叫 (top-level invocation) 執行的陳述式，不論是從腳本檔案讀取的或是互動模式中的，會被視為一個稱為__main__ 的模組的一部分，因此它們具有自己的全域命名空間。（內建名稱實際上也存在一個模組中，它被稱為builtins。）

函式的區域命名空間是在呼叫函式時建立的，而當函式返回，或引發了未在函式中處理的例外時，此命名空間將會被刪除。（實際上，忘記是描述實際發生的事情的更好方法。） 當然，每個遞迴呼叫 (recursive invocation) 都有自己的區域命名空間。

作用域是 Python 程式中的一個文本區域 (textual region)，在此區域，命名空間是可直接存取的。這裡的「可直接存取的」意思是，對一個名稱的非限定參照 (unqualified reference) 可以在命名空間內嘗試尋找該名稱。

儘管作用域是靜態地被決定，但它們是動態地被使用的。在執行期間內的任何時間點，都會有 3 或 4 個巢狀的作用域，其命名空間是可以被直接存取的：

• 最內層作用域，會最先被搜尋，而它包含了區域名稱

• 任何外圍函式 (enclosing function) 的作用域，會從最近的外圍作用域開始搜尋，它包含了非區域 (non-local) 和非全域 (non-global) 的名稱

• 倒數第二個作用域，包含目前模組的全域名稱

• 最外面的作用域（最後搜尋），是包含內建名稱的命名空間

如果一個名稱被宣告為全域，則所有的參照和賦值將直接轉到包含模組全域名稱的倒數第二個作用域。要重新連結最內層作用域以外找到的變數，可以使用nonlocal 陳述式；如果那些變數沒有被宣告為 nonlocal，則它們會是唯讀的（嘗試寫入這樣的變數只會在最內層的作用域內建立一個新的區域變數，同名的外部變數則維持不變）。

通常，區域作用域會參照（文本的）目前函式的區域名稱。在函式外部，區域作用域與全域作用域參照相同的命名空間：模組的命名空間。然而，Class definition 會在區域作用域中放置另一個命名空間。

務必要了解，作用域是按文本被決定的：在模組中定義的函式，其全域作用域便是該模組的命名空間，無論函式是從何處或以什麼別名被呼叫。另一方面，對名稱的實際搜尋是在執行時期 (run time) 動態完成的——但是，語言定義的發展，正朝向在「編譯」時期 (compile time) 的靜態名稱解析 (static name resolution)，所以不要太依賴動態名稱解析 (dynamic name resolution)！ （事實上，局部變數已經是靜態地被決定。）

一個 Python 的特殊癖好是——假如沒有global 或nonlocal 陳述式的效果——名稱的賦值 (assignment) 都會指向最內層作用域。賦值不會複製資料——它們只會把名稱連結至物件。刪除也是一樣：陳述式delx 會從區域作用域參照的命名空間移除x 的連結。事實上，引入新名稱的所有運算都使用區域作用域：特別是import 陳述式和函式定義，會連結區域作用域內的模組或函式名稱。

global 陳述式可以用來表示特定變數存活在全域作用域，應該被重新綁定到那裡；nonlocal 陳述式表示特定變數存活在外圍作用域內，應該被重新綁定到那裡。

defscope_test():defdo_local():spam="local spam"defdo_nonlocal():nonlocalspamspam="nonlocal spam"defdo_global():globalspamspam="global spam"spam="test spam"do_local()print("After local assignment:",spam)do_nonlocal()print("After nonlocal assignment:",spam)do_global()print("After global assignment:",spam)scope_test()print("In global scope:",spam)

After local assignment: test spamAfter nonlocal assignment: nonlocal spamAfter global assignment: nonlocal spamIn global scope: global spam

9.3.初見 class¶

Class 採用一些新的語法，三個新的物件型別，以及一些新的語意。

classClassName:<statement-1>...<statement-N>

classMyClass:"""一個簡單的類別範例"""i=12345deff(self):return'hello world'

x=MyClass()

def__init__(self):self.data=[]

x=MyClass()

>>>classComplex:...def__init__(self,realpart,imagpart):...self.r=realpart...self.i=imagpart...>>>x=Complex(3.0,-4.5)>>>x.r,x.i(3.0, -4.5)

x.counter=1whilex.counter<10:x.counter=x.counter*2print(x.counter)delx.counter

x.f()

xf=x.fwhileTrue:print(xf())

classDog:kind='canine'# class variable shared by all instancesdef__init__(self,name):self.name=name# instance variable unique to each instance>>>d=Dog('Fido')>>>e=Dog('Buddy')>>>d.kind# shared by all dogs'canine'>>>e.kind# shared by all dogs'canine'>>>d.name# unique to d'Fido'>>>e.name# unique to e'Buddy'

classDog:tricks=[]# 誤用類別變數def__init__(self,name):self.name=namedefadd_trick(self,trick):self.tricks.append(trick)>>>d=Dog('Fido')>>>e=Dog('Buddy')>>>d.add_trick('roll over')>>>e.add_trick('play dead')>>>d.tricks# 出乎意料地被所有 dog 共享['roll over','play dead']

classDog:def__init__(self,name):self.name=nameself.tricks=[]# 為每一個 dog 建立空 listdefadd_trick(self,trick):self.tricks.append(trick)>>>d=Dog('Fido')>>>e=Dog('Buddy')>>>d.add_trick('roll over')>>>e.add_trick('play dead')>>>d.tricks['roll over']>>>e.tricks['play dead']

9.4.隨意的備註¶

如果屬性名稱同時出現在一個實例和一個 class 中，則屬性的尋找會以實例為優先：

>>>classWarehouse:...purpose='storage'...region='west'...>>>w1=Warehouse()>>>print(w1.purpose,w1.region)storage west>>>w2=Warehouse()>>>w2.region='east'>>>print(w2.purpose,w2.region)storage east

資料屬性可能被 method 或是被物件的一般使用者（「客戶端」）所參照。也就是說，class 不可用於實作純粹抽象的資料型別。事實上，在 Python 中沒有任何可能的方法，可強制隱藏資料——這都是基於慣例。（另一方面，以 C 編寫的 Python 實作可以完全隱藏實作細節並且在必要時控制物件的存取；這可以被以 C 編寫的 Python 擴充所使用。）

客戶端應該小心使用資料屬性——客戶端可能會因為覆寫他們的資料屬性，而破壞了被 method 維護的不變性。注意，客戶端可以增加他們自己的資料屬性到實例物件，但不影響 method 的有效性，只要避免名稱衝突即可——再一次提醒，命名慣例可以在這裡節省很多麻煩。

在 method 中參照資料屬性（或其他 method！）是沒有簡寫的。我發現這實際上增加了 method 的可閱讀性：在瀏覽 method 時，絕不會混淆區域變數和實例變數。

通常，方法的第一個引數稱為self。這僅僅只是一個慣例：self 這個名字對 Python 來說完全沒有特別的意義。但請注意，如果不遵循慣例，你的程式碼可能對其他 Python 程式設計師來說可讀性較低，此外，也可以想像一個可能因信任此慣例而編寫的class 瀏覽器 (browser) 程式。

任何一個作為 class 屬性的函式物件都為該 class 的實例定義了一個相應的 method。函式定義不一定要包含在 class definition 的文本中：將函式物件指定給 class 中的區域變數也是可以的。例如：

# 在類別以外定義的函式deff1(self,x,y):returnmin(x,x+y)classC:f=f1defg(self):return'hello world'h=g

現在f、g 和h 都是 classC 的屬性，並指向函式物件，所以他們都是classC 實例的 method ——h 與g 是完全一樣的。請注意，這種做法通常只會使該程式的讀者感到困惑。

Method 可以藉由使用self 引數的 method 屬性，呼叫其他 method：

classBag:def__init__(self):self.data=[]defadd(self,x):self.data.append(x)defaddtwice(self,x):self.add(x)self.add(x)

Method 可以用與一般函式相同的方式參照全域名稱。與 method 相關的全域作用域，就是包含其定義的模組。（class 永遠不會被用作全域作用域。）雖然人們很少有在 method 中使用全域資料的充分理由，但全域作用域仍有許多合法的使用：比方說，被 import 至全域作用域的函式和模組，可以被 method 以及在該作用域中定義的函式和 class 所使用。通常，包含 method 的 class，它本身就是被定義在這個全域作用域，在下一節，我們將看到 method 想要參照自己的 class 的一些好原因。

每個值都是一個物件，因此都具有一個class，也可以稱為它的type（型別）。它以object.__class__ 被儲存。

9.5.繼承 (Inheritance)¶

當然，如果沒有支援繼承，「class」這個語言特色就不值得被稱為 class。一個 derived class（衍生類別）定義的語法看起來如下：

classDerivedClassName(BaseClassName):<statement-1>...<statement-N>

名稱BaseClassName 必須被定義於作用域可及的命名空間，且該作用域要包含 derived class 定義。要代替 base class（基底類別）的名稱，用其他任意的運算式也是被允許的。這會很有用，例如，當一個 base class 是在另一個模組中被定義時：

classDerivedClassName(modname.BaseClassName):

執行 derived class 定義的過程，與執行 base class 相同。當 class 物件被建構時，base class 會被記住。這是用於解析屬性參照：如果一個要求的屬性無法在該 class 中找到，則會繼續在 base class 中搜尋。假如該 base class 本身也是衍生自其他 class，則這個規則會遞迴地被應用。

關於 derived class 的實例化並沒有特別之處：DerivedClassName() 會建立該 class 的一個新實例。Method 的參照被解析如下：對應的 class 屬性會被搜尋，如果需要，沿著 base class 的繼承鍊往下走，如果這產生了一個函式物件，則該 method 的參照是有效的。

Derived class 可以覆寫其 base class 的 method。因為 method 在呼叫同一個物件的其他 method 時沒有特別的特權，所以當 base class 的一個 method 在呼叫相同 base class 中定義的另一個 method 時，最終可能會呼叫到一個覆寫它的 derived class 中的 method。（給 C++ 程式設計師：Python 中所有 method 實際上都是virtual。）

一個在 derived class 覆寫的 method 可能事實上是想要擴充而非單純取代 base class 中相同名稱的 method。要直接呼叫 base class 的 method 有一個簡單的方法：只要呼叫BaseClassName.methodname(self,arguments)。這有時對客戶端也很有用。（請注意，只有在 base class 在全域作用域可以用BaseClassName 被存取時，這方法才有效。）

Python 有兩個內建函式可以用於繼承：

• 使用isinstance() 判斷一個實例的型別：isinstance(obj,int) 只有在obj.__class__ 是int 或衍伸自int 時，結果才會是True。

• 使用issubclass() 判斷 class 繼承：issubclass(bool,int) 會是True，因為bool 是int 的 subclass（子類別）。但是，issubclass(float,int) 是False，因為float 並不是int 的 subclass。

classDerivedClassName(Base1,Base2,Base3):<statement-1>...<statement-N>

9.6.私有變數¶

「私有」(private) 實例變數，指的是不在物件內部便無法存取的變數，這在 Python 中是不存在的。但是，大多數 Python 的程式碼都遵守一個慣例：前綴為一個底線的名稱（如：_spam）應被視為 API （應用程式介面）的非公有 (non-public) 部分（無論它是函式、方法或是資料成員）。這被視為一個實作細節，如有調整，亦不另行通知。

既然 class 私有的成員已有一個有效的用例（即避免名稱與 subclass 定義的名稱衝突），這種機制也存在另一個有限的支援，稱為name mangling（名稱修飾）。任何格式為__spam（至少兩個前導下底線，最多一個尾隨下底線）的物件名稱 (identifier) 會被文本地被替換為_classname__spam，在此classname 就是去掉前導下底線的目前 class 名稱。只要這個修飾是在 class 的定義之中發生，它就會在不考慮該物件名稱的語法位置的情況下完成。

名稱修飾對於讓 subclass 覆寫 method 而不用破壞 class 內部的 method 呼叫，是有幫助的。舉例來說：

classMapping:def__init__(self,iterable):self.items_list=[]self.__update(iterable)defupdate(self,iterable):foriteminiterable:self.items_list.append(item)__update=update# private copy of original update() methodclassMappingSubclass(Mapping):defupdate(self,keys,values):# provides new signature for update()# but does not break __init__()foriteminzip(keys,values):self.items_list.append(item)

在上例中，就算在MappingSubclass 當中加入__update 識別符，也能順利運作，因為在Mapping class 中，它會被替換為_Mapping__update，而在MappingSubclass class 中，它會被替換為_MappingSubclass__update。

請注意，修飾規則是被設計來避免意外；它仍可能存取或修改一個被視為私有的變數。這在特殊情況下甚至可能很有用，例如在除錯器 (debugger)。

另外也注意，傳遞給exec() 或eval() 的程式碼不會把叫用 class 的名稱視為目前的 class；這和global 陳述式的效果類似，該效果同樣僅限於整體被位元組編譯後 (byte-compiled) 的程式碼。同樣的限制適用於getattr()，setattr() 和delattr()，以及直接參照__dict__ 時。

9.7.補充說明¶

如果有一種資料型別，類似於 Pascal 的「record」或 C 的「struct」，可以將一些有名稱的資料項目捆綁在一起，有時候這會很有用。符合語言習慣的做法是使用dataclasses：

fromdataclassesimportdataclass@dataclassclassEmployee:name:strdept:strsalary:int

>>>john=Employee('john','computer lab',1000)>>>john.dept'computer lab'>>>john.salary1000

用來處理特殊抽象資料型別的一段 Python 程式碼，經常能以傳遞一個 class 來替代，此 class 模擬該資料型別的多種 method。例如，如果你有一個函式，它會從一個檔案物件來格式化某些資料，你也可以定義一個有read() 和readline() method 的 class 作為替代方式，從字串緩衝區取得資料，並將其作為引數來傳遞。

實例的 method 物件也具有屬性：m.__self__ 就是帶有 methodm() 的實例物件，而m.__func__ 則是該 method 所對應的函式物件。

9.8.疊代器 (Iterator)¶

到目前為止，你可能已經注意到大多數的容器 (container) 物件都可以使用for 陳述式來進行迴圈：

forelementin[1,2,3]:print(element)forelementin(1,2,3):print(element)forkeyin{'one':1,'two':2}:print(key)forcharin"123":print(char)forlineinopen("myfile.txt"):print(line,end='')

這種存取風格清晰、簡潔且方便。疊代器的使用在 Python 中處處可見且用法一致。在幕後，for 陳述式會在容器物件上呼叫iter()。該函式回傳一個疊代器物件，此物件定義了__next__() method，而此 method 會逐一存取容器中的元素。當元素用盡時，__next__() 將引發StopIteration 例外，來通知for 終止迴圈。你可以使用內建函式next() 來呼叫__next__() method；這個例子展示了它的運作方式：

>>>s='abc'>>>it=iter(s)>>>it<str_iterator object at 0x10c90e650>>>>next(it)'a'>>>next(it)'b'>>>next(it)'c'>>>next(it)Traceback (most recent call last):  File"<stdin>", line1, in<module>next(it)StopIteration

看過疊代器協定的幕後機制後，在你的 class 加入疊代器的行為就很容易了。定義一個__iter__() method 來回傳一個帶有__next__() method 的物件。如果 class 已定義了__next__()，則__iter__() 可以只回傳self：

classReverse:"""Iterator for looping over a sequence backwards."""def__init__(self,data):self.data=dataself.index=len(data)def__iter__(self):returnselfdef__next__(self):ifself.index==0:raiseStopIterationself.index=self.index-1returnself.data[self.index]

>>>rev=Reverse('spam')>>>iter(rev)<__main__.Reverse object at 0x00A1DB50>>>>forcharinrev:...print(char)...maps

9.9.產生器 (Generator)¶

產生器是一個用於建立疊代器的簡單而強大的工具。它們的寫法和常規的函式一樣，但當它們要回傳資料時，會使用yield 陳述式。每次在產生器上呼叫next() 時，它會從上次離開的位置恢復執行（它會記得所有資料值以及上一個被執行的陳述式）。以下範例顯示，建立產生器可以相當地容易：

defreverse(data):forindexinrange(len(data)-1,-1,-1):yielddata[index]

>>>forcharinreverse('golf'):...print(char)...flog

任何可以用產生器來完成的事，也能用以 class 為基礎的疊代器來完成，如同前一節的描述。而讓產生器的程式碼更為精簡的原因是，__iter__() 和__next__() method 會自動被建立。

另一個關鍵的特性在於，區域變數和執行狀態會在每次呼叫之間自動被儲存。這使得該函式比使用self.index 和self.data 這種實例變數的方式更容易編寫且更為清晰。

除了會自動建立 method 和儲存程式狀態，當產生器終止時，它們還會自動引發StopIteration。這些特性結合在一起，使建立疊代器能與編寫常規函式一樣容易。

9.10.產生器運算式¶

某些簡單的產生器可以寫成如運算式一般的簡潔程式碼，所用的語法類似 list comprehension（串列綜合運算），但外層為括號而非方括號。這種運算式被設計用於產生器將立即被外圍函式 (enclosing function) 所使用的情況。產生器運算式與完整的產生器定義相比，程式碼較精簡但功能較少，也比等效的 list comprehension 更為節省記憶體。

例如：

>>>sum(i*iforiinrange(10))# sum of squares285>>>xvec=[10,20,30]>>>yvec=[7,5,3]>>>sum(x*yforx,yinzip(xvec,yvec))# dot product260>>>unique_words=set(wordforlineinpageforwordinline.split())>>>valedictorian=max((student.gpa,student.name)forstudentingraduates)>>>data='golf'>>>list(data[i]foriinrange(len(data)-1,-1,-1))['f', 'l', 'o', 'g']

註解

有一個例外。模組物件有一個秘密的唯讀屬性，稱為__dict__，它回傳用於實作模組命名空間的 dictionary；__dict__ 這個名稱是一個屬性但不是全域名稱。顯然，使用此屬性將違反命名空間實作的抽象化，而應該僅限用於事後除錯器 (post-mortem debugger) 之類的東西。