Python學習之MRO方法搜索順序
為什么會講 MRO?
- 在講多繼承的時候,有講到, 當繼承的多個父類擁有同名屬性、方法,子類對象調用該屬性、方法時會調用哪個父類的屬性、方法呢?
- 這就取決于 Python 的 MRO 了
什么是 MRO
- MRO,method resolution order,方法搜索順序
- 對于單繼承來說,MRO 很簡單,從當前類開始,逐個搜索它的父類有沒有對應的屬性、方法
- 所以 MRO 更多用在多繼承時判斷方法、屬性的調用路徑
- Python 中針對類提供了一個內置屬性
__mro__
可以查看方法搜索順序
實際代碼
class A: def test(self): print("AAA-test") class B: def test(self): print("BBB-test") # 繼承了三個類,B、A、還有默認繼承的 object class C(B, A): ... # 通過類對象調用,不是實例對象! print(C.__mro__)
# 輸出結果
(<class '__main__.C'>, <class '__main__.B'>, <class '__main__.A'>, <class 'object'>)
- 1.在搜索方法時,是按照
__mro__
的輸出結果從左往右的順序查找的 - 2.如果在當前類(Class C)中找到方法,就直接執(zhí)行,不再搜索
- 3.如果沒有找到,就查找下一個類中(Class B)是否有對應的方法,如果找到,就直接執(zhí)行,不再搜素
- 4.如果找到最后一個類(Class object)都沒有找到方法,程序報錯
類圖
注意
其實 MRO 是涉及一個底層算法的,下面來詳細講解一下
MRO 算法
Python 發(fā)展到現(xiàn)在經歷了三種算法
- 舊式類 MRO 算法:從左往右,采用深度優(yōu)先搜索(DFS),從左往右的算法,稱為舊式類的 MRO
- 新式類 MRO 算法:自 Python 2.2 版本開始,新式類在采用深度優(yōu)先搜索算法的基礎上,對其做了優(yōu)化
- C3 算法:自 Python 2.3 版本,對新式類采用了 C3 算法;由于 Python 3.x 僅支持新式類,所以該版本只使用 C3 算法
什么是舊式類,新式類
想深入了解 C3 算法的可以看看官網
https://www.python.org/download/releases/2.3/mro/
舊式類 MRO 算法
需要在 python2 環(huán)境下運行這段代碼
實際代碼
# 舊式類算法 class A: def test(self): print("CommonA") class B(A): pass class C(A): def test(self): print("CommonC") class D(B, C): pass D().test()
# python2 下的運行結果
CommonA
類圖
分析
- 通過類圖可以看到,此程序中的 4 個類是一個“菱形”繼承的關系
- 當使用 D 類實例對象訪問 test() 方法時,根據深度優(yōu)先算法,搜索順序為
D->B->A->C->A
- 因此,舊式類 MRO 算法最先搜索得到 test() 方法是在 A 類里面,所以最終輸出結果為 CommonA
新式類 MRO 算法
- 為解決舊式類 MRO 算法存在的問題,Python 2.2 版本推出了新的計算新式類 MRO 的方法
- 它仍然采用從左至右的深度優(yōu)先遍歷,但是如果遍歷中出現(xiàn)重復的類,只保留最后一個
以上面的代碼栗子來講
- 深度優(yōu)先遍歷,搜索順序為
D->B->A->C->A
- 因為順序中有 2 個 A,因此只保留最后一個
- 最終搜索順序為
D->B->C->A
新式 MRO 算法的問題
雖然解決了舊式 MRO 算法的問題,但可能會違反單調性原則
什么是單調性原則?
在子類存在多繼承時,子類不能改變父類的 MRO 搜索順序,否則會導致程序發(fā)生異常
實際代碼
class X(object): pass class Y(object): pass class A(X, Y): pass class B(Y, X): pass class C(A, B): pass
深度優(yōu)先遍歷后的搜索順序為:C->A->X->object->Y->object->B->Y->object->X->object
相同取后者的搜索順序為:C->A->B->Y->X->object
分析不同類的 MRO
- A:
A->X->Y->object
- B:
A->Y->X->object
- C:
C->A->B->X->Y->object
很明顯,B、C 中間的 X、Y 順序是相反的,就是說 B 被繼承時,它的搜索順序會被改變,違反了單調性
在 python2 中運行這段代碼的報錯
在 python3 中運行這段代碼的報錯
C3 MRO 算法
- 為解決前面兩個算法的問題,Python 2.3 采用了 C3 方法來確定方法搜索順序
- 多數(shù)情況下,如果別人提到 Python 中的 MRO,指的都是 C3 算法
將上面第一個栗子的代碼放到 python3 中運行
class A: def test(self): print("CommonA") class B(A): pass class C(A): def test(self): print("CommonC") class D(B, C): pass D().test()
# 輸出結果
CommonC
簡單了解下 C3 算法
以上面代碼為栗子,C3 會把各個類的 MRO 等價為以下等式
- A:L[A] = merge(A , object)
- B:L[B] = B + merge(L[A] , A)
- C:L[C] = C + merge(L[A] , A)
- D:L[D] = D + merge(L[B] , L[C] , B , C)
了解一下:頭、尾
以 A 類為栗,merge() 包含的 A 成為 L[A] 的頭,剩余元素(這里只有 object)稱為尾
merge 的運算方式
- 1.將merge 第一個列表的頭元素(如 L[A] 的頭),記作 H
- 2.如果 H 出現(xiàn)在 merge 其他列表的頭部,則將其輸出,并將其從所有列表中刪除
- 3.如果 H 只出現(xiàn)一次,那么也將其輸出,并將其從所有列表中刪除
- 4.如果 H 出現(xiàn)在 merge 其他列表的非頭部,則取下一個列表的頭元素記作 H,然后回到步驟二
- 5.最后回到步驟一,重復以上步驟
重復以上步驟直到列表為空,則算法結束;如果不能再找出可以輸出的元素,則拋出異常
簡單類 MRO 的計算栗子
class B(object): pass print(B.__mro__) (<class '__main__.B'>, <class 'object'>)
- MRO 計算方式
L[B] = L[B(object)] = B + merge(L[object]) = B + L[object] = B object
單繼承MRO 的計算栗子
# 計算 MRO class B(object): pass class C(B): pass print(C.__mro__) (<class '__main__.C'>, <class '__main__.B'>, <class 'object'>)
- MRO 計算方式
L[C] = C + merge(L[B]) = C + L[B] = C B object
多繼承MRO 的計算栗子
O = object class F(O): pass class E(O): pass class D(O): pass class C(D, F): pass class B(D, E): pass class A(B, C): pass print(C.__mro__) print(B.__mro__) print(A.__mro__)
# 輸出結果
(<class '__main__.C'>, <class '__main__.D'>, <class '__main__.F'>, <class 'object'>)
(<class '__main__.B'>, <class '__main__.D'>, <class '__main__.E'>, <class 'object'>)
(<class '__main__.A'>, <class '__main__.B'>, <class '__main__.C'>, <class '__main__.D'>, <class '__main__.E'>, <class '__main__.F'>, <class 'object'>)
- O 類、object 類 MRO 計算
L[O] = O = object
- D、E、F 類 MRO 計算
L[D] = D + merge(L[O]) = D O
- C 類 MRO 計算
L[C] = L[C(D, F)] = C + merge(L[D], L[F], DF) # 從前面可知 L[D] 和 L[F] 的結果 = C + merge(DO, FO, DF) # 因為 D 是順序第一個并且在幾個包含 D 的 list 中是 head, # 所以這一次取 D 同時從列表中刪除 D = C + D + merge(O, FO, F) # 因為 O 雖然是順序第一個但在其他 list (FO)中是在尾部, 跳過 # 改為檢查第二個list FO # F 是第二個 list 和其他 list 的 head # 取 F 同時從列表中刪除 F = C + D + F + merge(O) = C D F O
- B 類 MRO 計算
L[B] = L[B(D, E)] = B + merge(L[D], L[E], DE) = B + merge(DO, EO, DE) = B + D + merge(O, EO, E) = B + D + E + merge(O) = B D E O
- A 類 MRO 計算
L[A] = L[A(B,C)] = A + merge(L[B], L[C], BC) = A + merge( BDEO, CDFO, BC ) = A + B + merge( DEO, CDFO, C ) # D 在其他列表 CDFO 不是 head,所以跳過到下一個列表的 頭元素 C = A + B + C + merge( DEO, DFO ) = A + B + C + D + merge( EO, FO ) = A + B + C + D + E + merge( O, FO ) = A + B + C + D + E + F + merge( O ) = A B C D E F O
多繼承MRO 的計算栗子二
O = object class F(O): pass class E(O): pass class D(O): pass class C(D, F): pass class B(E, D): pass class A(B, C): pass print(C.__mro__) print(B.__mro__) print(A.__mro__)
# 輸出結果
(<class '__main__.C'>, <class '__main__.D'>, <class '__main__.F'>, <class 'object'>)
(<class '__main__.B'>, <class '__main__.E'>, <class '__main__.D'>, <class 'object'>)
(<class '__main__.A'>, <class '__main__.B'>, <class '__main__.E'>, <class '__main__.C'>, <class '__main__.D'>, <class '__main__.F'>, <class 'object'>)
- O 類、object 類 MRO 計算
L[O] = O = object
- D、E、F 類 MRO 計算
L[D] = D + merge(L[O]) = D O
- C 類 MRO 計算
L[C] = L[C(D, F)] = C + merge(L[D], L[F], DF) = C + merge(DO, FO, DF) = C + D + merge(O, FO, F) = C + D + F + merge(O) = C D F O
- B 類 MRO 計算
L[B] = L[B(E, D)] = B + merge(L[E], L[D], ED) = B + merge(EO, DO, ED) = B + E + merge(O, DO, D) = B + E + D + merge(O) = B E D O
- A 類 MRO 計算
L[A] = L[A(B, C)] = A + merge(L[B], L[C], BC) = A + merge(BEDO, CDFO, BC) = A + B + merge(EDO, CDFO, C) = A + B + E + merge(DO,CDFO, C) = A + B + E + C + merge(O,DFO) = A + B + E + C + D + merge(O, FO) = A + B + E + C + D + F + merge(O) = A B E C D F O
到此這篇關于Python學習之MRO方法搜索順序的文章就介紹到這了,更多相關Python MRO方法搜索順序內容請搜索腳本之家以前的文章或繼續(xù)瀏覽下面的相關文章希望大家以后多多支持腳本之家!
相關文章
如何用Python和JS實現(xiàn)的Web SSH工具
這篇文章主要介紹了如何用Python和JS實現(xiàn)的Web SSH工具,本文給大家介紹的非常詳細,對大家的學習或工作具有一定的參考借鑒價值,需要的朋友可以參考下2021-02-02利用Python實現(xiàn)Shp格式向GeoJSON的轉換方法
JSON(JavaScript Object Nonation)是利用鍵值對+嵌套來表示數(shù)據的一種格式,以其輕量、易解析的優(yōu)點,這篇文章主要介紹了利用Python實現(xiàn)Shp格式向GeoJSON的轉換,需要的朋友可以參考下2019-07-07win11環(huán)境下python如何通過命令行升級版本詳解
在Windows上升級Python有多種方法,下面這篇文章主要給大家介紹了關于win11環(huán)境下python如何通過命令行升級版本的相關資料,文中通過代碼介紹的非常詳細,需要的朋友可以參考下2024-07-07