C语言sizeof引发的思考

首先我们看一个小例子

struct node {
      int a;
      char b[3];
      int c;
};

按理说sizeof(struct node)应该是11bytes,但是答案是12bytes,这又该怎么解释呢？

这其实就涉及到内存对齐的问题了。

所谓内存对齐，是指一种计算机体系结构（如X86）对基本数据类型的存储位置有限制，要求其地址为某个数的倍数，通常这个数为4或8。这种要求会简化处理器的设计以及提升数据访问的效率，例如32位总线，总是以4字节对齐。CPU在读取内存总是一块一块的读，这样更加有效率。

其实内存对齐对程序员来说是透明的，编译器为每个数据单元安排到合适的位置上，当然你也可以控制内存对齐，在C语言中通过#pragma pack(n) n=1,2,4,8，默认是4或8字节对齐，GCC是4字节，vc6是8字节对齐。

内存对齐规则：

1、数据成员对齐规则：结构(struct)(或联合(union))的数据成员，第一个数据成员放在offset为0的地方，以后每个数据成员的对齐按照#pragma pack(n)指定的数值和这个数据成员自身长度中，比较小的那个进行。

2、结构(或联合)的整体对齐规则：在数据成员完成各自对齐之后，结构(或联合)本身也要进行对齐，对齐将按照#pragma pack(n)指定的数值和结构(或联合)最大数据成员长度中，比较小的那个进行。

3、结合1、2可推断：当#pragma pack(n)的n值等于或超过所有数据成员长度的时候，这个n值的大小将不产生任何效果。数据成员将按照自身长度对齐。

例如

struct val1 {
      char a;
      int b;
      char c;
};

struct val2 {
      int a;
      char b;
      char c;
};

对于这两个例子第一个sizeof(struct val1)=12bytes,而第二个sizeof(struct val2)=8bytes.
第一个例子默认的是4字节对齐，即b的存储单元开始地址应该是4的倍数，编译器会在a的后面填充3字节，结构体应该取数据成员中长度最大的对齐，即也是4字节对齐，则会在c后面照样填充3字节，由此可得4+4+4=12bytes。在第二个例子中最后会在c后面填充2个字节内容满足对齐原则，即可得4+1+1+2=8bytes。同样你也可以指定#pragma pack(n)在不同对齐模数下的sizeof值，总之记住上面的规则，内存对齐也就一目了然啦。