C++菱形继承及解决方法详解_开发_开发者

菱形继承

继承是类和类之间的关系，是代码复用的重要手段，允许在保持原有类结构的基础上进行扩展，创建的新类与原有的类类似，只是多了几个成员变量和成员函数。

需要注意的是：

1.若不表明是以何种方式继承，使用关键字class时默认是私有继承，使用strucwww.devze.comt关键字时默认公有继承

2.上面的不可访问是指派生类对象不管是在类里还是类外都不能不访问

在谈菱形继承之前，需要先了解单继承和多继承：

单继承是一个子类只有一个直接父类时称这个继承关系是单继承
一个子类有两个或两个以上的直接父类时称这个继承关系为多继承
继承中子类中成员的排列次序与继承次序有关
（也就是说先继承的类，类中成员的地址越靠下）

菱形继承：

两个子类同时继承一个父类，而又有子类同时继承这两个子类

缺点：

导致数据冗余和二义性的问题

解决方法：

对造成二义性的属性使用域访问限定符，这样从本质上并没有解决二义性
想要解决二义性和数据冗余，这就需要用到虚拟继承。属性只会生成一份，要调用它需要使用虚基表指针，虚基表指针指向虚基表，虚基表中存在偏移量，通过偏移量就可以找到共有的那个属性。

封装，继承，多态。这是C++语言的三大特性，而每次在谈到继承时我们不可避免的要谈到一个很重要的问题——菱形继承。

多继承，呈菱形状

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 -- 二义性;
   //javascript父的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;
}

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

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

可以看到上图中紫色框两部分,是出现二义性的两份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;
}

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

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

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

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

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

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

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

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

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

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