• linkedu视频
  • 平面设计
  • 电脑入门
  • 操作系统
  • 办公应用
  • 电脑硬件
  • 动画设计
  • 3D设计
  • 网页设计
  • CAD设计
  • 影音处理
  • 数据库
  • 程序设计
  • 认证考试
  • 信息管理
  • 信息安全
菜单
linkedu.com
  • 网页制作
  • 数据库
  • 程序设计
  • 操作系统
  • CMS教程
  • 游戏攻略
  • 脚本语言
  • 平面设计
  • 软件教程
  • 网络安全
  • 电脑知识
  • 服务器
  • 视频教程
  • JavaScript
  • ASP.NET
  • PHP
  • 正则表达式
  • AJAX
  • JSP
  • ASP
  • Flex
  • XML
  • 编程技巧
  • Android
  • swift
  • C#教程
  • vb
  • vb.net
  • C语言
  • Java
  • Delphi
  • 易语言
  • vc/mfc
  • 嵌入式开发
  • 游戏开发
  • ios
  • 编程问答
  • 汇编语言
  • 微信小程序
  • 数据结构
  • OpenGL
  • 架构设计
  • qt
  • 微信公众号
您的位置:首页 > 程序设计 >C语言 > 浅谈C++中派生类对象的内存布局

浅谈C++中派生类对象的内存布局

作者: 字体:[增加 减小] 来源:互联网 时间:2017-05-28

通过本文主要向大家介绍了c++派生类,c++派生类构造函数,c++继承与派生,c++类的继承与派生,c++继承与派生实例等相关知识,希望对您有所帮助,也希望大家支持linkedu.com www.linkedu.com

主要从三个方面来讲:

  1 单一继承

  2 多重继承

  3 虚拟继承

1 单一继承

(1)派生类完全拥有基类的内存布局,并保证其完整性。

派生类可以看作是完整的基类的Object再加上派生类自己的Object。如果基类中没有虚成员函数,那么派生类与具有相同功能的非派生类将不带来任何性能上的差异。另外,一定要保证基类的完整性。实际内存布局由编译器自己决定,VS里,把虚指针放在最前边,接着是基类的Object,最后是派生类自己的object。举个栗子:

class A
{
  int b;
  char c;
};
class A1 :public A
{
    char a;
};
int main()
{
  cout << sizeof(A) << " " << sizeof(A1) << endl;
  return 0;
}
</div>

输出是什么?

答案:

8 12

A类的话,一个int,一个char,5B,内存对齐一下,8B。A1的话,一个int,两个char,内存对齐一下,也是8B。不对吗?

我说了,要保证基类对象的完整性。那么一定要保证A1类前面的几个字节一定要与A类完全一样。也就是说,A类作为内存补齐的3个字节也是要出现在A1里面的。也就是说,A类是这样的:int(4B)+char(1B)+padding(3B)=8B,A1类:int(4B)+char(1B)+padding(3B)+char(1B)+padding(3B)=12B。

(2)虚指针怎么处理?

还是视编译器而定,VS是永远把vptr放在对象的最前边。如果基类中含有虚函数,那么处理情况与上边一样。可是,如果基类中没有虚函数而派生类有的话,那么如果把vptr放在派生类的前边的话,将会导致派生类中基类成分并不在最前边。这将带来什么问题呢?举栗:假设A不含虚,而A1含。

A *pA;
A1 obj_A1;
pA=&obj_A1;
</div>

如果A1完全包含A并且A位于A1的最前边,那么编译器只需要把&obj_A1直接赋给pA就可以了。如果不是呢?编译器就需要把&obj_A1+sizeof(vptr)赋给pA了。

2 多重继承

说结论:VS的内存布局是按照声明顺序排列内存。再举个栗子:

class point2d
{
public:
  virtual ~point2d(){};
  float x;
  float y;
};
class point3d :public point2d
{
  ~point3d(){};
  float z;
};
class vertex
{
public:
  virtual ~vertex(){};
  vertex* next;
};
class vertex3d :public point3d, public vertex
{
  float bulabula;
};


int _tmain(int argc, _TCHAR* argv[])
{
  cout << sizeof(point2d) << " " << sizeof(point3d) << " " << sizeof(vertex) << " " << sizeof(vertex3d) << endl;
  return 0;
}
</div>

输出: 12 16 8 24。

内存布局:

point2d: vptr(4)+x(4)+y(4)=12B

point3d: vptr+x+y+z=16B

vertex: vptr+next=8B

vertex3d: vptr+x+y+z+vptr+next+bulabula=28B

为什么需要多个虚指针?请往下看。

3 虚拟继承

(1)为什么要有“虚继承”这样的机制?

简单讲,虚继承是为也防止“diamond”继承所带来的问题。也就是类A1、A2都继承于A,类B又同时继承于A1、A2。这样一来,类B中就有两份类A的成员了,这样的程序无法通过编译。我们改成这样的形式:

