内存对齐

内存对齐的原因主要是cpu读取数据一次是某个数的整数倍(一般来说32位机是4个字节,64位位8个字节),所以如果未对齐,要读取多次,浪费效率。

缺省情况下,编译器默认将结构、栈中的成员数据进行内存对齐,很多unix平台上cc编译器要求类型必须对齐,但linux下gcc编译器等可以不对齐。

(例如)int n; int *p = (char *)n + 1; int q = *p;在unix上cc编译器报bus error,但linux下gcc无问题。段错误是无效内存解引用。

对于结构:

首先,每个成员分别按自己的方式对齐,并能最小化长度,头成员起始地址记为0,成员起始地址必须为其整数倍。

其次,复杂类型(如结构)的默认对齐方式是它最长的成员的对齐方式,这样在成员是复杂类型时,可以最小化长度,成员起始地址必须为其整数倍。

然后,对齐后的长度必须是成员中最大的对齐参数的整数倍,这样在处理数组时可以保证每一项都边界对齐,成员起始地址必须为其整数倍。


每个特定平台上的编译器都有自己的默认“对齐系数”(也叫对齐模数)。程序员可以通过预编译命令#pragma pack(n),n=1,2,4,8,16来改变这一系数,其中的n就是你要指定的“对齐系数”。
规则:
1、数据成员对齐规则:结构(struct)(或联合(union))的数据成员,第一个数据成员放在offset为0的地方,以后每个数据成员的对齐按照#pragma pack指定的数值和这个数据成员自身长度中,比较小的那个进行,成员起始地址必须为其整数倍。

2、结构(或联合)的整体对齐规则:在数据成员完成各自对齐之后,结构(或联合)本身也要进行对齐,对齐将按照#pragma pack指定的数值和结构(或联合)最大数据成员长度中,比较小的那个进行,成员起始地址必须为其整数倍。

3、结合1、2颗推断:当#pragma pack的n值等于或超过所有数据成员长度的时候,这个n值的大小将不产生任何效果。

posted on 2012-07-11 21:57  kevin_kang  阅读(179)  评论(0)    收藏  举报

导航