前面一篇文章，說明了在C++ 虛繼承對基類建構函式呼叫順序的影響。經過仔細推敲，發現沒有徹底說清楚虛繼承與普通繼承之間的關係。所以用下面的文字再說明一下。

首先，重複一下虛擬繼承與普通繼承的區別有：

假設derived 繼承自base類，那麼derived與base是一種“is a”的關係，即derived類是base類，而反之錯誤；

假設derived 虛繼承自base類，那麼derivd與base是一種“has a”的關係，即derived類有一個指向base類的vptr。

因此虛繼承可以認為不是一種繼承關係，而可以認為是一種組合的關係。因為虛繼承有著“繼承”兩個關鍵字，那麼大部分人都認為虛繼承與普通繼承的用法沒什麼太大的不同。由此用在繼承體系中，這種將虛繼承認為是普通繼承的危害更佳大。下面先用一個例子來說明問題：

class base
{
public:
    base(){cout<<"base::base()!"<<endl;}
    void printBase(){cout<<"base::printBase()!"<<endl;}
};

class derived:public base
{
public:
    derived(){cout<<"derived::derived()!"<<endl;}
    void printDerived(){cout<<"derived::printDerived()!"<<endl;}
};
 

上面是普通繼承實現，在實際應用中，我們可以使用下面的程式碼進行型別轉換：

int main(int argc, const char * argv[])
{
    derived oo;
    base oo1(static_cast<base>(oo));
    oo1.printBase();
    derived oo2 = static_cast<derived&>(oo1);
    oo2.printDerived();
    return 0;
}

而將上面的普通繼承變成虛擬繼承，如下程式碼：

class base1
{
public:
    base1(){cout<<"base::base()!"<<endl;}
    void printBase(){cout<<"base::printBase()!"<<endl;}
};

class derived1:virtual public base1
{
public:
    derived1(){cout<<"derived::derived()!"<<endl;}
    void printDerived(){cout<<"derived::printDerived()!"<<endl;}
};

int main(int argc, const char * argv[])
{
    derived1 oo;
    base1 oo1(static_cast<base1>(oo));
    oo1.printBase();
    derived1 oo2 = static_cast<derived1&>(oo1);
    oo2.printDerived();
    return 0;
}

可以看到不能將基類通過static_cast轉換為繼承類。我們知道c++提供的強制轉換函式static_cast對於繼承體系中的類物件的轉換一般是可行的。那麼這裡為什麼就不可以了呢？還是需要從虛擬繼承的內部實現來說明問題。

virtual base class的原始模型是在class object中為每一個有關聯的virtual base class加上一個指標vptr，該指標指向virtual基類表。有的編譯器是在繼承類已存在的virtual table直接擴充匯入一個virtual base class table。不管怎麼樣由於虛繼承已完全破壞了繼承體系，不能按照平常的繼承體系來進行型別轉換。

不管怎麼樣，虛繼承在型別轉換是一定要十分注意。不要輕易使用虛繼承，更不要在虛繼承的基礎上進行型別轉換，切記切記！