[原創(chuàng)文章歡迎轉(zhuǎn)載，但請保留作者信息]
Justin 于 2010-01-21
Scott
開篇就直接說開了：
C++
陣營中關(guān)于多重繼承
(Multiple Inheritance, MI)
分成了兩派，一派認(rèn)為多重繼承比單一繼承好，另外一邊則認(rèn)為弊大于利。
所以本課的內(nèi)容就是說說
MI
的優(yōu)與劣。
MI
的第一個問題就是名字沖突，
最經(jīng)典的例子就是鉆石問題
(diamond problem)。
設(shè)想
A
中有一個函數(shù)叫做
GetName()
，
B
和
C
中都將有這一函數(shù)成員，這個時候
D
：：
GetName()
的真正實現(xiàn)是來自
B
的還是
C
的呢？二義性出現(xiàn)了
(ambiguity)
。
不過如果真的發(fā)生了這種情況，要解決的方法也不是沒有，可以這樣做：D?d；
d.B::GetName();?//Calling?B's?implementation
嗯，很容易理解。
另外一個高階一點的方法叫做虛繼承
(virtual inheritance)
。對于在虛擬繼承中的父類，其中的成員都保證不會在后面的子類中出現(xiàn)二義現(xiàn)象
(ambiguity)
。似乎是專門為了
MI
才整出來的，汗
……
例子還是已前面的鉆石問題：class?A
{
???public:
??????void?GetName();
//..
};
class?B?:?virtual?public?A
{
//..
};
class?C?:?virtual?public?A
{
//..
};
class?D?:?public?B,?public?C
{
//..
}
D?d;
d.GetName();?//there?is?no?ambiguity?here.
但是虛繼承不是沒有代價的，大師說這種技術(shù)會使得最終代碼變得更大，訪問虛擬繼承中的父類成員也會變得更慢一些。
這個也不難理解。和空間換時間一樣，和不給牛吃草牛就不干活一樣。
(
另外的一個代價我還沒能完全理解透徹：書上說因為虛繼承中基類的初始化是由繼承關(guān)系中最底層的子類負(fù)責(zé)的，因此對于這些最底下的
“
嫡孫
”
類來說，就不是那么方便了
)
于是大師建議只有在必要的時候才使用虛繼承，而在虛繼承中的基類里也不要放置數(shù)據(jù)成員，這樣就不用擔(dān)心初始化的問題了。
不過存在就是合理，還是有需要用到
MI
的時候。一個在書中提到的使用
MI
的情形是：當(dāng)需要從一個類
AClass
中繼承接口，又需要從另外一個類
BClass
中繼承實現(xiàn)細(xì)節(jié)時，就可以考慮在公有繼承
AClass
的同時又私有繼承
BClass
。道理大致就是這樣，就不編造程序畫蛇添足了。
總結(jié)一下：
MI
比
SI(Single
Inheritance)
要復(fù)雜容易出錯
(
比如說鉆石問題
)
，即使可以用虛繼承來解決鉆石問題，但是其帶來的代碼體積增大，訪問效率下降以及初始化問題還是不能忽視的。最后話說回來，需要用到
MI
的時候，小心點用便是
@#
￥
%
【參考】
http://en.wikipedia.org/wiki/Virtual_inheritance