我在写这篇博客之前,我已经对普通类的对象模型有了一定的了解,普通的类包含虚函数以及多重继承情况下类大小我还是比较明白的,直到当时在做网易的一道实习生招聘的选择题时,又让我对类大小的认知产生了怀疑,因此在看这篇博客之前,假设每个人对普通类的大小如何计算已经很清楚,如果不清楚,请移步我的这一篇博客:
https://blog.csdn.net/longjialin93528/article/details/80160467
对类大小有详尽的讲解(也包括虚基继承,比这篇详尽)
首先来看看当时网易的题是什么:
在64位系统下,以下的输出是多少?
class A { char a[2]; public: virtual void aa() {}; }; class B :public virtual A { char b[2]; char a[2]; public: virtual void aa() {}; virtual void bb() {}; }; class C :public virtual B { char c[2]; char b[2]; char a[2]; public: virtual void cc() {}; virtual void aa() {}; virtual void bb() {}; }; int main() { cout << sizeof(A) <<" "<< sizeof(B) <<" "<< sizeof(C) << endl; }
首先,在这里贴出答案:16 32 48,(这个答案在64位linux下及mac上的CLion都符合)。
虚拟继承类的大小与编译工具有关!!!!!这里先贴出结论,至于为什么,待会讲!!!(就因为这,害得我思考了好长时间)
当时是很不明白为什么会是这个大小,考试过后,首先我在自己的电脑上进行了验证:
环境是64位windows+vs2017,在vs2017里面,不知为何我的指针大小是4,而不是8,很奇怪,总之指针大小是4,我输入完后运行,得出的结果是:8,20,36!!!
这一结果让我很百思不得其解!!!因为class A的大小可以很明确的知道,如果指针大小是8,则class A的大小是16(内存对齐),指针大小是4,class A的大小是8,接下来针对类B,C大小进行详细讲解,首先我们借用vs2017里面提供的工具查看类的内存模型,方法如下:
在VS2010中,在项目——属性——配置属性——C/C++——命令行——其他选项中添加选项“/d1reportAllClassLayout”。再次编译时候,编译器会输出所有定义类的对象模型。由于输出的信息过多,我们可以使用“Ctrl+F”查找命令,找到对象模型的输出。
接下来看到了class B 与class A的内存模型
class B内存模型:
class C内存模型:
首先认识两种指针,vfptr(虚函数指针),vbptr(虚基类指针),因为虚拟继承的子类通常只存一份父类,因此,需要一个偏移量去找父类,这时vbptr就显示出了其用途
sizeof(B)=自己的vfptr(4)+自己的vbptr(4)+自己的两个char[2] (4)+父类的vfptr(4)+父亲的char[2](4,这是因为内存对齐的原因)=20
sizeof(C)=自己的vfptr(4)+自己的vbptr(4,用来寻找虚拟继承的父类B)+3*char[2](8,内存对齐)
+sizeof(B)
接下来重点来了,按照上面的这种内存布局,我们将指针大小换为8,再在内存对齐方面注意对准的是8个字节,按理说
sizeof(B)=自己的vfptr(8)+自己的vbptr(8)+自己的两个char[2] (8,内存对齐)+父类的vfptr(8)+父亲的char[2](8,这是因为内存对齐的原因)=40
sizeof(C)=自己的vfptr(8)+自己的vbptr(8,用来寻找虚拟继承的父类B)+3*char[2](8,内存对齐)
+sizeof(B)=64
可是无论我在64位的centos上还是在macos上,输出类的大小都是16,32,48,到底问题出在哪里了????
终于,搜索了好多资料,得到了答案!!!
GCC共享虚函数表指针(无论虚拟继承的子类是否添加了自己的虚函数),也就是说父类如果已经有虚函数表指针,那么子类中共享父类的虚函数表指针空间,不再占用额外的空间,VC在虚继承情况下
(1)没有添加自己的新虚函数,则共享父类虚函数表指针
(2)添加自己的新虚函数,则不共享父类虚函数表指针,自己拥有自己新的虚函数表指针
那也就是说,我们在64位系统,gcc编译下,B的大小应该是
sizeof(B)=自己的vbptr(8)+自己的两个char[2] (8,内存对齐)+父类的vfptr(8)+父亲的char[2](8,这是因为内存对齐的原因)=32
有了虚基类指针就可以找到父类,自然能找到父类的虚函数表指针,使用虚函数
sizeof(C)=自己的vbptr(8,用来寻找虚拟继承的父类B)+3*char[2](8,内存对齐)+sizeof(B)=48
现在,结果终于对了,终于弄明白一个知识点是很开心的,知道为什么会出现不一样的结果,刨根问底,搜索资料,解决它,真的很开心,很兴奋,至于菱形继承可以参考上面的方式,也可以查看我开头的那篇博客,有详尽的讲解,最后,感谢给我灵感的两篇博客,是你们,将我的疑惑得以解答:
https://www.cnblogs.com/fanzhidongyzby/archive/2013/01/14/2859064.html
https://www.cnblogs.com/demian/p/6538301.html