详解C++中菱形继承的原理与解决方法

 更新时间:2023年02月01日 11:44:26   作者:谜一样的男人1  
C++中的菱形继承是多继承的一种特殊情况,本文将通过海里带大家了解一下菱形继承形成的原因以及想应的解决方法,感兴趣的可以了解一下

菱形继承形成原因

多继承,呈菱形状

菱形继承代码:

class A 
{
public:
    A() {}
    int _a ;
};
class B :public A 
{
public:
    //会存在父的int a;
    B() {}
    int _b ;
};
class C :public A 
{
public:
   //会存在父的int a;
    C() {}
    int _c ;
};
class D :public B,public C 
   
{
public:
   //会存在父的int a;    问题来了这个a是  父亲b中的a 还是 父亲c中的a -- 二义性;
    
   //父的int b;
   //父的int c;
    D() {}
    int _d ;
};
int main()
{
    
   
    D d;
    d.B::_a = 1;
    d.C::_a = 2;
    d._b = 3;
    d._c = 4;
    b._d = 5;
    cout << d._a << endl;//报错  提示b.a具有二义性
    return 0;

}

出现二义性变量的内存布局

可以看到上图中紫色框两部分,是出现二义性的两份A::_a变量,编译器无法自主确定需要用哪一个,可以d::A_a 或者 d::B_a这样使用;

应对方案

虚继承 vitrual

vitrual修饰使派生类出现二义性的父类继承部分(菱形的腰部)

class A 
{
public:
    A() {}
    int _a ;
};
class B :virtual public A //virtual修饰
{
public:
    //父的int a;
    B() {}
    int _b;
};
class C :virtual public A  //virtual修饰
{
public:
   //父的int a;
    C() {}
    int _c ;
};
class D :public B,public C 
   
{
public:

    //自己的 int a;(二义性的父亲继承经virtual修饰)
   //父的int b;
   //父的int c;
    D() {}
    int _d;
};
int main()
{
    
    D d;
    d.B::_a = 1;
    d.C::_a = 2;
    d._b = 3;
    d._c = 4;
    b._d = 5;
    cout << d._a << endl;//没问题,输出2,这个2是D类成员通过继承,使得d自己独有且只有一份的 A::_a成员变量;
    return 0;
}

解决二义性变量内存布局–虚基表

可以看到原先存放两个二义性数据A::a和B::a的位置,变成了一个地址?

这个两个地址就叫虚基表指针

通过对虚基表的进一步内存研究,发现了虚基表紧着得下一个位置存放了一个偏移量,这个偏移量是存放该虚基表指针的内存位置,与当前派生类独有一份的成员变量_a之间的偏移长度;

这样我们直接使用d::a的时候,因为独有一份,也不会出现数据二义性的问题了;

注意,这和多态中的虚表(虚函数表两回事)

其次,虚基表的指针,经过测试,也是某个多继承派生类的多对象共用的;

eg: D d1,d2; 其中d1,d2两个对象 上图的这两张虚基表指针是一样的,原因很简单,D类类型都一样,那么某个位置起,到另一个相对位置偏移量肯定是固定的!

(同类型的虚表指针也如此,复用节省空间嘛)

感悟

继承,多态无疑为我们创造了很多的价值,但是像菱形继承这种弊端也是存在的,本质是多继承而引起的问题,在一些语言中禁止了多继承的行为,总之有利有弊,虽然C++允许了多继承,但还是尽量别写多继承这种模式,复杂度和出现问题的概率都很大;

关于代码复用等的另一种关系-组合

继承是每个派生类都能相对于继承is-a的关系; 每个派生类对象都是一个基类对象; 耦合度高

// Car和BMW Car和Benz构成is-a的关系
class Car{
    protected:
    string _colour ="白色"; // 颜色
    
    string _num ="陕ABITB";// 车牌号
};

