首先我们看一个小例子
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值,总之记住上面的规则,内存对齐也就一目了然啦。