C++ 虚基类

最新推荐文章于 2024-01-11 14:16:37 发布

Vincent乐

最新推荐文章于 2024-01-11 14:16:37 发布

阅读量1.1w

点赞数 24

分类专栏： C++开发

本文链接：https://blog.csdn.net/chlele0105/article/details/22654869

版权

C++开发专栏收录该内容

35 篇文章 4 订阅

订阅专栏

虚基类是用关键字virtual声明继承的父类，即便该基类在多条链路上被一个子类继承，但是该子类中只包含一个该虚基类的备份，虚基类主要用来解决继承中的二义性问题，这就是是虚基类的作用所在。

正是由于虚基类的这个作用，所以在每个子类的构造函数中必须显示的调用该虚基类的构造函数，不管该虚基类是不是直接的父类。

其次，虚基类的构造函数的调用早于其他非虚基类的构造函数的调用。

上面两点就是虚基类的特性。

例如：

class CBase { }；
class CDerive1：virtual public CBase{ }；
class CDerive2：virtual public CBase{ }；
class CDerive12：public CDerive1，CDerive2{ }；
则在类CDerive12的对象中，仅有类CBase的一个对象数据

#include <iostream>
using namespace std;
class CBase
{
public:
	int a;
public:
	CBase(int na)
	{
		a=na;
		cout<<"CBase constructor! "<<endl;
	}


	~CBase(){cout<<"CBase deconstructor! "<<endl;}
};


//派生类1(声明CBase为虚基类)
class CDerive1:virtual public CBase
{
public:
	CDerive1(int na):CBase(na)
    {
		cout<<"CDerive1 constructor! "<<endl;
	}


	~CDerive1(){cout<<"CDerive1 deconstructor! "<<endl;}


	int GetA(){return a;}
};


//派生类2(声明CBase为虚基类)
class CDerive2:virtual public CBase
{
public:
	CDerive2(int na):CBase(na)
	{
		cout<<"CDerive2 constructor! "<<endl;
	}
	~CDerive2(){cout<<"CDerive2 deconstructor! "<<endl;}
	int GetA(){return a;}
};


//子派生类
class CDerive12:public CDerive1,public CDerive2
{
public:
	CDerive12(int na1,int na2,int na3):CDerive1(na1),CDerive2(na2),CBase(na3)
	{
		cout<<"CDerive12 constructor! "<<endl;
	}
	~CDerive12(){cout<<"CDerive12 deconstructor! "<<endl;}
};
void main()
{
	CDerive12 obj(100,200,300);
	cout<<" CDerive12:a = "<<obj.a<<endl;
	//得到从CDerive1继承的值
	cout<<" from CDerive1 : a = "<<obj.CDerive1::GetA()<<endl;
	//得到从CDerive2继承的值
	cout<<" from CDerive2 : a = "<<obj.CDerive2::GetA()<<endl;


}

CDerive12 obj对象的值如下：

输出结果：

由此可以看出，CDerive12中的int a不是来自CDerive1或CDerive2，而是来自一份从CBase直接过来的拷贝。由此可知，其公共基类的构造函数只调用了一次，并且优先于非基类的构造函数调用；并且发现，子派生类的对象obj的成员变量的值只有一个，所以，当公共基类CBase被声明为虚基类后，虽然它成为CDerive1和CDerive2的公共基类，但子派生类CDerive12中也只有它的一个备份（一份从CBase直接过来的拷贝）。

内存模型

例如：

class A
{
public:
    int a;
};

class B : virtual public A
{
public:
   int b;
};

class C :virtual public A
{
public:
   int c; 
};

class D : public B, public C
{
public:
   int d;
};

上面这种菱形的继承体系中，如果没有virtual继承，那么D中就有两个A的成员int a；继承下来，使用的时候，就会有很多二义性。而加了virtual继承，在D中就只有A的成员int a；的一份拷贝，该拷贝不是来自B，也不是来自C，而是一份单独的拷贝。
继承体系：