C++ 多继承和虚继承的内存布局(Memory Layout for Multiple and Virtual Inheritance)

在本文中，我们解释由gcc编译器实现多继承和虚继承的对象的布局。虽然在理想的C++程序中不需要知道这些编译器内部细节，但不幸的是多重继承（特别是虚拟继承）的实现方式有各种各样的不太明确的结论（尤其是，关于向下转型指针，使用指向指针的指针，还有虚拟基类的构造方法的调用命令）。 如果你了解多重继承是如何实现的，你就能预见到这些结论并运用到你的代码中。而且，如果你关心性能，理解虚拟继承的开销也是非常有用的。最后，这很有趣。 :-)

多继承

---------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------

class Top
{ 
    public:
    int a;
}; 
class Left:public Top
{ 
   public: 
   int b;
}; 
class Right : public Top
{ 
   public: 
   int c;
}; 
class Bottom : publicLeft, publicRight
{ 
   public: 
    int d;
};

使用UML图，我们可以把这个层次结构表示为：

注意Top被继承了 两次 （在Eiffel语言中这被称作 重复继承 ）。这意味着类型Bottom的一个实例bottom将有两个叫做a的元素（分别为bottom.Left::a和bottom.Right::a）。

Left、Right和Bottom在内存中是如何布局的？让我们先看一个简单的例子。Left和Right拥有如下的结构：

Left Top::a Left::b

Right     Top::a     Right::c

请注意第一个属性是从Top继承下来的。这意味着在下面两条语句后

Left* left =new Left();

Top* top = left;
left和top指向了同一地址，我们可以把Left Object当成Top Object来使用(很明显，Right与此也类似)。那Buttom呢？GCC的建议如下：

Bottom
Left::Top::a
Left::b
Right::Top::a
Right::c
Bottom::d

如果我们提升Bottom指针，会发生什么事呢？
Bottom* bottom =new Bottom();
Left* left = bottom;
这段代码工作正常。我们可以把一个Bottom的对象当作一个Left对象来使用，因为两个类的内存部局是一样的。那么，如果将其提升为Right呢？会发生什么事？
Right* right = bottom;
为了执行这条语句，我们需要判断指针的值以便让它指向Bottom中对应的段。

	Bottom
	Left::Top::a
	Left::b
right	Right::Top::a
	Right::c
	Bottom::d

经过这一步，我们可以像操作正常Right对象一样使用right指针访问bottom。虽然，bottom与right现在指向两个不同的内存地址。出于完整性的缘故，思考一下执行下面这条语句时会出现什么状况。
Top* top = bottom;
是的，什么也没有。这条语句是有歧义的：编译器将会报错。

error: `Top ' is an ambiguous base of `Bottom'

两种方式可以避免这样的歧义

Top* topL = (Left*) bottom;

Top* topR = (Right*) bottom;

执行这两条语句后，topL和left会指向同样的地址，topR和right也会指向同样的地址。

虚拟继承

class Top
{   public:
    int a;
}; 
class Left : virtual public Top
{ public:
    int b;
};
class Right : virtual publicTop
{   public: 
    int c;
}; 
classBottom : public Left, public Right
{ 
    public: 
    int d;
};

这就得到了如下的层次结构（也许是你一开始就想得到的）

虽然从程序员的角度看，这也许更加的明显和简便，但从编译器的角度看，这就变得非常的复杂。重新考虑下Bottom的布局，其中的一个（也许没有）可能是：

Bottom

Left::Top::a

Left::b

Right::c

Bottom::d

这个布局的优点是，布局的第一部分与Left的布局重叠了，这样我们就可以很容易的通过一个Left指针访问 Bottom类。可是我们怎么处理

Right* right = bottom;

我们将哪个地址赋给right呢? 经过这个赋值，如果right是指向一个普通的Right对象，我们应该就能使用 right了。但是这是不可能的！Right本身的内存布局是完全不同的，这样我们就无法像访问一个"真正的"Right对象一样，来访问升级的Bottom对象。而且，也没有其它（简单的）可以正常运作的Bottom布局。

解决办法是复杂的。我们先给出解决方案，之后再来解释它。

你应该注意到了这个图中的两个地方。第一，字段的顺序是完全不同的（事实上，差不多是相反的）。第二，有几个vptr指针。这些属性是由编译器根据需要自动插入的（使用虚拟继承，或者使用虚拟函数的时候）。编译器也在构造器中插入了代码，来初始化这些指针。

vptr (virtual pointers)指向一个 “虚拟表”。类的每个虚拟基类都有一个vptr指针。要想知道这个虚拟表 (vtable)是怎样运用的，看看下面的C++ 代码。