C++知识点53——虚继承

最新推荐文章于 2024-08-03 18:36:25 发布

Master Cui

最新推荐文章于 2024-08-03 18:36:25 发布

阅读量485

点赞数

分类专栏： C++基础文章标签： c++ 类继承面向对象编程

本文链接：https://blog.csdn.net/Master_Cui/article/details/110147316

版权

C++基础专栏收录该内容

65 篇文章 51 订阅

订阅专栏

二、虚继承

1.概念

默认情况下，C++的派生列表中不允许同一个基类出现两次，但是，如果两个基类都继承了同一个类A，那么两个基类派生出的子类就会包含两次类A的部分

为了解决上述问题，C++中就出现了虚继承，通过虚继承，无论虚基类在整个继承链中出现了多少次，子类中都只出现一次。

示例

class animal
{
public:
	animal(){cout<<__func__<<endl;}
	~animal(){cout<<__func__<<endl;}
};

class bear:public virtual animal
{
public:
	bear(){cout<<__func__<<endl;}
	~bear(){cout<<__func__<<endl;}
};

class cat:public virtual animal
{
public:
	cat(){cout<<__func__<<endl;}
	~cat(){cout<<__func__<<endl;}
};

class endangered
{
public:
	endangered(){cout<<__func__<<endl;}
	~endangered(){cout<<__func__<<endl;}
};

class panda:public cat, public bear, public endangered
{
public:
	panda(){cout<<__func__<<endl;}
	~panda(){cout<<__func__<<endl;}
};

int main(int argc, char const *argv[])
{
	panda t;
	return 0;
}

上述代码就是个虚继承的例子，输出结果如下

通过输出结果显示，animal只创建了一次，如果将派生列表的virtual关键字去掉，输出结果如下

所以，上述代码通过虚继承，让基类animal只在子类中出现了一次

2.规则

和单一继承与多重继承一样，虚继承的的子类对象可以切割转化成对应的基类，可以通过基类的指针或者引用指向子类对象

成员的查找规则和单一继承以及多重继承一样

见博客https://blog.csdn.net/Master_Cui/article/details/110119371 https://blog.csdn.net/Master_Cui/article/details/109899018 https://blog.csdn.net/Master_Cui/article/details/109849186

3.虚继承的问题

与非虚多重继承一样，如果在多个不同的基类中定义了同名的成员，会出现二义性问题，解决办法依然是指定作用于或者在子类中也定义同名的成员，见博客https://blog.csdn.net/Master_Cui/article/details/110119371

4.构造函数与虚继承

在单一继承和非虚多重继承的情况下，创建一个子类对象时，各个类的构造的顺序是按照派生列表中类出现的顺序来调用的。

但是虚继承不一样，在虚继承的体系中，创建一个子类对象时，虚基类总是先于非虚基类构造。

示例

class a
{
public:
	a(){cout<<__func__<<endl;}
	~a(){cout<<__func__<<endl;}
};

class b :virtual public a
{
public:
	b(){cout<<__func__<<endl;}
	~b(){cout<<__func__<<endl;}
};

class c
{
public:
	c(){cout<<__func__<<endl;}
	~c(){cout<<__func__<<endl;}
};

class d
{
public:
	d(){cout<<__func__<<endl;}
	~d(){cout<<__func__<<endl;}
};

class e:public c, public b, virtual public d  
{
public:
	e(){cout<<__func__<<endl;}
	~e(){cout<<__func__<<endl;}
};

当一个e的对象被创建时，输出结果是这样的

过程如下：首先查看派生列表。发现有虚基类，第一个发现的虚基类时a，所以先创建a部分，调用a的构造函数，然后发现了虚基类d，于是就创建d并调用d的构造函数，虚基类都创建完成了，开始创建非虚基类，非虚基类在派生列表中的出现顺序分别是c，b，所以创建并调用了c和b的构造函数，最后创建e并调用e的构造函数

析构顺序和构造的顺序正好相反

如果一个虚基类既是基类也是子类，在创建虚基类的时候，依然会创建虚基类的基类

示例

class a
{
public:
	a(){cout<<__func__<<endl;}
	~a(){cout<<__func__<<endl;}
};

class b : public a
{
public:
	b(){cout<<__func__<<endl;}
	~b(){cout<<__func__<<endl;}
};

class c:public virtual b
{
public:
	c(){cout<<__func__<<endl;}
	~c(){cout<<__func__<<endl;}
};

class d:public virtual b
{
public:
	d(){cout<<__func__<<endl;}
	~d(){cout<<__func__<<endl;}
};

class e:public c, public d  
{
public:
	e(){cout<<__func__<<endl;}
	~e(){cout<<__func__<<endl;}
};

class f:public e, public a
{
public:
	f(){cout<<__func__<<endl;}
	~f(){cout<<__func__<<endl;}
};

代码的输出结果如下