class A
{
public:
  int a;
  virtual ~A(); 
  virtual void fun(){cout<<"A"<<endl;}
};
class A1 :public virtual A
{
public:
  int a1;
  virtual void fun(){cout<<"A1"<<endl;}
};
class A2 :public virtual A
{
public:
  int a2;
  virtual void fun(){cout<<"A2"<<endl;}
}; 

class B :public A1,public A2 {
public:
  int b;
  virtual void fun(){cout<<"B"<<endl;}
  virtual void funB(){};
};
</div>

这样就能防止这样的事情发生。

(2)虚拟继承与普通继承的区别:

普通继承使得派生类每继承一个基类便拥有一份基类的成员。而虚拟继承会把通过虚拟继承的那一部分,放在对象的最后。从而使得只拥有一份基类中的成员。虚拟对象的偏移量被保存在Derived类的vtbl的this指向的上一个slot。比较难理解。下面我给你个栗子。

(3)虚拟继承的内存布局:

每个派生类会把其不变部分放在前面,共享部分放在后面。

上面四个类的大小是怎样的呢?

int _tmain(int argc, _TCHAR* argv[])
{
  cout << sizeof(A) << " " << sizeof(A1) << " " << sizeof(A2) << " " << sizeof(B) << endl;
  return 0;
}
</div>

输出:8 16 16 28

内存布局:

    A: vptr+a=8B

    A1: vptr+a1+vptrA+a=16B

    A2: vptr+a2+vptrA+a=16B

    A3: vptr+a1+vptrA2+a2+b+vptrA+a=28B

上个草图:

那究竟为什么需要多个虚指针?将对象内存布局和虚表结构搞清楚之后,答案是不是呼之欲出呢?

是的,因为这样可以保证在将子类指针/引用转换成基类指针时编译器可以直接根据对像的内存布局进行偏移,从而使得指向的第一个内容为虚指针,进而实现多态(根据静态类型执行相应动作)。

以上就是小编为大家带来的浅谈C++中派生类对象的内存布局全部内容了,希望大家多多支持~

</div>
分享到:QQ空间新浪微博腾讯微博微信百度贴吧QQ好友复制网址打印

您可能想查找下面的文章:

  • C++派生访问说明符小记(推荐)
  • C++ 类中有虚函数(虚函数表)时 内存分布详解
  • 浅谈C++中派生类对象的内存布局
  • C++聚合关系类的构造函数的调用顺序详解
  • 解析C++中多层派生时的构造函数及一些特殊形式
  • 深入解析C++中派生类的构造函数
  • 深入分析C++派生类中的保护成员继承
  • 解析C++中派生的概念以及派生类成员的访问属性
  • 解读C++编程中派生类的构成和创建
  • c++制作的时间函数类

相关文章

  • 2017-05-28C语言解3元1次方程组 用初中学的最基本的联合消元法
  • 2017-05-28C语言二进制思想以及数据的存储
  • 2017-05-28Cocos2d-x保存用户游戏数据CCUserDefault类使用实例
  • 2017-05-28判断指定的进程或程序是否存在方法小结(vc等)
  • 2017-05-28Cocos2d-x中CCEditBox文本输入框的使用实例
  • 2017-05-28求斐波那契(Fibonacci)数列通项的七种实现方法
  • 2017-05-28解析C++编程中的bad_cast异常
  • 2017-05-28C++ const引用、临时变量 引用参数详解
  • 2017-05-28深入二叉树两个结点的最低共同父结点的详解
  • 2017-05-28c语言实现二叉查找树实例方法

文章分类

  • JavaScript
  • ASP.NET
  • PHP
  • 正则表达式
  • AJAX
  • JSP
  • ASP
  • Flex
  • XML
  • 编程技巧
  • Android
  • swift
  • C#教程
  • vb
  • vb.net
  • C语言
  • Java
  • Delphi
  • 易语言
  • vc/mfc
  • 嵌入式开发
  • 游戏开发
  • ios
  • 编程问答
  • 汇编语言
  • 微信小程序
  • 数据结构
  • OpenGL
  • 架构设计
  • qt
  • 微信公众号

最近更新的内容

    • 详解C++中如何将构造函数或析构函数的访问权限定为private
    • 浅析c#中如何在form的webbrowser控件中获得鼠标坐标
    • qt实现倒计时示例
    • 利用C语言实现顺序表的实例操作
    • 深入内存对齐的详解
    • 判断给定的图是不是有向无环图实例代码
    • C++之boost::array的用法
    • C语言金币阵列问题解决方法
    • C语言判断回文数的小例子
    • C++采用openfilename打开文件对话框用法实例

关于我们 - 联系我们 - 免责声明 - 网站地图

©2020-2025 All Rights Reserved. linkedu.com 版权所有