C++---虚拟继承---虚基表的产生

为什么会有虚拟继承
在C++中由于有了多继承的关系，所以会产生一些特殊的继承方式。
例如：菱形继承

class A
{
public:
	int _a;
};
class B:public A
{
public:
	int _b;
};
class C:public A
{
public:
	int _c;
};
class D:public B,public C
{
public:
	int _d;
};
D d; //使用D类实例化一个对象d;

对象d的底层模型

由上图可以看出对象d中，含有两个_a成员变量，一个是B类继承于A类产生的，一个是C类继承于A类产生的。当执行d._a语句时，会发生编译错误，由于编译器无法知道用户想调用的是哪一个_a变量，所以会产生二义性问题，以及数据冗余问题。

解决方法：

• 需要显示指定访问哪个父类成员，但是无法解决数据冗余问题。

d.B::_a = 1;
d.C::_a = 2; //无法解决数据冗余问题。

• 虚拟继承。只需要在继承方式前面加上virtual关键字即可。

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;
};

只需要B,C虚拟继承A即可，D继承B、C仍然是多继承。

为什么虚拟继承能够解决上述问题呢

我们看一下菱形虚拟继承的底层数据模型。

可以看出D对象将A对象的组成部分放在最底下，那么B对象与C对象如何找到A对象呢？

我们发现在B,C对象部分之前分别多了一个地址，我们对其分别取地址。



在B,C对象前面加的指针称为虚基表指针，虚基表指针指向的表称为虚基表，虚基表中存在两个偏移量，第二个偏移量为与基类的偏移量，通过该偏移量可以找到基类中的数据。