C++虚基类作用

当一个基类被声明为虚基类后，即使它成为了多继承链路上的公共基类，最后的派生类中也只有它的一个备份。例如：

class CBase { }；

class CDerive1：virtual public CBase{ }；

class CDerive2：virtual public CBase{ }；

class CDerive12：public CDerive1，CDerive2{ }；

则在类CDerive12的对象中，仅有类CBase的一个对象数据

虚基类的特点：

       虚基类构造函数的参数必须由最新派生出来的类负责初始化（即使不是直接继承）；

       虚基类的构造函数先于非虚基类的构造函数执行。

重写“C++学习笔记（9）——使用范围运算符解决继承中的二义性问题 ”中的程序，观察虚基类的作用

代码如下：

[cpp]  view plain copy

1. #include <IOSTREAM.H>  
2. //基类  
3. class CBase  
4. ...{  
5. protected:  
6.     int a;  
7. public:  
8.     CBase(int na)  
9.     ...{  
10.         a=na;  
11.         cout<<"CBase constructor! ";  
12.     }  
13.     ~CBase()...{cout<<"CBase deconstructor! ";}  
14. };  
15. //派生类1(声明CBase为虚基类)  
16. class CDerive1:virtual public CBase  
17. ...{  
18. public:  
19.     CDerive1(int na):CBase(na)  
20.     ...{  
21.         cout<<"CDerive1 constructor! ";  
22.     }  
23.     ~CDerive1()...{cout<<"CDerive1 deconstructor! ";}  
24.     int GetA()...{return a;}  
25. };  
26. //派生类2(声明CBase为虚基类)  
27. class CDerive2:virtual public CBase  
28. ...{  
29. public:  
30.     CDerive2(int na):CBase(na)  
31.     ...{  
32.         cout<<"CDerive2 constructor! ";  
33.     }  
34.     ~CDerive2()...{cout<<"CDerive2 deconstructor! ";}  
35.     int GetA()...{return a;}  
36. };  
37. //子派生类  
38. class CDerive12:public CDerive1,public CDerive2  
39. ...{  
40. public:  
41.     CDerive12(int na1,int na2,int na3):CDerive1(na1),CDerive2(na2),CBase(na3)  
42.     ...{  
43.         cout<<"CDerive12 constructor! ";  
44.     }  
45.     ~CDerive12()...{cout<<"CDerive12 deconstructor! ";}  
46. };  
47. void main()  
48. ...{  
49.     CDerive12 obj(100,200,300);  
50.     //得到从CDerive1继承的值  
51.     cout<<" from CDerive1 : a = "<<obj.CDerive1::GetA();  
52.     //得到从CDerive2继承的值  
53.     cout<<" from CDerive2 : a = "<<obj.CDerive2::GetA()<<endl<<endl;  
54. }  

1. 子派生类对象的值：

     从上例可以看出，在类CDerived12的构造函数初始化表中，调用了间接基类CBase的构造函数，这对于非虚基类是非法的，但对于虚基类则是合法且必要的。

　　对于派生类CDerived1和CDerived2，不论是其内部实现，还是实例化的对象，基类CBase是否是它们的虚基类是没有影响的。受到影响的是它们的派生类CDerived12，因为它从两条路径都能到达CBase。

2. 运行结果：

    由此可知，其公共基类的构造函数只调用了一次，并且优先于非基类的构造函数调用；并且发现，子派生类的对象obj的成员变量的值只有一个，所以，当公共基类CBase被声明为虚基类后，虽然它成为CDerive1和CDerive2的公共基类，但子派生类CDerive12中也只有它的一个备份。可以仔细比较与例2的运行结果有什么不同。