C++菱形继承及解决方法

📋 个人简介

  • 💖 作者简介:大家好,我是菀枯😜

  • 🎉 支持我:点赞👍+收藏⭐️+留言📝

  • 💬格言:不要在低谷沉沦自己,不要在高峰上放弃努力!☀️

    v2-af3cfbda99d44f8eb114cc6c74c92253_720w

前言

上一次我们在说C++继承关系时,聊到了菱形继承。菱形继承是多继承的一种特殊情况。image-20220721121057449

菱形继承的问题

数据冗余

class Person
{
protected:
    string _name; //姓名
    int _age;     //年龄
};

class Student : public Person
{
protected:
    int _stuid; //学号
};

class Teacher : public Person
{
protected:
    int _jobid; //工号
};

class Assistant : public Student, public Person
{
protected:
    int _id; //编号
};

我们可以看到类Assitant是从Student,Teacher继承而来。而Student和Teacher是从Person继承而来,此时Assitant中就会有两份Person的数据,造成数据的冗余。

image-20220722093058772

数据的二义性

我们的Assistant类中有两个_name 和 _ id,此时当我们在Assistant中去使用这两个变量时,编译器就不知道该去使用哪一个而出现问题

image-20220722095236721

解决方法

虚拟继承

此时我们需要用到C++的关键字virtual,只需要在菱形继承的分叉点中加入virtual,此时就能解决菱形继承中的数据冗余和二义性的问题。

class Person
{
protected:
    string _name; //姓名
    int _age;     //年龄
};

class Student : virtual public Person //在继承方式前加上virtual
{
protected:
    int _stuid; //学号
};

class Teacher : virtual public Person //在继承方式前加上virtual
{
protected:
    int _jobid; //工号
};

class Assistant : public Student, public Teacher
{
protected:
    int _id; //编号
public:
    void f()
    {
        cout << _name << endl; //此时无二义性问题
    }
};

二义性我们解决了,那么数据冗余我们也解决了吗???

我们首先来看看虚拟继承前Assistant类的大小。

image-20220722100949823

我们再来看看虚拟继承后Assistant类的大小。

image-20220722101051383

可以很明显的看到,Assistant类的大小变小了。那么虚拟继承是如何解决这个问题的呢?

解决原理

首先我们先来看一下继承下来的对象是如何在内存中存储的。为了方便观看,我使用一个比较简单的类来理解这个问题。

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

将类中的每一个成员初始化为便于观察值的值,来方便我们观察内存中的值。下面我们来看看内存中的样子。

image-20220722102023006

我们可以很明显的看到存储方式。此时D中含有两个_a成员,产生了数据冗余。

image-20220722110457257

接下来我们来看看虚拟继承是如何存储这些成员,而防止数据冗余以及二义性的。还是相同的代码,但此时的内存空间变成了下面的样子。

image-20220722111050482

此时我们发现,原本的对象中多了两个指针,但是少了一个_a成员。那么这两个指针是用来干什么的呢?接下来我们来看看指针指向的空间里面有什么。

image-20220722112416361

这两个指针指向的空间开始都为0,但下一个就是正常的数。但这个数有什么用呢????

此时我们会发现,这个数正好是距离A的一个偏移量。第一个指针距离_a成员的距离为20个字节,所以第一个指针指向空间存的值为14(十六进制),第二个指针为距离 _a成员为12个字节,所以第二个指针指向空间存的值为C。

所以我们可以总结出菱形虚拟继承的存储方式。在原本的对象中添加一个虚基表指针,这个虚基表指向一个空间,这个空间叫做虚基表,通过查表我们可以找到我们想要访问的成员,来避免数据的冗余和二义性。

结语

1647941444633

欢迎各位参考与指导!!!

  • 13
    点赞
  • 16
    收藏
    觉得还不错? 一键收藏
  • 打赏
    打赏
  • 1
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论 1
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

。菀枯。

你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付:¥1
获取中
扫码支付

您的余额不足,请更换扫码支付或充值

打赏作者

实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

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

余额充值