`
wuhenliushui
  • 浏览: 17496 次
社区版块
存档分类
最新评论

C/C++ 内存对齐

 
阅读更多

class A
{
char c;
double b;
virtual void FuncA();
};
sizeof(A)=?

sizeof(A)=24

VS和GCC编译器都是吧虚函数表指针放在对象的首部的。
反汇编后发现你说的问题是这样:
虚函数表指针(4)+浪费掉的(4)+ char要对齐(8)+double(8)= 24。

一篇讲对齐比较好的文章,转贴如下:
大致标注一二:
1.内存对齐:计算机系统对基本类型数据在内存中存放的位置有限制,它们会要求这些数据的首地址的值是某个数k(通常它为4或8)的倍数k则被称为该数据类型的对齐模数(alignment modulus)
2.不同编译器默认的最大对齐字节数是不一样的,比如vc==8,gcc==4,可以通过#progma pack (n)来修改,分析程序的时候要注意编译器的区别
3.一个结构体里面,按照alignment modulus最大的数据成员来进行对齐,超过编译器规定最大的对齐字节个数,按编译器最大对齐字节个来
4.double类型在vc里面alignment modulus == 8,而在gcc里面由于默认最大对齐个数是4,不设置的话,alignment modulus == 4
5.因为数组各元素之间不能有空隙,所以{int a;char b;}
这种情况,默认在VC里面也需要占8个字节.

正文如下:

当在C中定义了一个结构类型时,它的大小是否等于各字段(field)大小之和?编译器将如何在内存中放置这些字段?ANSI C对结构体的内存布局有什么要求?而我们的程序又能否依赖这种布局?这些问题或许对不少朋友来说还有点模糊,那么本文就试着探究它们背后的秘密。
首先,至少有一点可以肯定,那就是ANSI C保证结构体中各字段在内存中出现的位置是随它们的声明顺序依次递增的,并且第一个字段的首地址等于整个结构体实例的首地址。比如有这样一个结构体:

struct vector{int x,y,z;} s;
int *p,*q,*r;
struct vector *ps;

p = &s.x;
q = &s.y;
r = &s.z;
ps = &s;

assert(p < q);
assert(p < r);
assert(q < r);
assert((int*)ps == p);
// 上述断言一定不会失败

这时,有朋友可能会问:"标准是否规定相邻字段在内存中也相邻?"。 唔,对不起,ANSI C没有做出保证,你的程序在任何时候都不应该依赖这个假设。那这是否意味着我们永远无法勾勒出一幅更清晰更精确的结构体内存布局图?哦,当然不是。不过先让我们从这个问题中暂时抽身,关注一下另一个重要问题————内存对齐。

许多实际的计算机系统对基本类型数据在内存中存放的位置有限制,它们会要求这些数据的首地址的值是某个数k(通常它为4或8)的倍数,这就是所谓的内存对齐,而这个k则被称为该数据类型的对齐模数(alignment modulus)。当一种类型S的对齐模数与另一种类型T的对齐模数的比值是大于1的整数,我们就称类型S的对齐要求比T强(严格),而称T比S弱(宽松)。这种强制的要求一来简化了处理器与内存之间传输系统的设计,二来可以提升读取数据的速度。比如这么一种处理器,它每次读写内存的时候都从某个8倍数的地址开始,一次读出或写入8个字节的数据,假如软件能保证double类型的数据都从8倍数地址开始,那么读或写一个double类型数据就只需要一次内存操作。否则,我们就可能需要两次内存操作才能完成这个动作,因为数据或许恰好横跨在两个符合对齐要求的8字节内存块上。某些处理器在数据不满足对齐要求的情况下可能会出错,但是Intel的IA32架构的处理器则不管数据是否对齐都能正确工作。不过Intel奉劝大家,如果想提升性能,那么所有的程序数据都应该尽可能地对齐。Win32平台下的微软C编译器(cl.exe for 80x86)在默认情况下采用如下的对齐规则: 任何基本数据类型T的对齐模数就是T的大小,即sizeof(T)。比如对于double类型(8字节),就要求该类型数据的地址总是8的倍数,而char类型数据(1字节)则可以从任何一个地址开始。Linux下的GCC奉行的是另外一套规则(在资料中查得,并未验证,如错误请指正):任何2字节大小(包括单字节吗?)的数据类型(比如short)的对齐模数是2,而其它所有超过2字节的数据类型(比如long,double)都以4为对齐模数。

现在回到我们关心的struct上来。ANSI C规定一种结构类型的大小是它所有字段的大小以及字段之间或字段尾部的填充区大小之和。嗯?填充区?对,这就是为了使结构体字段满足内存对齐要求而额外分配给结构体的空间。那么结构体本身有什么对齐要求吗?有的,ANSI C标准规定结构体类型的对齐要求不能比它所有字段中要求最严格的那个宽松,可以更严格(但此非强制要求,VC7.1就仅仅是让它们一样严格)。我们来看一个例子(以下所有试验的环境是Intel Celeron 2.4G + WIN2000 PRO + vc7.1,内存对齐编译选项是"默认",即不指定/Zp与/pack选项):

typedef struct ms1
{
char a;
int b;
} MS1;

假设MS1按如下方式内存布局(本文所有示意图中的内存地址从左至右递增):
_____________________________
| | |
| a | b |
| | |
+---------------------------+
Bytes: 1 4

因为MS1中有最强对齐要求的是b字段(int),所以根据编译器的对齐规则以及ANSI C标准,MS1对象的首地址一定是4(int类型的对齐模数)的倍数。那么上述内存布局中的b字段能满足int类型的对齐要求吗?嗯,当然不能。如果你是编译器,你会如何巧妙安排来满足CPU的癖好呢?呵呵,经过1毫秒的艰苦思考,你一定得出了如下的方案:

_______________________________________
| |///////////| |
| a |//padding//| b |
| |///////////| |
+-------------------------------------+
Bytes: 1 3 4

这个方案在a与b之间多分配了3个填充(padding)字节,这样当整个struct对象首地址满足4字节的对齐要求时,b字段也一定能满足int型的4字节对齐规定。那么sizeof(MS1)显然就应该是8,而b字段相对于结构体首地址的偏移就是4。非常好理解,对吗?现在我们把MS1中的字段交换一下顺序:

typedef struct ms2
{
int a;
char b;
} MS2;

或许你认为MS2比MS1的情况要简单,它的布局应该就是

_______________________
| | |
| a | b |
| | |
+---------------------+
Bytes: 4 1

因为MS2对象同样要满足4字节对齐规定,而此时a的地址与结构体的首地址相等,所以它一定也是4字节对齐。嗯,分析得有道理,可是却不全面。让我们来考虑一下定义一个MS2类型的数组会出现什么问题。C标准保证,任何类型(包括自定义结构类型)的数组所占空间的大小一定等于一个单独的该类型数据的大小乘以数组元素的个数。换句话说,数组各元素之间不会有空隙。按照上面的方案,一个MS2数组array的布局就是:

|<- array[1] ->|<- array[2] ->|<- array[3] .....

__________________________________________________________
| | | | |
| a | b | a | b |.............
| | | | |
+----------------------------------------------------------
Bytes: 4 1 4 1

当数组首地址是4字节对齐时,array[1].a也是4字节对齐,可是array[2].a呢?array[3].a ....呢?可见这种方案在定义结构体数组时无法让数组中所有元素的字段都满足对齐规定,必须修改成如下形式:

___________________________________
| | |///////////|
| a | b |//padding//|
| | |///////////|
+---------------------------------+
Bytes: 4 1 3

现在无论是定义一个单独的MS2变量还是MS2数组,均能保证所有元素的所有字段都满足对齐规定。那么sizeof(MS2)仍然是8,而a的偏移为0,b的偏移是4。

好的,现在你已经掌握了结构体内存布局的基本准则,尝试分析一个稍微复杂点的类型吧。

typedef struct ms3
{
char a;
short b;
double c;
} MS3;

我想你一定能得出如下正确的布局图:

padding
|
_____v_________________________________
| |/| |/////////| |
| a |/| b |/padding/| c |
| |/| |/////////| |
+-------------------------------------+
Bytes: 1 1 2 4 8

sizeof(short)等于2,b字段应从偶数地址开始,所以a的后面填充一个字节,而sizeof(double)等于8,c字段要从8倍数地址开始,前面的a、b字段加上填充字节已经有4 bytes,所以b后面再填充4个字节就可以保证c字段的对齐要求了。sizeof(MS3)等于16,b的偏移是2,c的偏移是8。接着看看结构体中字段还是结构类型的情况:

typedef struct ms4
{
char a;
MS3 b;
} MS4;

MS3中内存要求最严格的字段是c,那么MS3类型数据的对齐模数就与double的一致(为8),a字段后面应填充7个字节,因此MS4的布局应该是:
_______________________________________
| |///////////| |
| a |//padding//| b |
| |///////////| |
+-------------------------------------+
Bytes: 1 7 16

显然,sizeof(MS4)等于24,b的偏移等于8。

在实际开发中,我们可以通过指定/Zp编译选项来更改编译器的对齐规则。比如指定/Zpn(VC7.1中n可以是1、2、4、8、16)就是告诉编译器最大对齐模数是n。在这种情况下,所有小于等于n字节的基本数据类型的对齐规则与默认的一样,但是大于n个字节的数据类型的对齐模数被限制为n。事实上,VC7.1的默认对齐选项就相当于/Zp8。仔细看看MSDN对这个选项的描述,会发现它郑重告诫了程序员不要在MIPS和Alpha平台上用/Zp1和/Zp2选项,也不要在16位平台上指定/Zp4和/Zp8(想想为什么?)。改变编译器的对齐选项,对照程序运行结果重新分析上面4种结构体的内存布局将是一个很好的复习。

到了这里,我们可以回答本文提出的最后一个问题了。结构体的内存布局依赖于CPU、操作系统、编译器及编译时的对齐选项,而你的程序可能需要运行在多种平台上,你的源代码可能要被不同的人用不同的编译器编译(试想你为别人提供一个开放源码的库),那么除非绝对必需,否则你的程序永远也不要依赖这些诡异的内存布局。顺便说一下,如果一个程序中的两个模块是用不同的对齐选项分别编译的,那么它很可能会产生一些非常微妙的错误。如果你的程序确实有很难理解的行为,不防仔细检查一下各个模块的编译选项。

思考题:请分析下面几种结构体在你的平台上的内存布局,并试着寻找一种合理安排字段声明顺序的方法以尽量节省内存空间。

A. struct P1 { int a; char b; int c; char d; };
B. struct P2 { int a; char b; char c; int d; };
C. struct P3 { short a[3]; char b[3]; };
D. struct P4 { short a[3]; char *b[3]; };
E. struct P5 { struct P2 *a; char b; struct P1 a[2]; };

分享到:
评论

相关推荐

    深入理解c/c++ 内存对齐

    内存对齐,memory alignment.为了提高程序的性能,数据结构(尤其是栈)应该尽可能地在自然边界上对齐。原因在于,为了访问未对齐的内存,处理器需要作两次内存访问;然而,对齐的内存访问仅需要一次访问。内存对齐...

    深入理解C/C++内存对齐

    内存对齐,memory alignment.为了提高程序的性能,数据结构(尤其是栈)应该尽可能地在自然边界上对齐。原因在于,为了访问未对齐的内存,处理器需要作两次内存访问;然而,对齐的内存访问仅需要一次访问。  内存...

    林锐-高质量c/c++编程指南

    ### 林锐-高质量C/C++编程指南 #### 概述 《林锐-高质量C/C++编程指南》是一份由林锐博士编撰的专业文档,旨在为C/C++开发者提供一套规范化的编程指导原则。这份文档对于希望提升编程技能、编写出高质量代码的C++...

    MIT开放课程源码及资料_C/C++内存管理

    在MIT的开放课程中,C/C++内存管理是编程学习中的一个重要部分,它涉及到程序运行时如何有效地分配、使用和释放内存。C++作为一种强类型、静态类型的编程语言,其内存管理相较于高级语言如Java或Python更为底层和...

    c/c++参考手册

    2. **指针与内存管理**:深入讲解指针的概念、指针运算、动态内存分配(malloc/calloc/realloc/free)以及内存对齐。 3. **预处理器**:介绍宏定义、条件编译、头文件包含等预处理指令。 4. **结构体与联合体**:...

    动态内存分配与回收 c/c++

    5. **内存对齐**:为了提高数据访问效率,内存分配通常会考虑对齐。例如,CPU可能要求某些数据类型在特定边界上开始,如4字节对齐,这意味着一个整数的地址必须是4的倍数。 6. **内存分配算法**: - 首次适配...

    C/C++内存编程

    5. **内存对齐**:为了优化性能,编译器会根据数据类型进行内存对齐,确保访问效率。这可能会导致实际分配的内存比请求的多,程序员需要理解并适当地处理这种情况。 6. **内存泄漏检测**:工具如Valgrind可以帮助...

    C/C++程序员实用大全-C/C++最佳编程指南

    通过本书的学习,读者能够熟练地进行宏定义、条件编译、内存对齐和位字段操作。 在深入介绍了C语言的基础上,本书对C++进行了全面的探讨。从面向对象编程的角度出发,详细讲解了类和对象、封装、继承和多态。这些是...

    C/C++深层探索.rar

    内存管理是C++程序员必须掌握的关键技能,书中会详细介绍动态内存分配(new和delete)、内存对齐、堆栈与堆的区别以及内存泄漏等问题。读者会学习到如何有效地管理内存,避免潜在的运行时错误。 此外,书中还会涉及...

    C/C++内存分配方式,堆区,栈区专题.rar

    `C++的new和delete的专题总结大全.ppt`文件可能详细阐述了`new`和`delete`的用法,包括动态数组、异常安全、内存对齐、placement new以及如何处理内存分配失败等问题。它还可能涵盖了如何使用智能指针来自动化内存...

    C/C++高质量编程

    内存管理是C/C++编程中的一个关键点,林锐博士深入分析了内存分配方式、常见内存错误及其对策、指针与数组的对比、指针参数的内存传递机制等,为程序员提供了有效的内存管理策略。关于函数设计,书中不仅提供了参数...

    Visual C/C++ 编程精选集锦

    10. **性能优化**:通过了解编译器的工作原理,以及如何使用inline函数、内联汇编、内存对齐等方式,可以有效地优化代码性能。 实例部分是学习和理解这些关键技术的实践环节。通过实际编写和运行代码,开发者能够...

    大量C/C++笔试题

    5. **结构体与联合体**:自定义数据类型,理解内存对齐和数据成员的存储方式。 6. **内存管理**:动态内存分配(malloc、calloc、realloc、free),栈与堆的区别,内存泄漏问题。 7. **预处理器**:宏定义、条件...

    c/c++算法实现多路pcm混音源码

    本主题聚焦于"C/C++算法实现多路PCM混音源码",这是一个关于音频混合的技术,涉及到数字信号处理(DSP)的基础知识,C/C++编程语言的应用,以及特定的PCM音频格式的理解。 PCM(Pulse Code Modulation,脉冲编码...

    C/C++高质量编程指南

    内存管理章节则深入分析了C/C++语言中指针、动态内存分配以及内存泄漏问题,为程序员提供了一系列有效应对这些问题的策略和技巧。 此外,书中还特别关注了模板使用、标准模板库(STL)的最佳实践以及多线程编程。模板...

    高质量编程C/C++(第三版)

    《高质量编程C/C++(第三版)》是针对C++和C语言编程的一本权威指南,旨在提升程序员的代码质量和专业素养。这本书不仅涵盖了编程的基本规范,还特别关注了在面试过程中可能会遇到的问题,帮助读者在技术面试中...

    华为C/C++编码规范

    《华为C/C++编码规范详解》 在编程领域,代码质量是软件工程的生命线,而良好的编码规范则是保障代码质量的重要基石。华为作为全球领先的ICT解决方案提供商,对代码规范有着严谨的要求,其C/C++编码规范是业界广泛...

Global site tag (gtag.js) - Google Analytics