如何解决多继承下的 菱形继承 问题

文章探讨了C++中的菱形继承问题,指出不使用虚拟继承时会导致数据冗余和二义性。通过示例代码展示了如何通过添加virtual关键字解决这个问题,解释了虚拟继承如何消除二义性,以及虚基表和虚基表指针在内存布局中的作用。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

目录

概念:

菱形虚拟继承:


概念:

 

 

此时D类属于多继承,可以看到D类里面会有两份A类的数据,菱形继承也并不一定就一定就是上图的菱形,假如B类下面还有一个类,D类继承它,同样也是菱形继承问题

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 data;
	cout << data.a << endl;

	return 0;
}

 大家觉得这段代码有问题嘛?

 

我们此时D类已经出现了数据冗余和二义性的问题了,我们直接访问 a 的值是不可行的,只有明确地表明你要访问地是哪个类里面的 a

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

int main()
{
	D data;
	cout << data.a << endl;

	return 0;
}

 不过可以在腰部,也就是 B和C 类加上 virtual ,就可以数据二义性的问题和数据冗余,这个叫 菱形虚拟继承

菱形虚拟继承:

class A
{
public:
	int a;
};

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

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

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

int main()
{
	D data;
	//data.a = 1;
	data.B::a = 2;
	data.C::a = 6;
	data.b = 3;
	data.c = 4;
	data.d = 5;


	return 0;
}

 我们来看一下上述代码运行完,在内存的角度观察他们的变化:

 

能够看的出,总共分为三个部分:上面两个框分别是B和C类的,谁先继承谁就在上面,并且,数据a 也是独立开来的,B里面a = 2;C里面a = 6 。 

再来看加了virtual后的又会是什么样的变化: 

 

同样也是分为了三个部分,先继承的类就在上面,所以上面两个分别是B和C类,但这次不一样的是:

数据a并没有分开来,而是在最下面去了,相代替的是一个指针,这个指针指向的是一个虚基表,这个表里面存放着一个偏移量,当我们要进行 切割 的时候,获取 数据a 就通过当前的这个指针 + 这个偏离量就能找到了。(这个表叫虚基表,指针叫虚基表指针)

如果此时定义一个B对象,它的里面同时也有一个续集表指针,指向一个自己的续集表,这个偏移量 和 D定义出来的 对象 里的 B类的虚基表里的偏离量不同 

 

如图所示:左边是B类定义出来的对象;右边是D类定义出来的对象。

他们都有各自的虚基表指针,这个指针是不一样的!!!!里面的偏移量也是!! 

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值