C++ 继承之虚继承与普通继承的内存分布

时间:2022-08-30 19:17:24
仅供互相学习,请勿喷,有观点欢迎指出~
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
  总结出单继承内存分布大致如下:
  1. 普通继承情况下,先父类元素后子类元素,若父类元素本身也是从某个爷爷类继承而来:父类是虚继承而来,则先父后子再爷爷(其实这个分布是满足规则2的),即爷爷放在最后;父类是普通继承而来,先爷爷后父再子,即爷爷放在前面。
  2. 虚继承情况下,先子类元素后父类元素,如果父类元素本身也是从某个爷爷类继承(不论是虚继承还是普通继承)而来,则父类由类的深到浅依次分布(先爷爷后父,爷爷在子和父之间)。

  多继承的内存分布情况如下:

  1. 虚继承和普通继承同时存在的情况下,先进行普通继承,再进行虚继承。
  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++ 继承之虚继承与普通继承的内存分布的更多相关文章

  1. c&plus;&plus;内存分布之虚函数(单一继承)

    系列 c++内存分布之虚函数(单一继承) [本文] c++内存分布之虚函数(多继承) 结论 1.虚函数表指针 和 虚函数表 1.1 影响虚函数表指针个数的因素只和派生类的父类个数有关.多一个父类,派生 ...

  2. c&plus;&plus;内存分布之虚析构函数

    关于 本文代码演示环境: VS2017+32程序 虚析构函数是一种特殊的虚函数,可以知道,虚函数影响的内存分布规律应该也适用虚析构函数.看看实际结果. Note,一个类中,虚析构函数只能有一个. 本文 ...

  3. 【C&plus;&plus;】继承(虚基类)

    类的继承与派生 面向对象技术强调软件的可重用性,这种重用性通过继承机制来实现.而在类的继承过程中,被重用的原有类称为基类,新创建的类称为派生类.派生类定义语法格式如下: class <派生类名& ...

  4. C&plus;&plus;浅析——继承类内存分布和虚析构函数

    继承类研究 1. Code 1.1 Cbase, CTEST为基类,CTest2为其继承类,并重新申明了基类中的同名变量 class CBase { public: int Data; CBase() ...

  5. c&sol;c&plus;&plus;&colon; c&plus;&plus;继承 内存分布 虚表 虚指针 (转)

    http://www.cnblogs.com/DylanWind/archive/2009/01/12/1373919.html 前部分原创,转载请注明出处,谢谢! class Base  {  pu ...

  6. C&plus;&plus;对象模型:单继承,多继承,虚继承

    什么是对象模型 有两个概念可以解释C++对象模型: 语言中直接支持面向对象程序设计的部分.对于各种支持的底层实现机制. 类中成员分类 数据成员分为静态和非静态,成员函数有静态非静态以及虚函数 clas ...

  7. C&plus;&plus; 多继承和虚继承的内存布局(转)

    转自:http://www.oschina.net/translate/cpp-virtual-inheritance 警告. 本文有点技术难度,需要读者了解C++和一些汇编语言知识. 在本文中,我们 ...

  8. 从零开始学C&plus;&plus;之虚继承和虚函数对C&plus;&plus;对象内存模型造成的影响

    首先重新回顾一下关于类/对象大小的计算原则: 类大小计算遵循结构体对齐原则 第一个数据成员放在offset为0的位置 其它成员对齐至min(sizeof(member),#pragma pack(n) ...

  9. C&plus;&plus;在单继承、多继承、虚继承时,构造函数、复制构造函数、赋值操作符、析构函数的执行顺序和执行内容

    一.本文目的与说明 1. 本文目的:理清在各种继承时,构造函数.复制构造函数.赋值操作符.析构函数的执行顺序和执行内容. 2. 说明:虽然复制构造函数属于构造函数的一种,有共同的地方,但是也具有一定的 ...

随机推荐

  1. java输入一个字符串,打印出该字符串中字符的所有排列&comma;随机打乱排序

    import java.util.ArrayList;import java.util.Collections;import java.util.List; public class Test7{   ...

  2. 异步JS:&dollar;&period;Deferred的使用

    异步JS:$.Deferred的使用 原文链接:http://www.html5rocks.com/en/tutorials/async/deferred/ 当我们构建一个平稳的,响应式的HTML5应 ...

  3. 索引节点inode

    在Linux的文件系统中,索引节点是文件的标识,并且这个值是唯一的,两个不同的文件的索引节点值是不同的,索引节点相同的文件它们的内容是相同的,仅仅文件名不同.修改两个索引节点值相同的文件中的一个文件, ...

  4. stm32内部的CAN总线

    功能概述: bxCAN是基本扩展CAN(Basic Extended CAN)的缩写,它支持CAN协议2.0A和2.0B:它的设计目标是以最小的CPU负载来高效处理大量的报文.它也支持报文发送的优先级 ...

  5. 身份认证功能chiro的使用

    package com.cun;import org.apache.shiro.SecurityUtils;import org.apache.shiro.authc.*;import org.apa ...

  6. 3&period;基于梯度的攻击——PGD

    PGD攻击原论文地址——https://arxiv.org/pdf/1706.06083.pdf 1.PGD攻击的原理 PGD(Project Gradient Descent)攻击是一种迭代攻击,可 ...

  7. 解决Windows下Tomcat控制台中文乱码

    找到${CATALINA_HOME}/conf/logging.properties 添加语句:java.util.logging.ConsoleHandler.encoding = GBK 重启to ...

  8. &period;net判断当前时间是否在工作时间段内

    整理代码,判断当前时间是否在配置的工作时间段内,代码如下: public static bool getTimeSpan(string _strWorkingDayAM, string _strWor ...

  9. 【转】JMeter学习参数化User Defined Variables与User Parameters

    偶然发现JMeter中有两个元件(User Defined Variables与User Parameters)很相近,刚开始时我也没注意,两者有什么不同.使用时却发现两者使用场景有些不同,现在小结一 ...

  10. nginx正向代理访问百度地图API

    正向代理的概念 正向代理,也就是传说中的代理,他的工作原理就像一个跳板,简单的说,我是一个用户,我访问不了某网站,但是我能访问一个代理服务器这个代理服务器呢,他能访问那个我不能访问的网站于是我先连上代 ...