C++对象模型与内存位对齐的简单分析(GNU GCC&VS2015编译器)
以Fruit和Apple为例进行分析:
Fruit和Apple的定义如下:
通过在两种编译环境下的测试(GNU GCC & VS2015),可以发现这两种编译器的对象模型是一样的,如下图所示:
Apple是Fruit的子类,此为两级的单链继承结构。在Apple和Fruit对象内部,均遵循以下原则:
- 对象中的第一个成员是指向虚表的虚指针;
- 对象是按照声明中的顺序被保存的;
然而,两种编译器的内存的位对齐方式略有不同。
对于GNU GCC编译器而言,其遵循以下的原则:
- 按声明中出现的顺序进行内存分配
- 变量的起始偏移地址必须是自己大小的倍数,例如在struct{bool a;double b;}中,a占1个字节,然而b的大小是8个字节,因此b必须从编译地址为8的位置看是,也就是说,a和b要空7个字节。其之所以这样设计,是因为在读取一个变量时,这种方式读取可以使cache速度更快。
- 如果类中存在虚函数,在对象的起始处会有虚指针。
- 在所有变量的内存分配结束后,对象要填补成内存中的最大的基本类型变量的倍数。例如,如果一个类中最大的基本类型是double,那么它最后需要填补成8的整数倍。
还有三个特点在Fruit和Apple的关系中没有涉及到,他们是:
- 多重继承的情况下,在每个基类的前边上会有不同的vptr;
- 如果在派生类中存在新的虚函数,则会产生一个兼容基类的虚表,而不会添加新的表;
- 组合关系时,内部类的起始地址应从内部类的最大的基本数据类型的整数倍处开始。
综合前4个特点,可以计算得到在GNU GCC的编译环境下,Fruit的大小是(4+4+8+(1+7))=24Bytes; Apple的大小是(24+4+(1+3))=32Bytes,如下图:
然而,在VS2015的编译环境下,虚指针位对齐的方式是不同的。VS2015中要求数据成员的起始地址也必须是内部最大基本数据类型的整数倍,也就是说,在虚指针和数据成员之间必须存在4个占位字节,因此Fruit的大小是((4+4)+(4+4)+8+(1+7))=32Bytes;而Apple的大小是(32+4+(1+4))=40;
如图所示,尽管指针变量的大小为4字节,no的偏移量仍然是从8开始的。
Apple的内存截图如下:
前32个字节:
后8个字节:
其中,0x649bfb00位虚指针地址,0xcc为占位符,第一个0xffffffff为no,0x0000000000000000为weight,0x01为key。
注:如果将double变量删去,则第一个数据成员从4开始,也就是说Fruit的大小应该变为(4+4+(1+3))=12,如图:
内存分配图如下:
这验证了VS2015编译器的额外条件。
C++对象模型与内存位对齐的简单分析(GNU GCC&VS2015编译器)的更多相关文章
- 20135337——Linux实践三:ELF文件格式(64位系统,简单分析)
ELF文件格式简单分析 (具体分析见上一篇ELF文件格式32位系统) ELF-header 第一行: 457f 464c :魔数: 0201 :64位系统,小端法 01 :文件头版本 剩余默认0: 第 ...
- glibc内存泄露以及TCmalloc 简单分析
最近开发一个私人程序时碰到了严重的内存问题,具体表现为:进程占用的内存会随着访问高峰不断上升,直到发生OOM被kill为止.我们使用valgrind等工具进行检查发现程序并无内存泄露,经过仔细调查我们 ...
- C语言精要总结-内存地址对齐与struct大小判断篇
在笔试时,经常会遇到结构体大小的问题,实际就是在考内存地址对齐.在实际开发中,如果一个结构体会在内存中高频地分配创建,那么掌握内存地址对齐规则,通过简单地自定义对齐方式,或者调整结构体成员的顺序,可以 ...
- windows和Linux内存的对齐方式
一.内存对齐的初步解说 内存对齐能够用一句话来概括: "数据项仅仅能存储在地址是数据项大小的整数倍的内存位置上" 比如int类型占用4个字节,地址仅仅能在0,4,8等位置上. 例1 ...
- c语言,内存字节对齐
引用:内存字节对齐 写出一个struct,然后sizeof,你会不会经常对结果感到奇怪?sizeof的结果往往都比你声明的变量总长度要大,这是怎么回事呢?讲讲字节对齐吧. /************* ...
- FFmpeg源代码简单分析:内存的分配和释放(av_malloc()、av_free()等)
===================================================== FFmpeg的库函数源代码分析文章列表: [架构图] FFmpeg源代码结构图 - 解码 F ...
- C++:struct和union 内存字节对齐问题
转自:http://blog.csdn.net/wangyanguiyiyang/article/details/53312049 struct内存对齐问题 1:数据成员对齐规则:结构(struct) ...
- C语言中的按位移动及其简单引用
C语言中的按位移动及其简单应用 在C语言中按位左移用”<<”表示,按位右移用”>>”表示. 按位左移和按位右移运算经常被用来替换乘二和除二运算,但是要注意,这两者之间并不完全等 ...
- malloc分配内存进行对齐的操作
昨天面试高通Linux Kernel,面试官考了一个malloc内存对齐的问题,我晚上的时候细细的想了一下,实在是学习的不到位. 有的时候真的应该感谢,像是Qt.Ubuntu Gcc的编译器,他们做的 ...
随机推荐
- Css基础-介绍及语法
css 文件后缀.css 基础语法: selector { property:value } 例如: h1 {color:red;font-size:14px;} color:字体颜色 font-s ...
- memset函数具体说明
1.void *memset(void *s,int c,size_t n)总的作用:将已开辟内存空间 s 的首 n 个字节的值设为值 c. 2.样例#include void main(){char ...
- CircleProgressBar
http://www.eoeandroid.com/thread-333984-1-1.html CircleProgressBar.rar
- Nginx详细配置
#运行用户#user nobody; #启动进程,通常设置成和cpu的数量相等或者2倍于cpu的个数(具体结合cpu和内存).默认为1worker_processes 1; #全局的错误日志和日志 ...
- iOS蓝牙中的进制转换
Bluetooth4.0.jpg 最近在忙一个蓝牙项目,在处理蓝牙数据的时候,经常遇到进制之间的转换,蓝牙处理的是16进制(NSData),而我们习惯的计数方式是10进制,为了节省空间,蓝牙也会把16 ...
- android学习日记21--消息提示之Toast和Notification
1.Toast Toast译为土司,类似切片面包,用于弹出比较快速的及时提示信息.当Toast被显示时,虽然它悬浮应用程序最上方,但是并未获得焦点.它的设计就是为了提示有用的信息,而不打扰用户其他操作 ...
- Linux性能实时监测工具 Netdata
http://www.oschina.net/p/netdata?fromerr=hjJMgUjE#rd
- 飘逸的python - 使用dis模块进行代码层次的性能剖析
http://blog.csdn.net/handsomekang/article/details/41479597?utm_source=tuicool&utm_medium=referra ...
- [面试算法题重做]求1+2+...+n
题目:求1+2+…+n,要求不能使用乘除法.for.while.if.else.switch.case等关键字以及条件判断语句(A?B:C). 不能用条件语句,基本上只有考虑递归. 常规解法: 利用构 ...
- Jordan Lecture Note-3: 梯度投影法
Jordan Lecture Note-3:梯度投影法 在这一节,我们介绍如何用梯度投影法来解如下的优化问题: \begin{align} \mathop{\min}&\quad f(x)\n ...