当在多条继承路径上有一个公共的基类,在这些路径的某几条汇合处,这个公共的基类就会产生多个实例(或多个副本),若只想保存这个基类的一个实例,可以将这个公共基类说明为虚基类、
class CBase { };
class ChildA1:virtual public CBase{ };
class ChildA2:virtual public CBase{ };
class ChildB:public ChildA1,ChildA2{ };
则在类ChildB的对象中,仅有类CBase的一个对象数据
虚基类的特点:
(1):虚基类构造函数的参数必须由最新派生出来的类负责初始化(即使不是直接继承).
(2)虚基类的构造函数先于非虚基类的构造函数执行。
下面看一段程序的输出结果:
#include "stdafx.h"
#include<iostream>
using namespace std;
class CBase{
protected:
int a;
public:
CBase(int na)
{
a = na;
cout << "CBase constructor!" << endl;
}
~CBase()
{
cout << "CBase deconstructor!" << endl;
}
};
class ChildA1: virtual public CBase
{
public:
ChildA1(int na):CBase(na)
{
cout << "ChildA1 constructor!" << endl;
}
~ChildA1()
{
cout << "ChildA1 deconstructor!" << endl;
}
int GetA()
{
return a;
}
};
class ChildA2 : virtual public CBase
{
public:
ChildA2(int na):CBase(na)
{
cout<< " ChildA2 constructor!" << endl;
}
~ChildA2()
{
cout<< "ChildA2 deconstructor!" << endl;
}
int GetA()
{
return a;
}
};
class ChildB:public ChildA1,public ChildA2
{
public:
ChildB(int a1,int a2,int a3):ChildA1(a1),ChildA2(a2),CBase(a3)
{
cout << "ChildB constructor!!" << endl;
}
~ChildB()
{
cout << "ChildB deconstructor!" << endl;
}
};
int main()
{
ChildB childb(100,200,300);
//得到从ChildA1继承的值
cout<<" from ChildA1 : a = "<<childb.ChildA1::GetA();
//得到从ChildA2继承的值
cout<<" from ChildA2 : a = "<<childb.ChildA2::GetA()<<endl<<endl;
return 0;
}
程序输出的结果:从上例中可以看出来,在类ChildB的构造函数初始列表中,调用了间接基类CBase的构造函数,这对于非基类是非法的,但对于虚基类则是合法而且是必要的。
从输出的结果可以看出来,其公共基类的构造函数只调用了一次,并且优先于非虚基类的构造函数调用,并且发现,子派生类的对象childb的成员变量的值只有一个,所以当公共基类CBase被声明为虚基类,虽然它成为ChildA1和ChildA2的公共基类,但子派生类ChildB中也只有它的一个备份.