如果一个派生类有多个直接基类,而这些直接基类又有一个共同的基类,则在最终的派生类中会保留该间接共同基类数据成员的多份同名成员。C++提供虚基类的方法,使得在继承间接共同基类时只保留一份成员。

现在,将类A声明为虚基类,方法如下:
class A//声明基类A
{…};
class B :virtual public A//声明类B是类A的公用派生类,A是B的虚基类
{…};
class C :virtual public A//声明类C是类A的公用派生类,A是C的虚基类
{…};

注意: 虚基类并不是在声明基类时声明的,而是在声明派生类时,指定继承方式时声明的。因为一个基类可以在生成一个派生类时作为虚基类,而在生成另一个派生类时不作为虚基类。

下面看一个实例:

头文件声明A、B、C、D四个类

#pragma once
class A
{
public:
A();
~A();
};
class B : public A
{
public:
B();
~B();
};
class C : public A
{
public:
C();
~C();
};

class D : public B, public C
{
public:
D();
~D();
};

源文件

#include <iostream>
#include "virtualBase.h"

using namespace std;

A::A()
{
cout<<"这是A的构造函数"<<endl;
}

A::~A()
{
cout<<"这是A的析构函数"<<endl;
}

B::B()
{
cout<<"这是B的构造函数"<<endl;
}

B::~B()
{
cout<<"这是B的析构函数"<<endl;
}

C::C()
{
cout<<"这是C的析构函数"<<endl;
}

C::~C()
{
cout<<"这是C的析构函数"<<endl;
}

D::D()
{
cout<<"这是D的构造函数"<<endl;
}

D::~D()
{
cout<<"这是D的析构函数"<<endl;
}


测试程序:

#include <iostream>
#include "virtualBase.h"

using namespace std;

int main()
{
D d;
return 0;
}


运行结果:

C++虚基类_虚基类

可以看到A的构造函数被调用了两遍!下面我们把A改成虚基类再看看结果。

修改头文件如下:

#pragma once
class A
{
public:
A();
~A();
};
class B : public virtual A
{
public:
B();
~B();
};
class C : public virtual A
{
public:
C();
~C();
};

class D : public B, public C
{
public:
D();
~D();
};


运行结果如下:

C++虚基类_c++_02

可以看到这里只有一份A了!