C++ 虚拟继承内存分配示意图

本教程将通过编写测试主函数，分析 C++ 中虚拟继承下类 A、B、C、D 的内存分配情况，并绘制相应的内存分配示意图，帮助您理解虚拟继承的内存管理机制。

代码示例

#include <iostream>
using namespace std;

class A      //基类A
{
public:
    int dataA;
};

class B : virtual public A
{
public:
    int dataB;
};

class C : virtual public A
{
public:
    int dataC;
};

class D :  public B,public C
{
public:
    int dataD;
}; 

int main()
{
    D *d=new D;
    d->dataA=10;
    d->dataB=100;
    d->dataC=1000;
    d->dataD=10000;

    B *b=d;
    C *c=d;
    A *fromB=(B*)d;
    A *fromC=(C*)d;

    cout << "sizeof(A) = " << sizeof(A) << endl;
    cout << "sizeof(B) = " << sizeof(B) << endl;
    cout << "sizeof(C) = " << sizeof(C) << endl;
    cout << "sizeof(D) = " << sizeof(D) << endl;
    cout << "d = " << (int*)d << endl;
    cout << "b = " << (int*)b << endl;
    cout << "c = " << (int*)c << endl;
    cout << "fromB = " << (int*)fromB << endl;
    cout << "fromC = " << (int*)fromC << endl;

    delete d;

    return 0;
}

测试结果

sizeof(A) = 4
sizeof(B) = 8
sizeof(C) = 8
sizeof(D) = 16
d = 0x7ffca903b640
b = 0x7ffca903b640
c = 0x7ffca903b640
fromB = 0x7ffca903b640
fromC = 0x7ffca903b640

内存分配示意图

+----------------+
|       D        |
|  +---------+   |
|  |    B    |   |
|  | dataB   |   |
|  | dataA   |   |
|  | vptr    |---|----------------+
|  +---------+   |                |
|  |    C    |   |                |
|  | dataC   |   |                |
|  | dataA   |   |                |
|  | vptr    |---|----------+     |
|  +---------+   |          |     |
|  | dataD   |   |          |     |
|  +---------+   |          |     |
|                |          |     |
|                |          |     |
|                |          |     |
+----------------+          |     |
                             |     |
+----------------+          |     |
|       B        |          |     |
|  +---------+   |          |     |
|  | dataB   |   |          |     |
|  | dataA   |   |          |     |
|  | vptr    |---|----------|-----+
|  +---------+   |          |
+----------------+          |
                             |
+----------------+          |
|       C        |          |
|  +---------+   |          |
|  | dataC   |   |          |
|  | dataA   |   |          |
|  | vptr    |---|----------+
|  +---------+   |
+----------------+

解释

• 虚拟继承的原理： 虚拟继承的主要目的是避免在多重继承中出现多个相同基类子对象的冗余。每个虚拟基类在派生类中只会被分配一次内存，而其他非虚拟基类仍然会被分配多次内存。

• 内存分配示意图： 在上面的内存分配示意图中，我们可以看到：

  • D 类包含了 B 和 C 两个基类，但它们的 dataA 成员都指向了同一个内存地址，实现了内存共享。
  • 每个虚拟基类（A）都包含一个 vptr（虚拟指针），指向虚拟表。虚拟表中存放了指向 A 类虚函数的地址，确保了所有继承了 A 类作为虚拟基类的子类都能正确调用 A 类的虚函数。

总结

虚拟继承是 C++ 中重要的特性，它允许我们设计出更加灵活和高效的类层次结构。理解虚拟继承的内存管理机制对于编写高质量的 C++ 代码至关重要。