C++虚继承的实现原理由内存布局开始讲起 C++虚继承的实现原理由内存布

准备工作
虚继承的内存分布情况

准备工作 1、VS2012使用命令行选项查看对象的内存布局
微软的Visual Studio提供给用户显示C++对象在内存中的布局的选项：/d1reportSingleClassLayout。使用方法很简单，直接在[工具(T)]选项下找到“Visual Studio命令提示(C)”后点击即可。切换到cpp文件所在目录下输入如下的命令即可

c1 [filename].cpp /d1reportSingleClassLayout[className]

其中[filename].cpp就是我们想要查看的class所在的cpp文件，[className]指我们想要查看的class的类名。（下面举例说明...）
2、查看普通多继承子类的内存布局
既然我们今天讲的是虚基类和虚继承，我们就先用上面介绍的命令提示工具查看一下普通多继承子类的内存布局，可以跟后文虚继承子类的内存布局情况加以比较。
我们新建一个名叫NormalInheritance的cpp文件，输入一下内容。

/** 普通继承（没有使用虚基类）*/// 基类Aclass A{public: int dataA; }; class B : public A{public: int dataB; }; class C : public A{public: int dataC; }; class D : public B, public C{public: int dataD; };

上面是一个简单的多继承例子，我们启动Visual Studio命令提示功能，切换到NormalInheritance.cpp文件所在目录，输入一下命令：
c1 NormalInheritance.cpp /d1reportSingleClassLayoutD
我们可以看到class D的内存布局如下：

文章图片

从类D的内存布局可以看到A派生出B和C，B和C中分别包含A的成员。再由B和C派生出D，此时D包含了B和C的成员。这样D中就总共出现了2个A成员。大家注意到左边的几个数字，这几个数字表明了D中各成员在D中排列的起始地址，D中的五个成员变量（B::dataA、dataB、C::dataA、dataC、dataD）各占用4个字节，sizeof(D) = 20。
为了跟后文加以比较，我们再来看看B和C的内存布局：

文章图片

文章图片

虚继承的内存分布情况 【C++虚继承的实现原理由内存布局开始讲起】上面我们看到了普通多继承子类的内存分布情况，下面我们进入主题，来看看典型的菱形虚继承子类的内存分布情况。
我们新建一个名叫VirtualInheritance的cpp文件，输入一下内容：

/** 虚继承（虚基类）*/#include // 基类Aclass 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; };

VirtualInheritance.cpp和NormalInheritance.cpp的不同点在与C和C继承A时使用了virtual关键字，也就是虚继承。同样，我们看看B、C、D类的内存布局情况：

文章图片

文章图片

我们可以看到，菱形继承体系中的子类在内存布局上和普通多继承体系中的子类类有很大的不一样。对于类B和C，sizeof的值变成了12，除了包含类A的成员变量dataA外还多了一个指针vbptr，类D除了继承B、C各自的成员变量dataB、dataA和自己的成员变量外，还有两个分别属于B、C的指针。
那么类D对象的内存布局就变成如下的样子：

vbptr：继承自父类B中的指针
int dataB：继承自父类B的成员变量
vbptr：继承自父类C的指针
int dataC：继承自父类C的成员变量
int dataD：D自己的成员变量
int A：继承自父类A的成员变量

显然，虚继承之所以能够实现在多重派生子类中只保存一份共有基类的拷贝，关键在于vbptr指针。那vbptr到底指的是什么？又是如何实现虚继承的呢？其实上面的类D内存布局图中已经给出答案：

文章图片

实际上，vbptr指的是虚基类表指针（virtual base table pointer），该指针指向了一个虚表（virtual table），虚表中记录了vbptr与本类的偏移地址；第二项是vbptr到共有基类元素之间的偏移量。在这个例子中，类B中的vbptr指向了虚表D::$vbtable@B@，虚表表明公共基类A的成员变量dataA距离类B开始处的位移为20，这样就找到了成员变量dataA，而虚继承也不用像普通多继承那样维持着公共基类的两份同样的拷贝，节省了存储空间。
为了进一步确定上面的想法是否正确，我们可以写一个简单的程序加以验证：

int main(){ D* d = new D; d->dataA = 10; d->dataB = 100; d->dataC = 1000; d->dataD = 10000; B* b = d; // 转化为基类B C* c = d; // 转化为基类C A* fromB = (B*) d; A* fromC = (C*) d; std::cout << "d address: " << d << std::endl; std::cout << "b address: " << b << std::endl; std::cout << "c address: " << c << std::endl; std::cout << "fromB address: " << fromB << std::endl; std::cout << "fromC address: " << fromC << std::endl; std::cout << std::endl; std::cout << "vbptr address: " << (int*)d << std::endl; std::cout << "[0] => " << *(int*)(*(int*)d) << std::endl; std::cout << "[1] => " << *(((int*)(*(int*)d)) + 1)<< std::endl; // 偏移量20 std::cout << "dataB value: " << *((int*)d + 1) << std::endl; std::cout << "vbptr address: " << ((int*)d + 2) << std::endl; std::cout << "[0] => " << *(int*)(*((int*)d + 2)) << std::endl; std::cout << "[1] => " << *((int*)(*((int*)d + 2)) + 1) << std::endl; // 偏移量12 std::cout << "dataC value: " << *((int*)d + 3) << std::endl; std::cout << "dataD value: " << *((int*)d + 4) << std::endl; std::cout << "dataA value: " << *((int*)d + 5) << std::endl; }

得到结果为：