物件導向程式設計中的多重繼承(英語:multiple inheritance縮寫MI)指的是一個類別可以同時從多於一個父類繼承行為與特徵的功能。與單一繼承相對,單一繼承指一個類別只可以繼承自一個父類。

爭議

編輯

多重繼承可以導致某些令人混淆的情況,所以關於它的好處與風險之間孰輕孰重常常受人爭論。Java使用了一個折衷的辦法:Java允許一個類別繼承自多於一個父介面(可以指定某一個類別,它繼承了所有父類別的類型,並必須擁有所有父類別介面的外部可見方法的具體實現,並允許編譯器強制以上要求),但只可以從一個父類別繼承實現(方法與數據)。微軟的.NET編程語言,例如C#Visual Basic .NET也使用了這種介面的做法。

物件導向的程序設計中,繼承描述了兩種類型或兩個類的物件,其中一種是另外一種的「子類型」或「子類別」。子類別繼承了父類別的特徵,允許分享功能。例如,可以創造一個「哺乳類動物」類別,擁有進食、繁殖等的功能;然後定義一個子類型「貓」,它可以從父類別繼承上述功能,不需重新編寫程序,同時增加屬於自己的新功能,例如「追趕老鼠」。

然而,如果想同時自多於一個結構繼承,例如容許「貓」繼承「哺乳類動物」之餘,同時繼承「卡通角色」和「寵物」,缺乏多重繼承往往會導致十分笨拙的混合繼承,或迫使同一個功能在多於一個地方被重寫。(這帶來了維護上的問題)

多年以來,多重繼承都是一個敏感的話題,反對者指它增加了程式的複雜性與含糊性,例如在鑽石問題(或稱菱型缺陷)中。Loki函式庫針對多重繼承進行改良,以TypeList(二叉樹結構)避免這個問題。

各種編程語言有不同的方式處理上述問題。例如Eiffel容許子類型透過重新命名,或提前為他們確定選擇規則,來適應adapt)它繼承得來的功能。Java允許物件從多個介面繼承,但僅允許一個實現繼承。REALbasic與它相似,並增加了一個不需使用繼承來「擴展」一個類別的功能。Perl使用一種有序列表式的繼承機制:搜尋方法時,它會先搜尋當前類別的方法,然後使用深度優先搜索來順序尋找各個繼承類別及其父類別。CLOS允許程式設計者完全控制方法的組合。如果這還不足夠,元對象協議給程式設計者一種手段去修改繼承,方法調度類別特例化,及其它內部的機制,而不影響系統的穩定性。

C++與多繼承

編輯

C++支援多重繼承,允許對現實世界進行更直接的建模,Borland C++OWL Framework大量使用多重繼承來描述視窗的關係。微軟的MFC僅使用單一繼承描述視窗,ATL使用多重繼承實現COM/ActiveXWTL則使用多重繼承實現視窗。

多重繼承與被覆蓋的虛函數

編輯

對於最左基類,虛函數的覆蓋與單繼承情形一致。

對於非最左的基類,虛函數仍然可能會被派生類的成員函數覆蓋。

成員函數中this指針調整

編輯

一個類的非靜態成員函數,一般需要使用類對象的this指針來訪問類數據成員。程序加載到內存後,成員函數代碼占據了一塊內存空間。成員函數並不知道自身是作為一個單獨的(或最派生)類的直接成員函數,還是作為一個被派生的基類的成員函數而存在。實際上在內存空間的非靜態成員函數,可能會同時是單獨的(或最派生)類的直接成員函數與被派生的基類的成員函數。非靜態成員函數也僅知道聲明了該函數的類的數據成員的空間分布,不可能知道以該類為基類的派生類的數據成員的空間分布。因此調用非靜態成員函數時,調用者有責任傳給成員函數正確的this指針,即令this指針指向聲明了該成員函數的類的對象開始地址。

對於單繼承,派生類與基類的對象開始地址是一樣的,因此調用非靜態成員函數不需要調整this指針。對於多繼承,調用不是最左基類的非靜態成員函數時,調用者必須先調整this指針。這又分為兩種情形:

一是非虛函數,在函數調用現場直接調整this的值。這是編譯器根據多重繼承的派生類的實例對象或指針在編譯時就能確定的。例如:

struct base1{
   int v1;
   void foo1(int){} 
}
struct base2{
   int v2;
   void foo2(int){} 
}
struct derive: base1,base2{
};
derive d;
int main()
{    
    derive *p=&d;
    d.foo2(101);
    /* 上述调用语句编译后为:
push        65h                    ;参数101压栈
lea         ecx,offset d+4         ;根据thiscall调用协议,ecx保存了this的值
call        base2::foo2 (1181145h)
*/
    p->foo2(102);
}

二是虛函數情形。因為虛函數的開始地址必須存放在虛表條目中,所以多重繼承的派生類對非最左基類的被覆蓋(override)的虛函數,在該派生類的相應的虛表條目中填寫的是一個樁(thunk)地址。該樁通常只有兩條機器指令,首先是調整this值(即修改ecx寄存器),然後是調用指令(call)。

參考文獻

編輯
  • Andrei Alexandrescu. Modern C++ Design

外部連結

編輯

參見

編輯