C++Day12 虚拟继承内存布局测试
测试一、虚继承与继承的区别
1.1 单个继承，不带虚函数
1>class B size(8):
1> +---
1> 0 | +--- (base class A)
1> 0 | | _ia //4B
1> | +---
1> 4 | _ib //4B
有两个int类型数据成员，占8B，基类逻辑存在前面
1.2、单个虚继承，不带虚函数
1>class B size(12):
1> +---
1> 0 | {vbptr} //虚基指针（指向虚基表）
1> 4 | _ib //派生类放到前面
1> +---
1> +--- (virtual base A) //虚基类
1> 8 | _ia
1> +---
1>B::$vbtable@: //虚基表
1> 0 | 0 // 虚基指针距离派生类对象偏移0B
1> 1 | 8 (Bd(B+0)A) // 虚基指针向下偏移8B找到虚基类
虚继承多一个虚基指针，共12B，虚拟继承会将派生类的逻辑存到前面；
虚基表中存放的内容：（1）虚基指针距离派生类对象首地址的偏移信息（2）虚基类的偏移信息
测试二、单个虚继承，带虚函数
2.1、单个继承，带虚函数
1>class B size(12):
1> +---
1> 0 | +--- (base class A)
1> 0 | | {vfptr} //虚函数指针
1> 4 | | _ia
1> | +---
1> 8 | _ib
1> +---
1>B::$vftable@: //虚表
1> | &B_meta
1> | 0
1> 0 | &B::f // f 和 fb2 入虚表，fb不是虚函数，不入虚表
1> 1 | &B::fb2 // 派生类新增虚函数直接放在基类虚表中
带虚函数的话，多一个虚函数指针，指向虚表，所以共占12B，派生类新增的虚函数放入基类虚表
2.3、单个虚继承，带虚函数，派生类不新增
8/16
1>class B size(16):
1> +---
1> 0 | {vbptr} //有虚继承的时候就多一个虚基指针，虚基指针指向虚基表
1> 4 | _ib //有虚函数的时候就产生一个虚函数指针，虚函数指针指向虚函数表
1> +---
1> +--- (virtual base A)
1> 8 | {vfptr}
1>12 | _ia
1> +---
1>B::$vbtable@: //虚基表
1> 0 | 0 // 虚基指针距离派生类对象偏移0B
1> 1 | 8 (Bd(B+0)A) // 虚基指针向下偏移8B找到虚基类
1>B::$vftable@: //虚函数表
1> | -8
1> 0 | &B::f
两个 int 型变量，一个虚函数指针，一个虚基指针，共占16B；
虚拟继承使得派生类逻辑存在基类前面；
（虚拟继承后，基类在派生类后面，虚函数指针也在下面，派生类要找到虚函数表，向后偏移8B）
2.2 单个虚继承，带虚函数 （自己新增）
1>class B size(20):
1> +---
1> 0 | {vfptr} //虚函数指针
1> 4 | {vbptr} //虚基指针 （虚继承多一个） {虚拟继承，派生类在前面}
1> 8 | _ib
1> +---
1> +--- (virtual base A)
1>12 | {vfptr} //虚函数指针
1>16 | _ia
1> +---
1>B::$vftable@B@: //虚表
1> | &B_meta
1> | 0
1> 0 | &B::fb2 //派生类新增虚函数，放在最前面，访问新增虚函数快一些，不用偏移 ，多一个虚函数指针，指向新的虚表
1>B::$vbtable@: //虚基表
1> 0 | -4 //虚基指针距离派生类对象首地址的偏移信息
1> 1 | 8 (Bd(B+4)A) //找到虚基类的偏移信息
1>B::$vftable@A@: //虚表
1> | -12
1> 0 | &B::f 基类布局在最后面
派生类中新增一个虚函数指针，指向一张新的虚表，存放派生类新增的虚函数，可以更快的访问到
所以，两个虚函数指针，一个虚基指针，两个int类型变量，共20B
测试三：多重继承（带虚函数）
3.1、普通多重继承，带虚函数，自己有新增虚函数
28 //Base1中 f() g() h() , Base2中 f() g() h() , Base3中 f() g() h() Derived 中 f() g1()
1>class Derived size(28):
1> +---
1> 0 | +--- (base class Base1) //基类有自己的虚函数表，基类的布局按照被继承时的顺序排列
1> 0 | | {vfptr} // 3个虚函数指针指向不同虚表
1> 4 | | _iBase1
1> | +---
1> 8 | +--- (base class Base2)
1> 8 | | {vfptr}
1>12 | | _iBase2
1> | +---
1>16 | +--- (base class Base3)
1>16 | | {vfptr}
1>20 | | _iBase3
1> | +---
1>24 | _iDerived
1> +---
1>Derived::$vftable@Base1@:
1> | &Derived_meta
1> | 0
1> 0 | &Derived::f(虚函数的覆盖) //第一个虚函数表中存放真实的被覆盖的虚函数地址，其他虚函数表中存放跳转地址
1> 1 | &Base1::g
1> 2 | &Base1::h
1> 3 | &Derived::g1 (新的虚函数，直接放在基类之后，加快查找速度)
1>Derived::$vftable@Base2@:
1> | -8
1> 0 | &thunk: this-=8; goto Derived::f //虚函数表还可以存放跳转指令
1> 1 | &Base2::g
1> 2 | &Base2::h
1>Derived::$vftable@Base3@:
1> | -16
1> 0 | &thunk: this-=16; goto Derived::f
1> 1 | &Base3::g
1> 2 | &Base3::h
Base1、Base2、Base3中各有一个虚函数指针指向自己的虚表，有4个int类型的数据成员，共占28B
第一个虚函数表中存放真实的被覆盖的虚函数地址，其他虚函数表中存放跳转地址
3.2、虚拟多重继承，带虚函数，自己有新增虚函数(只有第一个是虚继承)
32 Base1是虚继承
1>class Derived size(32): //多一个虚基指针
1> +---
1> 0 | +--- (base class Base2)
1> 0 | | {vfptr}
1> 4 | | _iBase2
1> | +---
1> 8 | +--- (base class Base3)
1> 8 | | {vfptr}
1>12 | | _iBase3
1> | +---
1>16 | {vbptr}
1>20 | _iDerived
1> +---
1> +--- (virtual base Base1)
1>24 | {vfptr}
1>28 | _iBase1
1> +---
1>Derived::$vftable@Base2@:
1> | &Derived_meta
1> | 0
1> 0 | &Derived::f //第一个虚函数表中存放真实的被覆盖的虚函数地址，其他虚函数表中存放跳转地址
1> 1 | &Base2::g
1> 2 | &Base2::h
1> 3 | &Derived::g1
1>Derived::$vftable@Base3@:
1> | -8 //去找Derived::f
1> 0 | &thunk: this-=8; goto Derived::f
1> 1 | &Base3::g
1> 2 | &Base3::h
1>Derived::$vbtable@: //虚基表
1> 0 | -16
1> 1 | 8 (Derivedd(Derived+16)Base1)
1>Derived::$vftable@Base1@:
1> | -24
1> 0 | &thunk: this-=24; goto Derived::f
1> 1 | &Base1::g
1> 2 | &Base1::h
虚拟继承会将派生类的逻辑存到前面，Base1是虚继承，所以内存中的存放顺序为 Base2、Base3、Derived、Base1
所占空间大小，在上面一个例子基础上，多一个虚基指针，所以占32B
虚基指针向上偏移16B得到派生类对象首地址，向下偏移8B找到虚基类
3.3、虚拟多重继承，带虚函数，自己有新增虚函数(三个都是虚继承)
36
1>class Derived size(36): //多一张虚表
1> +---
1> 0 | {vfptr} //以空间换时间 新增虚函数，多张虚表
1> 4 | {vbptr}
1> 8 | _iDerived
1> +---
1> +--- (virtual base Base1)
1>12 | {vfptr}
1>16 | _iBase1
1> +---
1> +--- (virtual base Base2)
1>20 | {vfptr}
1>24 | _iBase2
1> +---
1> +--- (virtual base Base3)
1>28 | {vfptr}
1>32 | _iBase3
1> +---
1>Derived::$vftable@Derived@:
1> | &Derived_meta
1> | 0
1> 0 | &Derived::g1
1>Derived::$vbtable@:
1> 0 | -4
1> 1 | 8 (Derivedd(Derived+4)Base1) //vbptr偏移8B找到虚基类Base1
1> 2 | 16 (Derivedd(Derived+4)Base2) // vbptr偏移16B找到虚基类Base2
1> 3 | 24 (Derivedd(Derived+4)Base3)
1>Derived::$vftable@Base1@:
1> | -12
1> 0 | &Derived::f
1> 1 | &Base1::g
1> 2 | &Base1::h
1>Derived::$vftable@Base2@:
1> | -20
1> 0 | &thunk: this-=8; goto Derived::f
1> 1 | &Base2::g
1> 2 | &Base2::h
1>Derived::$vftable@Base3@:
1> | -28
1> 0 | &thunk: this-=16; goto Derived::f
1> 1 | &Base3::g
1> 2 | &Base3::h
虚拟继承会将派生类的逻辑存到前面，3个Base都是虚继承，所以内存中的存放顺序为Derived、Base1、 Base2、Base3
在上一个例子的基础上，多一张虚表，所以占36B
测试四、菱形虚继承
4.1、菱形普通继承(存储二义性)
48 B1、B2继承B；D继承B1、B2
class D size(48):
1> +---
1> 0 | +--- (base class B1)
1> 0 | | +--- (base class B)
1> 0 | | | {vfptr}
1> 4 | | | _ib //存储二义性
1> 8 | | | _cb //1
1> | | | <alignment member> (size=3) //内存对齐
1> | | +---
1>12 | | _ib1
1>16 | | _cb1
1> | | <alignment member> (size=3)
1> | +---
1>20 | +--- (base class B2)
1>20 | | +--- (base class B)
1>20 | | | {vfptr}
1>24 | | | _ib //存储二义性
1>28 | | | _cb
1> | | | <alignment member> (size=3)
1> | | +---
1>32 | | _ib2
1>36 | | _cb2
1> | | <alignment member> (size=3)
1> | +---
1>40 | _id
1>44 | _cd
1> | <alignment member> (size=3)
1> +---
1>D::$vftable@B1@:
1> | &D_meta
1> | 0
1> 0 | &D::f
1> 1 | &B::Bf
1> 2 | &D::f1
1> 3 | &B1::Bf1
1> 4 | &D::Df
1>D::$vftable@B2@:
1> | -20
1> 0 | &thunk: this-=20; goto D::f
1> 1 | &B::Bf
1> 2 | &D::f2
1> 3 | &B2::Bf2
B的数据成员有两份，造成了存储二义性，共占48B
4.2、菱形虚拟继承 B1、B2虚拟继承B；D普通继承B1、B2
52
1>class D size(52):
1> +---
1> 0 | +--- (base class B1) //基类B1
1> 0 | | {vfptr}
1> 4 | | {vbptr} // +36 找到虚基类
1> 8 | | _ib1
1>12 | | _cb1
1> | | <alignment member> (size=3)
1> | +---
1>16 | +--- (base class B2) //基类B2
1>16 | | {vfptr}
1>20 | | {vbptr} // +20找到虚基类
1>24 | | _ib2
1>28 | | _cb2
1> | | <alignment member> (size=3)
1> | +---
1>32 | _id //派生类D
1>36 | _cd
1> | <alignment member> (size=3)
1> +---
1> +--- (virtual base B) //基类B
1>40 | {vfptr}
1>44 | _ib
1>48 | _cb
1> | <alignment member> (size=3)
1> +---
1>D::$vftable@B1@:
1> | &D_meta
1> | 0
1> 0 | &D::f1 // D中覆盖了
1> 1 | &B1::Bf1 //新增
1> 2 | &D::Df //D中新增，放到B1的虚函数表中
1>D::$vftable@B2@:
1> | -16
1> 0 | &D::f2 // D中覆盖了
1> 1 | &B2::Bf2 //新增
1>D::$vbtable@B1@:
1> 0 | -4 //距离派生类对象B1首地址偏移 -4
1> 1 | 36 (Dd(B1+4)B)
1>D::$vbtable@B2@:
1> 0 | -4 //距离派生类对象B2首地址偏移 -4
1> 1 | 20 (Dd(B2+4)B)
1>D::$vftable@B@:
1> | -40
1> 0 | &D::f
1> 1 | &B::Bf
B1、B2各有虚基指针
存储顺序本来是：派生类B1、基类B、派生类B2、基类B、派生类D
存储顺序：派生类B1、派生类B2、派生类D、基类B（基类放到后面，解决了存储二义性）
C++Day12 虚拟继承内存布局测试的更多相关文章
- C++类继承内存布局（一）
转自:http://blog.csdn.net/jiangyi711/article/details/4890889# 一 类布局 不同的继承方式将导致不同的内存布局 1)C结构 C++基于C,所以C ...
- C++类继承内存布局（三）
参考:http://blog.csdn.net/jiangyi711/article/details/4890889# (三)成员函数 类X中每一个非静态成员函数都会接受一个特殊的隐藏参数——this ...
- C++类继承内存布局（二）
转自:http://blog.csdn.net/jiangyi711/article/details/4890889# (二 )成员变量 前面介绍完了类布局,接下来考虑不同的继承方式下,访问成员变量的 ...
- C++继承 派生类中的内存布局（单继承、多继承、虚拟继承）
今天在网上看到了一篇写得非常好的文章,是有关c++类继承内存布局的.看了之后获益良多,现在转在我自己的博客里面,作为以后复习之用. ——谈VC++对象模型(美)简.格雷程化 译 译者前言 一个C ...
- C++各种类继承关系的内存布局
body, table{font-family: 微软雅黑; font-size: 10pt} table{border-collapse: collapse; border: solid gray; ...
- C++ 各种继承方式的类内存布局
body, table{font-family: 微软雅黑; font-size: 10pt} table{border-collapse: collapse; border: solid gray; ...
- c++继承中的内存布局
今天在网上看到了一篇写得非常好的文章,是有关c++类继承内存布局的.看了之后获益良多,现在转在我自己的博客里面,作为以后复习之用. ——谈VC++对象模型(美)简.格雷程化 译 译者前言 一个C ...
- c++，为什么要引入虚拟继承
虚拟基类是为解决多重继承而出现的. 以下面的一个例子为例: #include <iostream.h> #include <memory.h> class CA { i ...
- Vc++内存布局
Vc++内存布局 测试平台 Windows server 2012 R2 and visual studio 2013 professional. 本篇文章意在介绍vc++中类的内存布局方式,只是研究 ...
- 继承虚函数浅谈 c++ 类，继承类，有虚函数的类，虚拟继承的类的内存布局，使用vs2010打印布局结果。
本文笔者在青岛逛街的时候突然想到的...最近就有想写几篇关于继承虚函数的笔记,所以回家到之后就奋笔疾书的写出来发布了 应用sizeof函数求类巨细这个问题在很多面试,口试题中很轻易考,而涉及到类的时候 ...
随机推荐
- .net core 配置跨域
使用场景: 由于浏览器的同源策略,即浏览器的安全功能,同源策略会阻止一个域的js脚本和另一个域的内容进行交互. 会出现以下报错: 怎样属于非同源呢? 协议.域名.端口号只要有一个不相同就是属于非同源 ...
- vue中动态引入图片为什么要是require， 你不知道的那些事
相信用过vue的小伙伴,肯定被面试官问过这样一个问题:在vue中动态的引入图片为什么要使用require 有些小伙伴,可能会轻蔑一笑:呵,就这,因为动态添加src被当做静态资源处理了,没有进行编译,所 ...
- 廖---list tuple dic set
list 有序集合,可随时添加和删除其中的数据. 在 Python 列表中删除元素主要分为以下 3 种场景: 根据目标元素所在位置的索引进行删除,可以使用 del 关键字或者 pop() 方法: 根据 ...
- mybatis实现数据行级权限拦截
最近在做一个测试平台,其中有一个需求是用户只能看到他有权限的项目数据.一开始这个需求只针对用例模块,我直接在sql后面加上了关联项目权限表.后面因为其他模块也需要这个权限判断,故打算把关联sql抽取出 ...
- Seata 1.5.2 源码学习（Client端）
在上一篇中通过阅读Seata服务端的代码,我们了解到TC是如何处理来自客户端的请求的,今天这一篇一起来了解一下客户端是如何处理TC发过来的请求的.要想搞清楚这一点,还得从GlobalTransacti ...
- 一个宁静祥和没有bug的下午和SqlSession的故事
1 背景 这是一个安静祥和没有bug的下午.作为一只菜鸡,时刻巩固一下基础还是很有必要的,如此的大好时机,就让我来学习学习mybatis如何使用. 这可和我看到的不一样啊,让我来看看项目里怎么写的. ...
- Day20：继承详解
继承的理解 继承:对类进行抽象化:也就是将存在的类构造成新的类: 比如说学生是一个类,老师是一个类,那么我们可以将学生类和老师类收纳进人这个类:那么学生和老师则为子类(派生类).人为父类(基类):子类 ...
- swap，传参实质
void swap(int a,int b){ int s=a; a=b; b=s; } int main(){ int x=1,y=2; swap(x,y); } 上面的函数并不能实现交换,因为传参 ...
- (Java)设计模式：创建型
前言 这篇内容是从另一篇:UML建模.设计原则 中分离出来的,原本这个创建型设计模式是和其放在一起的 但是:把这篇创建型设计模式放在一起让我贼别扭,看起来贼不舒服,越看念头越不通达,导致老衲躺在床上脑 ...
- Python3.7.3安装TensorFlow和OpenCV3
根据python的版本进行下载相应的文件 一.安装TensorFlow 进入网址https://pypi.org/project/tensorflow/#files下载TensorFlow文件 进入下 ...