C++虛繼承時的構造函數的講解

在虛繼承中，虛基類是由最終的派生類初始化的，換句話說，最終派生類的構造函數必須要調用虛基類的構造函數。對最終的派生類來說，虛基類是間接基類，而不是直接基類。這跟普通繼承不同，在普通繼承中，派生類構造函數中只能調用直接基類的構造函數，不能調用間接基類的。

下面我們以菱形繼承為例來演示構造函數的調用：

1. #include <iostream>
2. using namespace std;
4. //虛基類A
5. class A{
6. public:
7. A(int a);
8. protected:
9. int m_a;
10. };
11. A::A(int a): m_a(a){ }
13. //直接派生類B
14. class B: virtual public A{
15. public:
16. B(int a, int b);
17. public:
18. void display();
19. protected:
20. int m_b;
21. };
22. B::B(int a, int b): A(a), m_b(b){ }
23. void B::display(){
24. cout<<"m_a="<<m_a<<", m_b="<<m_b<<endl;
25. }
27. //直接派生類C
28. class C: virtual public A{
29. public:
30. C(int a, int c);
31. public:
32. void display();
33. protected:
34. int m_c;
35. };
36. C::C(int a, int c): A(a), m_c(c){ }
37. void C::display(){
38. cout<<"m_a="<<m_a<<", m_c="<<m_c<<endl;
39. }
41. //間接派生類D
42. class D: public B, public C{
43. public:
44. D(int a, int b, int c, int d);
45. public:
46. void display();
47. private:
48. int m_d;
49. };
50. D::D(int a, int b, int c, int d): A(a), B(90, b), C(100, c), m_d(d){ }
51. void D::display(){
52. cout<<"m_a="<<m_a<<", m_b="<<m_b<<", m_c="<<m_c<<", m_d="<<m_d<<endl;
53. }
55. int main(){
56. B b(10, 20);
57. b.display();
59. C c(30, 40);
60. c.display();
62. D d(50, 60, 70, 80);
63. d.display();
64. return 0;
65. }

運行結果：
m_a=10, m_b=20
m_a=30, m_c=40
m_a=50, m_b=60, m_c=70, m_d=80

請注意第 50 行代碼，在最終派生類 D 的構造函數中，除了調用 B 和 C 的構造函數，還調用了 A 的構造函數，這說明 D 不但要負責初始化直接基類 B 和 C，還要負責初始化間接基類 A。而在以往的普通繼承中，派生類的構造函數只負責初始化它的直接基類，再由直接基類的構造函數初始化間接基類，用戶嘗試調用間接基類的構造函數將導致錯誤。

現在采用了虛繼承，虛基類 A 在最終派生類 D 中只保留了一份成員變量 m_a，如果由 B 和 C 初始化 m_a，那么 B 和 C 在調用 A 的構造函數時很有可能給出不同的實參，這個時候編譯器就會犯迷糊，不知道使用哪個實參初始化 m_a。

為了避免出現這種矛盾的情況，C++ 干脆規定必須由最終的派生類 D 來初始化虛基類 A，直接派生類 B 和 C 對 A 的構造函數的調用是無效的。在第 50 行代碼中，調用 B 的構造函數時試圖將 m_a 初始化為 90，調用 C 的構造函數時試圖將 m_a 初始化為 100，但是輸出結果有力地證明了這些都是無效的，m_a 最終被初始化為 50，這正是在 D 中直接調用 A 的構造函數的結果。

另外需要關注的是構造函數的執行順序。虛繼承時構造函數的執行順序與普通繼承時不同：在最終派生類的構造函數調用列表中，不管各個構造函數出現的順序如何，編譯器總是先調用虛基類的構造函數，再按照出現的順序調用其他的構造函數；而對於普通繼承，就是按照構造函數出現的順序依次調用的。

修改本例中第 50 行代碼，改變構造函數出現的順序：

1. D::D(int a, int b, int c, int d): B(90, b), C(100, c), A(a), m_d(d){ }

雖然我們將 A() 放在了最后，但是編譯器仍然會先調用 A()，然后再調用 B()、C()，因為 A() 是虛基類的構造函數，比其他構造函數優先級高。如果沒有使用虛繼承的話，那么編譯器將按照出現的順序依次調用 B()、C()、A()。