虛繼承（Virtual Inheritance）
為了解決多繼承時的命名沖突和冗余數據問題，C++ 提出了虛繼承，使得在派生類中只保留一份間接基類的成員。

在繼承方式前面加上 virtual 關鍵字就是虛繼承，請看下面的例子：

//間接基類A class A{ protected:int m_a; }; //直接基類B class B: virtual public A{ //虛繼承 protected:int m_b; }; //直接基類C class C: virtual public A{ //虛繼承 protected:int m_c; }; //派生類D class D: public B, public C{ public:void seta(int a){ m_a = a; } //正確void setb(int b){ m_b = b; } //正確void setc(int c){ m_c = c; } //正確void setd(int d){ m_d = d; } //正確 private:int m_d; }; int main(){D d;return 0; }

這段代碼使用虛繼承重新實現了上圖所示的菱形繼承，這樣在派生類 D 中就只保留了一份成員變量 m_a，直接訪問就不會再有歧義了。
虛繼承的目的是讓某個類做出聲明，承諾愿意共享它的基類。其中，這個被共享的基類就稱為虛基類（Virtual Base Class），本例中的 A 就是一個虛基類。在這種機制下，不論虛基類在繼承體系中出現了多少次，在派生類中都只包含一份虛基類的成員。
現在讓我們重新梳理一下本例的繼承關系，如下圖所示：

觀察這個新的繼承體系，我們會發現虛繼承的一個不太直觀的特征：必須在虛派生的真實需求出現前就已經完成虛派生的操作。在上圖中，當定義 D 類時才出現了對虛派生的需求，但是如果 B 類和 C 類不是從 A 類虛派生得到的，那么 D 類還是會保留 A 類的兩份成員。

換個角度講，虛派生只影響從指定了虛基類的派生類中進一步派生出來的類，它不會影響派生類本身。

在實際開發中，位于中間層次的基類將其繼承聲明為虛繼承一般不會帶來什么問題。通常情況下，使用虛繼承的類層次是由一個人或者一個項目組一次性設計完成的。對于一個獨立開發的類來說，很少需要基類中的某一個類是虛基類，況且新類的開發者也無法改變已經存在的類體系。

C++標準庫中的 iostream 類就是一個虛繼承的實際應用案例。iostream 從 istream 和 ostream 直接繼承而來，而 istream 和 ostream 又都繼承自一個共同的名為 base_ios 的類，是典型的菱形繼承。此時 istream 和 ostream 必須采用虛繼承，否則將導致 iostream 類中保留兩份 base_ios 類的成員。

虛基類成員的可見性
因為在虛繼承的最終派生類中只保留了一份虛基類的成員，所以該成員可以被直接訪問，不會產生二義性。此外，如果虛基類的成員只被一條派生路徑覆蓋，那么仍然可以直接訪問這個被覆蓋的成員。但是如果該成員被兩條或多條路徑覆蓋了，那就不能直接訪問了，此時必須指明該成員屬于哪個類。

以圖2中的菱形繼承為例，假設 A 定義了一個名為 x 的成員變量，當我們在 D 中直接訪問 x 時，會有三種可能性：
如果 B 和 C 中都沒有 x 的定義，那么 x 將被解析為 A 的成員，此時不存在二義性。
如果 B 或 C 其中的一個類定義了 x，也不會有二義性，派生類的 x 比虛基類的 x 優先級更高。
如果 B 和 C 中都定義了 x，那么直接訪問 x 將產生二義性問題。

可以看到，使用多繼承經常會出現二義性問題，必須十分小心。上面的例子是簡單的，如果繼承的層次再多一些，關系更復雜一些，程序員就很容易陷人迷魂陣，程序的編寫、調試和維護工作都會變得更加困難，因此我不提倡在程序中使用多繼承，只有在比較簡單和不易出現二義性的情況或實在必要時才使用多繼承，能用單一繼承解決的問題就不要使用多繼承。也正是由于這個原因，C++ 之后的很多面向對象的編程語言，例如 Java、C#、PHP 等，都不支持多繼承。

總結

以上是生活随笔為你收集整理的C++虚继承和虚基类详解(二)的全部內容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網站內容還不錯，歡迎將生活随笔推薦給好友。