下面文章詳細介紹C++虛基,所謂C++虛基類:是由最派生類的構造函數通過調用虛基類的構造函數進行初始化的,但前提是要深入理解到底什麼是C++虛基類,及他是怎麼運行的。
前面講過,為了初始化基類的子對象,派生類的構造函數要調用基類的構造函數。對於虛基類來講,由於派生類的對象中只有一個虛基類子對象。為保證虛基類子對象只被初始化一次,這個虛基類構造函數必須只被調用一次。
由於繼承結構的層次可能很深,規定將在建立對象時所指定的類稱為最派生類。C++規定,虛基類子對象是由最派生類的構造函數通過調用虛基類的構造函數進行初始化的。如果一個派生類有一個直接或間接的C++虛基類,那麼派生類的構造函數的成員初始列表中必須列出對虛基類構造函數的調用。如果未被列出,則表示使用該虛基類的缺省構造函數來初始化派生類對象中的虛基類子對象。
從虛基類直接或間接繼承的派生類中的構造函數的成員初始化列表中都要列出這個虛基類構造函數的調用。但是,只有用於建立對象的那個最派生類的構造函數調用虛基類的構造函數。
而該派生類的基類中所列出的對這個虛基類的構造函數調用在執行中被忽略,這樣便保證了對虛基類的對象只初始化一次。C++又規定,在一個成員初始化列表中出現對虛基類和非虛基類構造函數的調用,則C++虛基類的構造函數先於非虛基類的構造函數的執行。
下面舉一例子說明具有C++虛基類的派生類的構造函數的用法。
- #include
- class A
- {
- public:
- A(const char *s) { cout< ~A() {}
- };
- class B : virtual public A
- {
- public:
- B(const char *s1, const char *s2):A(s1)
- {
- cout< }
- };
- class C : virtual public A
- {
- public:
- C(const char *s1, const char *s2):A(s1)
- {
- cout< }
- };
- class D : public B, public C
- {
- public:
- D(const char *s1, const char *s2, const char *s3, const char *s4)
- :B(s1, s2), C(s1, s3), A(s1)
- {
- cout< }
- };
- void main()
- {
- D *ptr = new D("class A", "class B", "class C", "class D");
- delete ptr;
- }
在派生類B和C中使用了C++虛基類,使得建立的D類對象只有一個虛基類子對象。在派生類B,C,D的構造函數的成員初始化列表中都包含了對虛基類A的構造函數。在建立類D對象時。
只有C++虛基類D的構造函數的成員初始化列表中列出的虛基類構造函數被調用,並且僅調用一次,而類D基類的構造函數的成員初始化列表中列出的虛基類構造函數不被執行。這一點將從該程序的輸出結果可以看出。