出于网上对struct、union的字节对齐的文章比较多;而讲继承类的sizeof计算比较少,而且往往因为作者不够细心出了一些误导人的错误的原因,写了此篇博客,请大家指正。
首先申明继承类的sizeof计算与struct的sizeof计算是不一样的。请看:
class A
{
public:
int a1;
char a2;
};
class B:public A
{
public:
char b1;
short b2;
};
struct ST
{
int a1;
char a2;
char b1;
short b2;
};
void main()
{
B a;
cout<<&(a.a1)<<endl;
cout<<(void *)&(a.a2)<<endl;
cout<<(void *)&(a.b1)<<endl;
cout<<&(a.b2)<<endl;
cout<<sizeof(B)<<endl;
cout<<sizeof(ST)<<endl;
}
输出:
0012FF58
0012FF5C
0012FF60
0012FF62
12
8
请按任意键继续. . .
明显12!=8,继承类的sizeof计算与struct的sizeof计算是不一样的。
==================================================
为了表述方便,对上面的程序结构进行抽象化,得[4,1|1,2],'|'左边的表示父类的结构,'|'右边的表示子类的结构,其子4表示int(4个字节),1表示char,2表示short,8表示double
这上面程序的B类的a对象的存储结构可以为[4,1,(空3个字节)|1,(空1个字节),2],为了表述方便写成[4,1,(3个0)|1,(1个0),2].
好了,抽象化完毕,接下来说说继承类的sizeof计算问题:
步骤1:
先把父类对齐好(确定默认对齐数时只关注父类的数据成员)
例子1:[4,1|1,2](见上面)——先对齐[4,1]得[4,1,(3个0)]
步骤2:
再排子类,这个难一点,要综合父类的存储结构的情况,(确定默认对齐数时既要关注父类的数据成员,又要关注子类的数据成员)
例子1:[4,1|1,2](见上面)——确认默认对齐数是4;对齐结果是[4,1,(3个0)|1,(1个0),2]这个好理解,sizeof为12.
例子2:[8,1|2]——对齐数是8;子类存储结构[8,1,(7个0)|2,(6个0)]=24;(注意:后面补了6个0的原因是 与对齐数8对齐)
例子3:[1|1,8]——对齐数8;[1|1,(6个0),8]=16;(注意这是补6个0,为什么呢?先想想,待会讲)
*步骤*:
(时时刻刻要注意)某个类型放的地址必须是其大小的倍数,比如[1,2],存储为[1,(1个0),2]=4;具体存储为short需要放在□□□□中的第3个框(第1个框放char,第2个框空着,第3和第4个框放short)
但对于子类的存储的排布(对齐),需要加上一条:把父类存储结构也考虑进去!
这就是为什么例子3中[1|1,(6个0),8]放6个0;(因为double要与地址成倍数关系)
其他例子:
例子4:[1,2|2,8]——[1,(1个0),2|2,(2个0),8]=16;
*例子5:[1,2,1|4,8]——[1,(1个0),2,1,(1个0)|(2个0),4,(4个0),8]=24;(补2个0是因为int的缘故,补4个0是因为double的缘故)
*例子6:[1,2,1,8|4]——[1,(1个0),2,1,(3个0),8|4,(4个0)]=24;(后面补4个0是因为对齐数为8的缘故)
以上的数据全部都经过vs2008调试得出,至于总结归纳部分,纯属个人猜想。但从结果上看,猜想还是正确的。不足的地方是缺少理论知识,有将这方面理论知识的朋友还请赐教。
【引申】
①三重继承:[1|2|8]——[1|(1个0),2|(4个0),8]=16;
②例子5之再思考,简单化:[1,2,1|4,8],sizeof(父类)=6,补2个字节,int对齐,再补4个字节,double对齐,结束。