既是爸爸又是爺爺?Python 多繼承中的一個詭異現象
我們知道,在面向對象編程里面,繼承是一個很重要的概念。子類可以使用父類的方法和屬性。例如下面這段代碼:
- class Father:
- def __init__(self):
- self.address = '上海'
- def say(self):
- print('我是爸爸')
- class Son(Father):
- def __init__(self):
- super().__init__()
- def say(self):
- print('我是兒子')
- son = Son()
- print(son.address)
運行效果如下圖所示:
從圖中可以看到,子類并沒有self.address這個屬性,但是當我們直接打印的時候,并不會報錯,它會自動使用父類的address屬性。
顯然,如果一個屬性,子類也沒有,父類也沒有,那肯定會報錯,如下圖所示:
我們也知道,Python 是支持多繼承的,一個子類可以有多個父類。那么,大家請看下面這段代碼:
- class GrandFather:
- def __init__(self):
- self.address = '上海'
- def say(self):
- print('我是爸爸')
- class Father:
- def __init__(self):
- self.age = 100
- def where(self):
- print('我現在住在:', self.address)
- class Son(GrandFather, Father):
- def __init__(self):
- super().__init__()
- def say(self):
- print('我是兒子')
- son = Son()
- son.where()
運行效果如下圖所示:
大家仔細觀察,會發現這段代碼有點奇怪。我調用的是son.where()方法,由于Son類沒有這個方法,于是它會去它的兩個父類里面找。于是在Father這個父類里面找到了。于是執行Father里面的where()方法,目前為止沒有問題。
但接下來就不對了,.where()方法里面,調用了self.address屬性??蓡栴}是Father這個類它并沒有.address屬性啊!而且Father也沒有父類,那么這個.address屬性是從哪里來的?
難道說,在開發者不知道的隱秘的角落里面,GrandFather 類悄悄成為了Father的父類?這樣一來,GrandFather豈不是又是 C 的父類,又是 C 的父類的父類?GrandFather既是爸爸又是爺爺?
實際上,并不存在這么混亂的關系。要解釋這個現象,我們就要從self這個東西說起。
我們知道,類的屬性都是以self開頭,方法的第一個參數也是self。那么這個 self 到底是什么東西?我們用一段小代碼來看看它是什么東西:
- class A:
- def get_self(self):
- return self
- test = A()
- what_is_self = test.get_self()
- test is what_is_self
運行效果如下圖所示:
從圖里面可以看到,self實際上就是這個類的實例。我們再來看有繼承的情況:
- class A:
- def get_self(self):
- return self
- class B(A):
- def __init__(self):
- ...
- test = B()
- what_is_self = test.get_self()
- print(what_is_self)
從圖中可以看到,雖然我在 A 類的.get_self()方法中返回了self,但這個self實際上是 B 類的實例。因為我自始至終就只初始化了 B 類,并沒有初始化 A 類。A 雖然是 B 類的父類。但父類的 self 都會變成子類的實例。
明白這一點以后,前面的問題就很好解釋了,我們多打印一些信息:
大家注意畫紅線的地方,self始終都是Son類的實例。所以,一開始初始化.address的時候,就是初始化的Son的實例的.address屬性。后面在.where里面調用.address的時候,也是讀取的Son的實例的.address屬性。所以,并不存在Father類去讀GrandFather類的情況。自始至終,都是Son類的實例在進行各種操作。
所以,在這個例子里面,當使用了繼承以后,所有父類的屬性和方法,子類如果有相同的名字,那么以子類的為準。如果子類沒有定義,那么父類的屬性和方法,其實都會跑到子類里面去。所有看起來是父類進行的操作,其實都是子類在進行。上面的代碼,甚至可以近似等價于:
由于say方法在子類中有了定義,所以子類覆蓋父類。以子類的say方法為準。where和address由于子類沒有定義,所以Father類的where方法和GrandFather里面的address屬性,都會直接跑到子類里面。