C++支持多重继承特性，允许一个派生类同时继承多个基类，这一特性在代码复用场景中非常实用，但也引入了一些复杂的问题，菱形继承就是其中最具代表性的一个。菱形继承指的是存在基类A，类B和类C都继承自A，然后类D同时继承B和C，整个继承结构呈现出菱形的形状。
菱形继承的问题表现
我们先通过一个简单的代码示例来复现菱形继承的场景，观察它带来的问题：
#include <iostream>
using namespace std;
// 基类
class A {
public:
int a;
void show() {
cout << "A::show, a = " << a << endl;
}
};
// 派生类B，继承自A
class B : public A {
public:
int b;
};
// 派生类C，继承自A
class C : public A {
public:
int c;
};
// 派生类D，同时继承B和C
class D : public B, public C {
public:
int d;
};
int main() {
D d;
// 以下语句会编译报错，访问a存在二义性
// d.a = 10;
// 必须通过指定路径访问，避免二义性
d.B::a = 10;
d.C::a = 20;
d.b = 30;
d.c = 40;
d.d = 50;
cout << "d.B::a = " << d.B::a << endl;
cout << "d.C::a = " << d.C::a << endl;
return 0;
}
从上面的代码可以看到，菱形继承会带来两个核心问题：
- 数据冗余：类D的对象d中，会包含两份类A的成员变量a，分别来自继承路径B和C，造成了内存空间的浪费。
- 访问二义性：如果直接通过d.a访问成员变量a，编译器无法确定是要访问B路径下的a还是C路径下的a，因此会直接编译报错，必须加上作用域限定符明确路径才能访问。
虚继承解决菱形继承问题
C++提供了虚继承机制来解决这个问题，虚继承的核心是让共享的基类在派生类中只存在一份实例。我们只需要在继承基类A的时候加上virtual关键字即可：
#include <iostream>
using namespace std;
// 基类
class A {
public:
int a;
void show() {
cout << "A::show, a = " << a << endl;
}
};
// 派生类B，虚继承A
class B : virtual public A {
public:
int b;
};
// 派生类C，虚继承A
class C : virtual public A {
public:
int c;
};
// 派生类D，同时继承B和C
class D : public B, public C {
public:
int d;
};
int main() {
D d;
// 此时可以直接访问a，不存在二义性
d.a = 10;
d.b = 20;
d.c = 30;
d.d = 40;
cout << "d.a = " << d.a << endl;
// 通过不同路径访问a，得到的是同一份数据
cout << "d.B::a = " << d.B::a << endl;
cout << "d.C::a = " << d.C::a << endl;
d.show();
return 0;
}
使用虚继承之后，类A被称为虚基类，类D的对象中只会保存一份虚基类A的成员变量，既解决了数据冗余的问题，也消除了访问二义性。此时不管通过B路径还是C路径访问a，都是同一个成员变量。
虚继承的对象内存布局
虚继承的实现依赖于编译器生成的虚基类表指针，每个虚继承的类对象都会包含一个指向虚基类表的指针，虚基类表中记录了虚基类成员相对于当前对象的偏移量，这样就能找到唯一的虚基类实例。我们可以通过打印对象的大小来简单观察内存布局的变化：
#include <iostream>
using namespace std;
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() {
cout << "sizeof(A) = " << sizeof(A) << endl;
cout << "sizeof(B) = " << sizeof(B) << endl;
cout << "sizeof(C) = " << sizeof(C) << endl;
cout << "sizeof(D) = " << sizeof(D) << endl;
return 0;
}
在64位环境下，普通继承时D的大小可能是20字节（两份A的a各4字节，B的b、C的c、D的d各4字节，共20），而使用虚继承后，B和C都会多一个虚基类表指针（8字节），加上一份A的a、b、c、d各4字节，总大小可能是24字节左右（不同编译器实现可能有差异）。虽然虚继承会引入额外的指针开销，但避免了数据冗余和二义性的问题，在需要多重继承的场景下是更合理的选择。
使用菱形继承的注意事项
虽然虚继承可以解决菱形继承的问题，但也不是没有代价：
- 虚继承会增加对象的内存开销，因为每个虚继承的类对象都需要维护虚基类表指针。
- 虚继承的访问效率会比普通继承略低，因为访问虚基类成员需要通过虚基类表计算偏移量。
- 虚基类的构造函数由最底层的派生类负责调用，中间类的构造函数对虚基类构造的调用会被忽略，这一点在编写构造函数时需要特别注意。
实际开发中，如果不是必须用到多重继承，可以尽量避免复杂的继承层次，或者考虑使用组合替代继承，减少菱形继承出现的概率。如果确实需要使用多重继承，一定要合理运用虚继承来避免菱形继承带来的问题。