C 菱形繼承

在c++繼承體系中，有一類問題是永遠跑不掉的即菱形繼承問題。此類問題又被稱作鑽石繼承問題，只是一種較差的設計結構，剛好看到這個問題，特此總結一下。

先來看一下菱形繼承的基本結構

a和b從基類base中繼承，而d多重繼承於a，b。那就意味著d中會有base中的兩個拷貝。因為成員函式不體現在類的記憶體大小上，所以實際上可以看到的情況是d的記憶體分布中含有2組base的成員變數。

又因其結構與鑽石有幾分相似，又被稱作鑽石繼承。

輸出d的大小為8。若此時示例化d並呼叫base中的print成員函式就會出現二義性問題。

如何解決鑽石繼承問題中的二義性問題呢？通過使用虛繼承的手段可以保證d只存有基類base的乙份拷貝，虛繼承是一種機制，類通過虛繼承指出它希望共享虛基類的狀態。對給定的虛基類，無論該類在派生層次中作為虛基類出現多少次，只繼承乙個共享的基類子物件，共享基類子物件稱為虛基類。

class base ;
class a : virtual
public base;
class b: virtual
public base;
class d : public a, public b;

時間：在通過繼承類物件訪問虛基類物件中的成員（包括資料成員和函式成員）時，都必須通過某種間接引用來完成，這樣會增加引用定址時間（就和虛函式一樣），其實就是調整this指標以指向虛基類物件，只不過這個調整是執行時間接完成的。

空間：由於共享所以不必要在物件記憶體中儲存多份虛基類子物件的拷貝，這樣較之多繼承節省空間。

最後關於虛繼承物件的記憶體布局這篇博文講的很不錯可以作為參考。