继承模型:
B和C继承A,D继承B和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;
};
int main()
{
D d;
d.B::_a = 1;
d.C::_a = 2;
d._b = 3;
d._c = 4;
d._d = 5;
return 0;
}
vs中内存对象模型查看如图
对象d的内存中会出现数据冗余(有两份_a)以及二义性的问题(两个_a的值不一样)
解决办法:虚拟继承
虚拟继承是B、C对A进行虚拟继承,本质是为了防止出现_a的数据冗余及二义性问题,所以D不需要对B、C也虚拟继承。代码修改如下
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;
};
菱形虚拟继承的内存对象成员模型:
D对象中将A放到了对象组成的最下面,这个A同时属于B和C。
那么B和C如何去找到公共的A呢?
这里是通过了B和C中的两个指针,指向的一张表。这两个指针叫虚基表指针,这两个表叫虚基表。虚基表中存的偏移量。通过偏移量可以找到下面的A。
例如:通过B中虚基表指针0x00BC5F50,找到虚基表,续集表中存放了一个偏移量14,所以从地址0x005EF75C后面+14就找到了0x005EF770,也就找到了公共_a的值。C中也是通过一样的方法找到的公共_a。
为什么D中B和C部分要去找属于自己的A?
因为如果d对象赋值给B或者C时,d必须要去找出B/C成员中的A才能赋值过去
D d;
B b = d;
C c = d;