文章来源:《C语言深度剖析》 作者:陈正冲 审阅:石虎
这里重点讨论内存对齐问题和#pragma pack()的使用方法。
什么是内存对齐?
先看下面的结构:
struct TestStruct1
{
char c1;
short s;
char c2;
int i;
}
假设这个结构的成员在内存中是紧凑排列的,假设c1的地址是0,那么s的地址就应该是1,c2的地址就是3,i地址就是4。也就是c1地址为
0000 0000,s地址为0000 0001,c2地址为0000 0003,i地址为0000 0004。
可是,我们在Visual C++6.0 中写一个简单的程序:
struct TestStruct1 a;
printf("c1 %p,s %p,c2 %p,i %p\n",
(unsigned int)(void*)&a.c1 - (unsigned int)(void*)&a,
(unsigned int)(void*)&a.s - (unsigned int)(void*)&a,
(unsigned int)(void*)&a.c2 - (unsigned int)(void*)&a,
(unsigned int)(void*)&a.i - (unsigned int)(void*)&a);
运行,输出:
c1 00000000, s 00000002, c2 00000004, i 00000008。
为什么会这样?这就是内存对齐二导致的问题。
字,双字,和四字在自然边界上不需要在内存中对齐。(对字,双字,和四字来说,自然边界分别是偶数地址,可以被4 整除的地址,和可以被8 整除的地址。)无论如何,为了
提高程序的性能,数据结构(尤其是栈)应该尽可能地在自然边界上对齐。原因在于,为了访问未对齐的内存,处理器需要作两次内存访问;然而,对齐的内存访问仅需要一次访
问。一个字或双字操作数跨越了4 字节边界,或者一个四字操作数跨越了8 字节边界,被认为是未对齐的,从而需要两次总线周期来访问内存。一个字起始地址是奇数但却没有跨
越字边界被认为是对齐的,能够在一个总线周期中被访问。某些操作双四字的指令需要内存操作数在自然边界上对齐。如果操作数没有对齐,这些指令将会产生一个通用保护异常。
双四字的自然边界是能够被16 整除的地址。其他的操作双四字的指令允许未对齐的访问(不会产生通用保护异常),然而,需要额外的内存总线周期来访问内存中未对齐的数据。缺省情况下,编译器默认将结构、栈中的成员数据进行内存对齐。因此,上面的程序输
出就变成了:c1 00000000, s 00000002, c2 00000004, i 00000008。编译器将未对齐的成员向后移,将每一个都成员对齐到自然边界上,从而也导致了整个结构的尺寸变大。尽管会牺牲
一点空间(成员之间有部分内存空闲),但提高了性能。也正是这个原因,我们不可以断言sizeof(TestStruct1)的结果为8。在这个例子中,sizeof(TestStruct1)的结果为12。
以上是来自《C语言深度剖析》的言论
下面是个人对这个结构体struct TestStruct1 a大小的理解:
第一个变量c1时char类型,占一个字节。第二个变量s时short类型,占两个字节。所以变量s要与变量c1对齐,c1就得占两个字节。
c2本来占用1个字节,由于变量i要与它对齐,c2就得占4个字节。至于变量i,它在结构体最后面,就占本身内存4个字节。
用下面图解更清晰:
、