虚拟继承对类大小的影响

我在写这篇博客之前,我已经对普通类的对象模型有了一定的了解,普通的类包含虚函数以及多重继承情况下类大小我还是比较明白的,直到当时在做网易的一道实习生招聘的选择题时,又让我对类大小的认知产生了怀疑,因此在看这篇博客之前,假设每个人对普通类的大小如何计算已经很清楚,如果不清楚,请移步我的这一篇博客:

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






  • 7
    点赞
  • 8
    收藏
    觉得还不错? 一键收藏
  • 1
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论 1
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值