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. 说明:虽然复制构造函数属于构造函数的一种,有共同的地方,但是也具有一定的 ...
随机推荐
- 1059: [ZJOI2007]矩阵游戏 - BZOJ
Description 小Q是一个非常聪明的孩子,除了国际象棋,他还很喜欢玩一个电脑益智游戏——矩阵游戏.矩阵游戏在一个N*N黑白方阵进行(如同国际象棋一般,只是颜色是随意的).每次可以对该矩阵进行两 ...
- 入侵HP打印机的文件系统
计算机入侵可听多了,然而打印机入侵相信大家可很少听过吧.如今,很大一部分的打印机已经网络化了,能入侵和控制打印机不仅能用来进行DDOS,而内部的文件系统更是绝好的秘密文件收藏空间.现在就来谈谈如何入侵 ...
- 用printf做彩色日志记录
写了一个简单的程序,但是考虑到有一些信息是需要打印在控制台上的,就像在windows上启动apache tomcat时控制台显示的信息一样.琢磨一会儿之后,对printf进行了封装,支持控制台打印日志 ...
- 如何将DJANGO轻量级化
看看这本书,应该有收获. 不用DJANGO-ADMIN STARTPROJECT XXX 一个文件,一样可以写出可以运行的原生DJANGO哟. import hashlib import sys im ...
- zoj 3329 One Person Game 概率DP
思路:这题的递推方程有点麻烦!! dp[i]表示分数为i的期望步数,p[k]表示得分为k的概率,p0表示回到0的概率: dp[i]=Σ(p[k]*dp[i+k])+dp[0]*p0+1 设dp[i]= ...
- linux pts/0的含义
pts是所谓的伪终端或虚拟终端,具体表现就是你打开一个终端,这个终端就叫pts/0,如果你再打开一个终端,这个新的终端就叫pts /1.比如用who命令查询当前登录的用户,可以看到每个用户的TTY设备 ...
- 李洪强iOS开发之宏定义方法来初始化一个单例对象
单例的使用: .m 为了方便实用,只要将以下代码定义在header文件或者.pch文件即可: // .h #define singleton_interface(class) + (instancet ...
- ArcGIS Engine 几何对象和WKB的转换
using System; using System.Collections.Generic; using System.Text; using GisSharpBlog.NetTopologySui ...
- Hbase二级索引
http://blog.sina.com.cn/s/blog_4a1f59bf01018apd.html
- Pomelo服务器琐碎方法
1.获取客户端ip地址:session__session__.__socket__remoteAddress.ip 2.日志文件无法打印到文件,删除node_modules/pomelo/node_m ...