类的大小——sizeof 的研究(3.虚继承)

看这段代码

class   Top   
{   
protected:   
	int   x;   
public:   
	Top(int   n):x(n){cout<<"Top"<<endl;}   
	virtual   ~Top(){}   
	
};   
class   Left:virtual   public   Top   
{   
protected:   
	int   y;   
public:   
	Left(int   m,int   n):Top(m){y=n;cout<<"Left"<<endl;}   
};   
class   Right:public   virtual   Top   
{   
protected:   
	int   z;   
public:   
	Right(int   m,int   n):Top(m){z=n;cout<<"Right"<<endl;}       
};   
class   Bottom:public   Left,public   Right   
{   
	int   w;   
public:   
	Bottom(int   i,int   j,int   k,int   m):Top(i),Left(i,j),Right(i,k),w(m)           
	{   
		cout<<"Bottom"<<endl;   
	}           
};   
int   main()   
{   
	Bottom   b(1,2,3,4);   
	cout<<"sizeof(b)   "<<sizeof(b)<<","<<sizeof(Bottom)<<endl;   
	cout<<sizeof(Left)<<","<<sizeof(Right)<<","<<sizeof(Top)<<endl;   
	for(int   i=0;i<sizeof(b);i+=4)   
		cout<<*(reinterpret_cast<int*>((&b)+i))<<"________"<<endl;   
	system("PAUSE");           
}

结果如下：

Top

Left

Right

Bottom

sizeof(b) 28,28

16,16,8

4657244________

2367460________

0________

746________

44________

5701724________

4________

请按任意键继续. . .



也就是说Top为占8字节，这好理解。

int x; //4字节

virtual ~Top(){} //基类的虚表入口，4字节



接着看Left跟Right都是16字节。

本来除了Top的8字节，Left里只有int y; 占4字节，还有4字节占在那里？



由于是虚继承，虚继承的子类都要包含一个指向基类的指针，从而实现动态联编。

一次，要额外加4字节的空间。所以一共是8+4+4=16字节。

Right同理。



再看Bottom的大小为28字节，这个是怎么算的呢？





虚继承是棱形继承，基类大小为8字节.

而Bottom为普通多继承，因此，Bottom的大小应该是Bottom部分+Left部分+Right部分+各自指向基类的指针+基类大小（虚继承导致只有一个基类实例）。

Top

/ /

/ /

Left Right

/ /

/ /

Bottom

现在算算，基类8字节+Left4字节+Right4字节+4字节指向基类的指针*2+Bottom4字节=28字节。



关于函数以及变量是否统计入sizeof实例，请参考我前两篇。



纯粹自己根据资料推导，欢迎指正。