【C++】详解菱形继承及菱形虚拟继承

前言

菱形继承的问题

菱形虚拟继承

总结

---

前言

一个子类有两个或以上直接父类时称这个继承关系为多继承，而菱形继承是多继承的一种特殊情况。如下图所示，B继承了A，C也继承了A，最后D继承了B和C，这就是一种菱形继承。

菱形继承的问题

在VS2019下考察以下代码，继承关系如前言中例图所示。

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 dd;
	dd.B::_a = 1;
	dd.C::_a = 2;
	dd._b = 3;
	dd._c = 4;
	dd._d = 5;
	
	return 0;
}

dd的内存分布图如下图所示。

从图中发现，B继承的变量_a和C继承的变量_a都被D继承了下来，此时，直接访问D里的_a就会产生二义性，编译器不知道访问的是哪个_a，所以要通过指定类域的方法进行访问。另一方面，在实际使用过程中，我们可能只需要一个_a，上面这种代码会造成数据冗余，多存放了一个_a，造成了空间的浪费。

上面的例子体现了菱形继承的问题：采用菱形继承的类，会有二义性和数据冗余的问题。

解决方法：对继承了同一个类的继承方法前加上关键字virtual，表示虚继承。

菱形虚拟继承

沿用上面的代码，在B和C继承时使用虚拟继承，也就是使用关键字virtual。

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 dd;
	dd.B::_a = 1;
	dd.C::_a = 2;
	dd._b = 3;
	dd._c = 4;
	dd._d = 5;
	
	return 0;
}

dd的内存分布图如下图所示对于采用了虚继承的类，在初始化过程中就会产生一个虚基表指针，该指针指向一个虚基表，这个表里存放了一个偏移量，可以通过 虚基表指针的地址 + 偏移量 得出基类里的成员地址。

上面这段话可能有些抽象，结合内存分布图进行阐述：原本dd里应该存放一个B::_a和C::_a，但是为了解决菱形继承带来的二义性和数据冗余问题，使用了菱形虚拟继承，最后dd里只存放了一个_a。通过B的虚基表指针0x00b79b40找到虚基表，编译器把虚基表的前四个字节进行了处理，存放解决其他问题的内容，第5~8个字节也就是偏移量0x00000014加上B的虚基表指针的地址0x004ff7bc就可以得出_a的地址0x004ff7d0，C也同理。

总结

C++的多继承一直被广大程序员诟病，因为有了多继承，就存在菱形继承，有了菱形继承，就存在菱形虚拟继承，底层非常复杂，所以建议不要设计出多继承，尤其是不要设计出菱形继承，否则在代码复杂度及性能上都可能会产生问题。