C++ 继承之虚继承与普通继承的内存分布
仅供互相学习，请勿喷，有观点欢迎指出~
class A
{
virtual void aa(){};
};
class B : public virtual A
{
char j[]; //加入一个变量是为了看清楚class中的vfptr放在什么位置
public:
virtual void bb(){};
};
class C : public virtual A
{
char i[];
public:
virtual void cc(){};
};
class C1 : public A
{
char i1[];
public:
virtual void cc1(){};
};
class D : public C
{
char d[];
public:
virtual void dd(){};
};
class D1 : public C1
{
char d1[];
public:
virtual void dd1(){};
};
class E : public virtual C
{
char e[];
public:
virtual void ee(){};
};
class E1 : public virtual C1
{
char e1[];
public:
virtual void ee1(){};
};
class F : public C, public virtual B
{
char f[];
public:
virtual void ff(){};
};
class F1 : public virtual C, public B
{
char f1[];
public:
virtual void ff1(){};
};
class G : public virtual E
{
char g[];
public:
virtual void gg(){};
};
class H : public virtual E, public virtual C
{
char h[];
public:
virtual void hh(){};
};
class H1 : public E, public C1
{
char h1[];
public:
virtual void hh1(){};
};
在VS2013下，在项目->属性->C/C++->命令行中添加/d1reportAllClassLayout即可查看所有类的内存分布情况:
> class A size():
> +---
> | {vfptr}
> +---
>
> A::$vftable@:
> | &A_meta
> |
> | &A::aa
>
> A::aa this adjustor:
>
>
> class B size():
> +---
> | {vfptr}
> | {vbptr}
> | j
> | <alignment member> (size=)
> +---
> +--- (virtual base A)
> | {vfptr}
> +---
>
> B::$vftable@B@:
> | &B_meta
> |
> | &B::bb
>
> B::$vbtable@:
> | -
> | (Bd(B+)A)
>
> B::$vftable@A@:
> | -
> | &A::aa
>
> B::bb this adjustor:
>
> vbi: class offset o.vbptr o.vbte fVtorDisp
> A
>
>
> class C size():
> +---
> | {vfptr}
> | {vbptr}
> | i
> | <alignment member> (size=)
> +---
> +--- (virtual base A)
> | {vfptr}
> +---
>
> C::$vftable@C@:
> | &C_meta
> |
> | &C::cc
>
> C::$vbtable@:
> | -
> | (Cd(C+)A)
>
> C::$vftable@A@:
> | -
> | &A::aa
>
> C::cc this adjustor:
>
> vbi: class offset o.vbptr o.vbte fVtorDisp
> A
>
>
> class C1 size():
> +---
> | +--- (base class A)
> | | {vfptr}
> | +---
> | i1
> | <alignment member> (size=)
> +---
>
> C1::$vftable@:
> | &C1_meta
> |
> | &A::aa
> | &C1::cc1
>
> C1::cc1 this adjustor:
>
>
> class D size():
> +---
> | +--- (base class C)
> | | {vfptr}
> | | {vbptr}
> | | i
> | | <alignment member> (size=)
> | +---
> | d
> | <alignment member> (size=)
> +---
> +--- (virtual base A)
> | {vfptr}
> +---
>
> D::$vftable@C@:
> | &D_meta
> |
> | &C::cc
> | &D::dd
>
> D::$vbtable@:
> | -
> | (Dd(C+)A)
>
> D::$vftable@A@:
> | -
> | &A::aa
>
> D::dd this adjustor:
>
> vbi: class offset o.vbptr o.vbte fVtorDisp
> A
>
>
> class D1 size():
> +---
> | +--- (base class C1)
> | | +--- (base class A)
> | | | {vfptr}
> | | +---
> | | i1
> | | <alignment member> (size=)
> | +---
> | d1
> | <alignment member> (size=)
> +---
>
> D1::$vftable@:
> | &D1_meta
> |
> | &A::aa
> | &C1::cc1
> | &D1::dd1
>
> D1::dd1 this adjustor:
>
>
> class E size():
> +---
> | {vfptr}
> | {vbptr}
> | e
> | <alignment member> (size=)
> +---
> +--- (virtual base A)
> | {vfptr}
> +---
> +--- (virtual base C)
> | {vfptr}
> | {vbptr}
> | i
> | <alignment member> (size=)
> +---
>
> E::$vftable@:
> | &E_meta
> |
> | &E::ee
>
> E::$vbtable@E@:
> | -
> | (Ed(E+)A)
> | (Ed(E+)C)
>
> E::$vftable@A@:
> | -
> | &A::aa
>
> E::$vftable@C@:
> | -
> | &C::cc
>
> E::$vbtable@C@:
> | -
> | - (Ed(C+)A)
>
> E::ee this adjustor:
>
> vbi: class offset o.vbptr o.vbte fVtorDisp
> A
> C
>
>
> class E1 size():
> +---
> | {vfptr}
> | {vbptr}
> | e1
> | <alignment member> (size=)
> +---
> +--- (virtual base C1)
> | +--- (base class A)
> | | {vfptr}
> | +---
> | i1
> | <alignment member> (size=)
> +---
>
> E1::$vftable@E1@:
> | &E1_meta
> |
> | &E1::ee1
>
> E1::$vbtable@:
> | -
> | (E1d(E1+)C1)
>
> E1::$vftable@C1@:
> | -
> | &A::aa
> | &C1::cc1
>
> E1::ee1 this adjustor:
>
> vbi: class offset o.vbptr o.vbte fVtorDisp
> C1
>
>
> class F size():
> +---
> | +--- (base class C)
> | | {vfptr}
> | | {vbptr}
> | | i
> | | <alignment member> (size=)
> | +---
> | f
> | <alignment member> (size=)
> +---
> +--- (virtual base A)
> | {vfptr}
> +---
> +--- (virtual base B)
> | {vfptr}
> | {vbptr}
> | j
> | <alignment member> (size=)
> +---
>
> F::$vftable@C@:
> | &F_meta
> |
> | &C::cc
> | &F::ff
>
> F::$vbtable@C@:
> | -
> | (Fd(C+)A)
> | (Fd(F+)B)
>
> F::$vftable@A@:
> | -
> | &A::aa
>
> F::$vftable@B@:
> | -
> | &B::bb
>
> F::$vbtable@B@:
> | -
> | - (Fd(B+)A)
>
> F::ff this adjustor:
>
> vbi: class offset o.vbptr o.vbte fVtorDisp
> A
> B
>
>
> class F1 size():
> +---
> | +--- (base class B)
> | | {vfptr}
> | | {vbptr}
> | | j
> | | <alignment member> (size=)
> | +---
> | f1
> | <alignment member> (size=)
> +---
> +--- (virtual base A)
> | {vfptr}
> +---
> +--- (virtual base C)
> | {vfptr}
> | {vbptr}
> | i
> | <alignment member> (size=)
> +---
>
> F1::$vftable@B@:
> | &F1_meta
> |
> | &B::bb
> | &F1::ff1
>
> F1::$vbtable@B@:
> | -
> | (F1d(B+)A)
> | (F1d(F1+)C)
>
> F1::$vftable@A@:
> | -
> | &A::aa
>
> F1::$vftable@C@:
> | -
> | &C::cc
>
> F1::$vbtable@C@:
> | -
> | - (F1d(C+)A)
>
> F1::ff1 this adjustor:
>
> vbi: class offset o.vbptr o.vbte fVtorDisp
> A
> C
>
>
> class G size():
> +---
> | {vfptr}
> | {vbptr}
> | g
> | <alignment member> (size=)
> +---
> +--- (virtual base A)
> | {vfptr}
> +---
> +--- (virtual base C)
> | {vfptr}
> | {vbptr}
> | i
> | <alignment member> (size=)
> +---
> +--- (virtual base E)
> | {vfptr}
> | {vbptr}
> | e
> | <alignment member> (size=)
> +---
>
> G::$vftable@G@:
> | &G_meta
> |
> | &G::gg
>
> G::$vbtable@:
> | -
> | (Gd(G+)A)
> | (Gd(G+)C)
> | (Gd(G+)E)
>
> G::$vftable@A@:
> | -
> | &A::aa
>
> G::$vftable@C@:
> | -
> | &C::cc
>
> G::$vbtable@C@:
> | -
> | - (Gd(C+)A)
>
> G::$vftable@E@:
> | -
> | &E::ee
>
> G::$vbtable@E@:
> | -
> | - (Gd(E+)A)
> | - (Gd(E+)C)
>
> G::gg this adjustor:
>
> vbi: class offset o.vbptr o.vbte fVtorDisp
> A
> C
> E
>
>
> class H size():
> +---
> | {vfptr}
> | {vbptr}
> | h
> | <alignment member> (size=)
> +---
> +--- (virtual base A)
> | {vfptr}
> +---
> +--- (virtual base C)
> | {vfptr}
> | {vbptr}
> | i
> | <alignment member> (size=)
> +---
> +--- (virtual base E)
> | {vfptr}
> | {vbptr}
> | e
> | <alignment member> (size=)
> +---
>
> H::$vftable@H@:
> | &H_meta
> |
> | &H::hh
>
> H::$vbtable@:
> | -
> | (Hd(H+)A)
> | (Hd(H+)C)
> | (Hd(H+)E)
>
> H::$vftable@A@:
> | -
> | &A::aa
>
> H::$vftable@C@:
> | -
> | &C::cc
>
> H::$vbtable@C@:
> | -
> | - (Hd(C+)A)
>
> H::$vftable@E@:
> | -
> | &E::ee
>
> H::$vbtable@E@:
> | -
> | - (Hd(E+)A)
> | - (Hd(E+)C)
>
> H::hh this adjustor:
>
> vbi: class offset o.vbptr o.vbte fVtorDisp
> A
> C
> E
>
>
> class H1 size():
> +---
> | +--- (base class E)
> | | {vfptr}
> | | {vbptr}
> | | e
> | | <alignment member> (size=)
> | +---
> | +--- (base class C1)
> | | +--- (base class A)
> | | | {vfptr}
> | | +---
> | | i1
> | | <alignment member> (size=)
> | +---
> | h1
> | <alignment member> (size=)
> +---
> +--- (virtual base A)
> | {vfptr}
> +---
> +--- (virtual base C)
> | {vfptr}
> | {vbptr}
> | i
> | <alignment member> (size=)
> +---
>
> H1::$vftable@E@:
> | &H1_meta
> |
> | &E::ee
> | &H1::hh1
>
> H1::$vftable@C1@:
> | -
> | &A::aa
> | &C1::cc1
>
> H1::$vbtable@E@:
> | -
> | (H1d(E+)A)
> | (H1d(E+)C)
>
> H1::$vftable@A@:
> | -
> | &A::aa
>
> H1::$vftable@C@:
> | -
> | &C::cc
>
> H1::$vbtable@C@:
> | -
> | - (H1d(C+)A)
>
> H1::hh1 this adjustor:
>
> vbi: class offset o.vbptr o.vbte fVtorDisp
> A
> C
总结出单继承内存分布大致如下：
- 普通继承情况下，先父类元素后子类元素，若父类元素本身也是从某个爷爷类继承而来：父类是虚继承而来，则先父后子再爷爷（其实这个分布是满足规则2的）,即爷爷放在最后；父类是普通继承而来，先爷爷后父再子，即爷爷放在前面。
- 虚继承情况下，先子类元素后父类元素，如果父类元素本身也是从某个爷爷类继承（不论是虚继承还是普通继承）而来，则父类由类的深到浅依次分布（先爷爷后父，爷爷在子和父之间）。
多继承的内存分布情况如下：
- 虚继承和普通继承同时存在的情况下，先进行普通继承，再进行虚继承。
- 继承都是虚继承或者普通继承的时候，按照从左到右声明顺序进行继承，注意，都是虚继承的话，如果继承的相同的类，这个类只会在最先出现的地方出现一次而已；如果是普通继承，相同的类会多次出现。
总之，先满足基本的父子类分布情况，如果父类还有更深层次的基类，这些基类再依据普通继承和虚继承的情况进行内存分布（即红字标注部分）。另外，具体内存分布情况会不会还与编译环境有关就不得而知了，至少sizeof类的大小是会与编译环境有关的（http://www.cnblogs.com/yanqi0124/p/3829964.html文章最后对比了gcc和VC下sizeof的不同，因为对虚表指针的处理方式不同）
根据上述解释，就能解释程序员面试宝典中的一题：
class A
{
virtual aa(){};
};
class B : public virtual A
{
char j[]; //加入一个变量是为了看清楚class中的vfptr放在什么位置
public:
virtual bb(){};
};
class C : public virtual B
{
char i[];
public:
virtual cc(){};
};
C++ 继承之虚继承与普通继承的内存分布的更多相关文章
- c++内存分布之虚函数（单一继承）
系列 c++内存分布之虚函数(单一继承) [本文] c++内存分布之虚函数(多继承) 结论 1.虚函数表指针 和 虚函数表 1.1 影响虚函数表指针个数的因素只和派生类的父类个数有关.多一个父类,派生 ...
- c++内存分布之虚析构函数
关于 本文代码演示环境: VS2017+32程序 虚析构函数是一种特殊的虚函数,可以知道,虚函数影响的内存分布规律应该也适用虚析构函数.看看实际结果. Note,一个类中,虚析构函数只能有一个. 本文 ...
- 【C++】继承（虚基类）
类的继承与派生 面向对象技术强调软件的可重用性,这种重用性通过继承机制来实现.而在类的继承过程中,被重用的原有类称为基类,新创建的类称为派生类.派生类定义语法格式如下: class <派生类名& ...
- C++浅析——继承类内存分布和虚析构函数
继承类研究 1. Code 1.1 Cbase, CTEST为基类,CTest2为其继承类,并重新申明了基类中的同名变量 class CBase { public: int Data; CBase() ...
- c/c++: c++继承 内存分布 虚表 虚指针 （转）
http://www.cnblogs.com/DylanWind/archive/2009/01/12/1373919.html 前部分原创,转载请注明出处,谢谢! class Base { pu ...
- C++对象模型：单继承，多继承，虚继承
什么是对象模型 有两个概念可以解释C++对象模型: 语言中直接支持面向对象程序设计的部分.对于各种支持的底层实现机制. 类中成员分类 数据成员分为静态和非静态,成员函数有静态非静态以及虚函数 clas ...
- C++ 多继承和虚继承的内存布局（转）
转自:http://www.oschina.net/translate/cpp-virtual-inheritance 警告. 本文有点技术难度,需要读者了解C++和一些汇编语言知识. 在本文中,我们 ...
- 从零开始学C++之虚继承和虚函数对C++对象内存模型造成的影响
首先重新回顾一下关于类/对象大小的计算原则: 类大小计算遵循结构体对齐原则 第一个数据成员放在offset为0的位置 其它成员对齐至min(sizeof(member),#pragma pack(n) ...
- C++在单继承、多继承、虚继承时，构造函数、复制构造函数、赋值操作符、析构函数的执行顺序和执行内容
一.本文目的与说明 1. 本文目的:理清在各种继承时,构造函数.复制构造函数.赋值操作符.析构函数的执行顺序和执行内容. 2. 说明:虽然复制构造函数属于构造函数的一种,有共同的地方,但是也具有一定的 ...
随机推荐
- 4.0 spring-注册解析的Bean
1.0 registerBeanDefinition 对于配置文件,解析也解析完了,装饰也装饰完了,对于得到的BeanDefinition已经可以满足后续的使用了,唯一剩下的工作就是注册了, 也就是: ...
- iOS 屏幕旋转 nav＋tabbar+present(网页) 2016
如题,最近一个app架构为 nav + tabbar ,需求是 在点击tabbar中的一个菜单项时,弹出网页,该网页需要横屏显示,其他页面不变 都保持竖屏. XCode Version 7.2.1 ...
- JAVA面试题：69道Spring面试题和答案
目录 Spring 概述 依赖注入 Spring beans Spring注解 Spring数据访问 Spring面向切面编程(AOP) Spring MVC Spring 概述 1. 什么是spri ...
- [itint5]单词变换
http://www.itint5.com/oj/#42 基本上就是word ladder.直接来BFS,记录前驱. vector<string> transform(set<str ...
- 算法总结之欧拉函数&中国剩余定理
算法总结之欧拉函数&中国剩余定理 1.欧拉函数 概念:在数论,对正整数n,欧拉函数是少于或等于n的数中与n互质的数的数目. 通式:φ(x)=x(1-1/p1)(1-1/p2)(1-1/p3)( ...
- ASP.NET树形控件TreeView的递归绑定
来自:http://blog.csdn.net/xqf003/article/details/4958727
- matlab 设置横纵坐标刻度的字体！！
set(gca,'FontSize',16) %%设置横纵坐标字体的大小
- PHP session过期时间
如何设置一个严格30分钟过期的Session 今天在我的微博(Laruence)上发出一个问题: 我在面试的时候, 经常会问一个问题: “如何设置一个30分钟过期的Session?”, 大家不要觉得看 ...
- SOA基础
每个系统上都有多种业务逻辑,这就像在一个小超市中,一个人负责收银.清洁.摆货.咨询等各种各样的事情,当来超市的顾客多到一定程度,这个人就没办法再负责这么多的事情了,系统也同样如此. 第一个现象就是系统 ...
- Linux内核与根文件系统的关系1
Linux内核与根文件系统的关系开篇题外话:对于Linux初学者来说,这是一个很纠结的问题,但这也是一个很关键的问题!一语破天机: “尽管内核是 Linux 的核心,但文件却是用户与操作系统交互所采用 ...