在本文中,我们解释由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图,我们可以把这个层次结构表示为:
Left、Right和Bottom在内存中是如何布局的?让我们先看一个简单的例子。Left和Right拥有如下的结构:
|
|
请注意第一个属性是从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 =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 |
Top* top = bottom;
是的,什么也没有。这条语句是有歧义的:编译器将会报错。
error: `Top
' is an ambiguous base of `Bottom'
Top* topL = (Left*) bottom;
Top* topR = (Right*) bottom;
虚拟继承
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++ 代码。