C++中虚继承的内存布局

看了

《Inside c++ object model》

 

想到一个题目：

#include <iostream>
using namespace std;
class A
{
 virtual void f(){};
};
class B : public virtual  A{
 
 virtual void f(){};
};
class C: public virtual  A{
 virtual void f(){};
 virtual void t(){};
};
int main()
{
   cout<<sizeof(B)<<endl;
  cout<<sizeof(C)<<endl;
}
此题在vc6.0下结果是 8 12。

回顾一下虚继承的概念：虚继承主要解决在多重继承中的菱形继承问题。实现方法是，在子类中保存一个父类（虚继承类）的实体，同时保存一个指针指向这个实体。指针+实体都是属于子类，所以sizeof会将两者也算在内。

cout<<sizeof(B)<<endl; 结果是8原因是 sizeof(A)加上 指向A实体的指针。注意此时没有属于B的虚指针。也就是说B没有自己的虚函数。

 cout<<sizeof(C)<<endl; C B区别在于C中有一个属于自己的虚函数，所以加上了一个虚指针的大小 所有为12

经过此题学会了一个属于类的虚函数的概念 。

 

此代码在Linux 64bit机器上编译结果为 8 8 ,我分析了下原因如下。

这是两种编译器对空类的理解的问题。VC属于特殊的编译器，比如说对于下面代码

class A{ };

class B:public A {};

sizeof(A) sizeof(B)

VC结果为 1 4.

GCC为  1 8.

VC认为 如果类是空的那么补一个char进来让类的对象拥有地址，但是如果是个空子类，VC认为父类也是“成员”之一所以拒绝为子类产生char 所以结果为4 (其中涉及到alignment的问题）

GCC认为 父类不是 “成员”所以为子类也产生了一个char。这样 就等于两个空对象相加，再加上alignment结果为8

 

《Inside c++ object model》