class BMW:public Car{
    public:
    void Drive() {cout <<"好开-操控"<< end1;}
    };
    
    class Benz : public Car{
        public:
        void Drive() {cout <<"好坐-舒适"<< endl;}
        };

优先考虑组合has-a的关系; eg: 汽车-轮胎,has-a,组合(class 轮胎 作为class 车的成员嵌套) 耦合度低

// Tire和Car构成has-a的关系

class Tiref{
    protected:
    string _brand = "Michelin";// 品牌
    size_t size = 17;// 尺寸
    
};
class Car{
    protected:
    string _colour ="白色";// 颜色
    string _num ="陕ABITO";// 车牌号
    Tire _t;// 轮胎

};

到此这篇关于详解C++中菱形继承的原理与解决方法的文章就介绍到这了,更多相关C++菱形继承内容请搜索脚本之家以前的文章或继续浏览下面的相关文章希望大家以后多多支持脚本之家!

相关文章

  • C/C++字节序的深入理解

    C/C++字节序的深入理解

    本文主要介绍了C/C++字节序的深入理解,文中通过示例代码介绍的非常详细,具有一定的参考价值,感兴趣的小伙伴们可以参考一下
    2022-02-02
  • 浅析VC++中的头文件包含问题

    浅析VC++中的头文件包含问题

    类中尽量采用指针或引用方式调用其它类,这样就可以只声明class xxx了。并且这也符合资源最优利用,更利于使用多态
    2013-09-09
  • 讲解C++中的枚举类型以及声明新类型的方法

    讲解C++中的枚举类型以及声明新类型的方法

    这篇文章主要介绍了讲解C++中的枚举类型以及声明新类型的方法,是C预言入门学习中的基础知识,需要的朋友可以参考下
    2015-09-09
  • C语言的随机数rand()函数详解

    C语言的随机数rand()函数详解

    这篇文章主要为大家详细介绍了C语言的随机数rand()函数,使用数据库,文中示例代码介绍的非常详细,具有一定的参考价值,感兴趣的小伙伴们可以参考一下,希望能够给你带来帮助
    2022-02-02
  • C++模板的特化超详细精讲

    C++模板的特化超详细精讲

    最近我学习了C++中的模板相关知识,模板是泛型编程的基础,十分重要。所以特意整理出来一篇文章供我们一起复习和学习
    2022-08-08
  • C与汇编混合编程的实现示例

    C与汇编混合编程的实现示例

    本文主要介绍了C与汇编混合编程的实现示例,文中通过示例代码介绍的非常详细,需要的朋友们下面随着小编来一起学习学习吧
    2021-07-07
  • C++实现聊天小程序

    C++实现聊天小程序

    这篇文章主要为大家详细介绍了C++实现聊天小程序,文中示例代码介绍的非常详细,具有一定的参考价值,感兴趣的小伙伴们可以参考一下
    2021-06-06
  • C语言获取Linux系统精确时间的方法

    C语言获取Linux系统精确时间的方法

    下面小编就为大家带来一篇C语言获取Linux系统精确时间的方法。小编觉得挺不错的,现在就分享给大家,也给大家做个参考。一起跟随小编过来看看吧
    2017-09-09
  • C语言中break与continue的用法和区别详解

    C语言中break与continue的用法和区别详解

    当我们使用while或for循环时,如果想提前结束循环(在不满足结束条件的情况下结束循环),可以使用break或continue关键字,这篇文章主要给大家介绍了关于C语言中break与continue的用法和区别的相关资料,需要的朋友可以参考下
    2021-10-10
  • C++ sdl实现渲染旋转视频的方法分享

    C++ sdl实现渲染旋转视频的方法分享

    一般情况下播放视频时不需要旋转,但是如果是移动端录制的视频有时会出现rotate参数,且视频宽高也是互换的。所以本文为大家准备了利用sdl实现渲染旋转视频的方法,需要的可以参考一下
    2022-12-12

最新评论