C++菱形继承剖析

何为菱形继承？结构如下：

如上图这种菱形形状的继承关系我们称之为菱形继承，这种继承会带来一系列问题，接下来我们在代码中演示。先看如下符合菱形继承的代码：

#include <iostream>
using namespace std;

// 动物类
class animal
{
public:
    int age;
};

// 驴类
class donkey: public animal{};

// 马类
class horse: public animal{};

//骡子类
class mule: public donkey, public horse{};

int main()
{
    mule obj_mule;
    obj_mule.donkey::age = 20;
    obj_mule.horse::age = 30;
	
    cout<< "obj_mule.donkey::age = " << obj_mule.donkey::age << endl;
    cout<< "obj_mule.horse::age = " << obj_mule.horse::age << endl;	
    cout<< "sizeof(obj_mule) = " << sizeof(obj_mule) << endl;	
    
    return 0;
}

我们运行结果来分析解析：

上图利用gdb调试分析可知：在mule子类中会继承来自两个父类donkey和horse的age属性，刚好大小为两个int类型的大小，这样就造成了属性多余。

解决这种问题的方法就是使用虚继承，具体实现方法就是在继承方式前面加关键字virtual，具体代码如下：

#include <iostream>
using namespace std;

// 动物类
class animal
{
public:
    int age;
};

// 驴类
class donkey: public animal{};

// 马类
class horse: virtual public animal{};

//骡子类
class mule: virtual public donkey, public horse{};

int main()
{
    mule obj_mule;
    obj_mule.donkey::age = 20;
    obj_mule.horse::age = 30;
	
    cout<< "obj_mule.donkey::age = " << obj_mule.donkey::age << endl;
    cout<< "obj_mule.horse::age = " << obj_mule.horse::age << endl;	
    cout<< "sizeof(obj_mule) = " << sizeof(obj_mule) << endl;	
    
    return 0;
}

我们运行结果来分析解析：

 通过上图运行结果可见：mule的两个父类在进行虚继承的时候通过一个虚指针_vptr的偏移地址同时指向了基类的属性地址，而通过mule子类继承两个父类donkey和horse的age属性时也继承了两个父类的虚指针，上述代码运行的环境是64位操作系统，每个指针大小为8个字节，两个指针加一个int型变量由于字节对齐刚好占24个字节。