字节(内存)对齐

文章来源：《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个字节。

用下面图解更清晰：

、