字节对齐

关键字:字节对齐;#pragma pack(n)

　　运算符sizeof可以计算出给定类型的大小，对于32位系统来说，sizeof(char) = 1; sizeof(int) = 4。基本数据类型的大小很好计算，我们来看一下如何计算构造数据类型的大小。

　　C语言中的构造数据类型有三种：数组、结构体和共用体。

　　数组是相同类型的元素的集合，只要会计算单个元素的大小，整个数组所占空间等于基础元素大小乘上元素的个数。

　　结构体中的成员可以是不同的数据类型，成员按照定义时的顺序依次存储在连续的内存空间。和数组不一样的是，结构体的大小不是所有成员大小简单的相加，需要考虑到系统在存储结构体变量时的地址对齐问题。看下面这样的一个结构体：

　　struct stu1

　　{

　　int i;

　　char c;

　　int j;

　　}；

　　先介绍一个相关的概念——偏移量。偏移量指的是结构体变量中成员的地址和结构体变量地址的差。结构体大小等于最后一个成员的偏移量加上最后一个成员的大小。显然，结构体变量中第一个成员的地址就是结构体变量的首地址。因此，第一个成员i的偏移量为0。第二个成员c的偏移量是第一个成员的偏移量加上第一个成员的大小（0+4）,其值为4；第三个成员j的偏移量是第二个成员的偏移量加上第二个成员的大小（4+1）,其值为5。

　　实际上，由于存储变量时地址对齐的要求，编译器在编译程序时会遵循两条原则：一、结构体变量中成员的偏移量必须是成员大小的整数倍（0被认为是任何数的整数倍） 二、结构体大小必须是所有成员大小的整数倍。

　　对照第一条，上面的例子中前两个成员的偏移量都满足要求，但第三个成员的偏移量为5，并不是自身(int)大小的整数倍。编译器在处理时会在第二个成员后面补上3个空字节，使得第三个成员的偏移量变成8。

　　对照第二条，结构体大小等于最后一个成员的偏移量加上其大小，上面的例子中计算出来的大小为12，满足要求。

　　再看一个满足第一条，不满足第二条的情况

　　struct stu2

　　{

　　int k;

　　short t;

　　}；

　　成员k的偏移量为0；成员t的偏移量为4，都不需要调整。但计算出来的大小为6，显然不是成员k大小的整数倍。因此，编译器会在成员t后面补上2个字节，使得结构体的大小变成8从而满足第二个要求。由此可见，大家在定义结构体类型时需要考虑到字节对齐的情况，不同的顺序会影响到结构体的大小。对比下面两种定义顺序

　　struct stu3

　　{

　　char c1;

　　int i;

　　char c2;

　　}

　　struct stu4

　　{

　　char c1;

　　char c2;

　　int i;

　　}

　　虽然结构体stu3和stu4中成员都一样，但sizeof(struct stu3)的值为12而sizeof(struct stu4)的值为8。

　　如果结构体中的成员又是另外一种结构体类型时应该怎么计算呢？只需把其展开即可。但有一点需要注意，展开后的结构体的第一个成员的偏移量应当是被展开的结构体中最大的成员的整数倍。看下面的例子：

　　struct stu5

　　{

　　short i;

　　struct

　　{

　　char c;

　　int j;

　　} ss;

　　int k;

　　}

　　结构体stu5的成员ss.c的偏移量应该是4，而不是2。整个结构体大小应该是16。

 

 

 #pragma pack(n)的含义及其用法:

自然对界是指按结构体的成员中 sizeof 最大的成员对齐。

#pragma pack规定的对齐长度，实际使用的规则是：

结构，联合，或者类的数据成员，第一个放在偏移为0的地方，以后每个数据成员的对齐，按照#pragma pack指定的数值和结构体的自然对齐长度中比较小的那个进行。
就是说，当#pragma pack的值等于或超过所有数据成员长度的时候，这个值的大小将不产生任何效果。
结构体的对齐，按照结构体中size最大的数据成员和#pragma pack指定值之间，较小的那个进行。

具体解释：

#pragma pack(4)

　　class TestB

　　{

　　public:

　　　　int aa; //第一个成员，放在[0,3]偏移的位置，

　　　　char a; //第二个成员，自身长为1，#pragma pack(4),取小值，也就是1，所以这个成员按一字节对齐，放在偏移[4]的位置。

　　　　short b; //第三个成员，自身长2，#pragma pack(4)，取2，按2字节对齐，所以放在偏移[6,7]的位置。

　　　　char c; //第四个，自身长为1，放在[8]的位置。

　　};

这个类实际占据的内存空间是9字节

类之间的对齐，是按照类内部最大的成员的长度，和#pragma pack规定的值之中较小的一个对齐的。

所以这个例子中，类之间对齐的长度是min(sizeof(int),4)，也就是4。

9按照4字节圆整的结果是12，所以sizeof(TestB)是12。

如果

#pragma pack(2)

class TestB

　　{

　　public:

　　　　int aa; //第一个成员，放在[0,3]偏移的位置，

　　　　char a; //第二个成员，自身长为1，#pragma pack(4),取小值，也就是1，所以这个成员按一字节对齐，放在偏移[4]的位置。

　　　　short b; //第三个成员，自身长2，#pragma pack(4)，取2，按2字节对齐，所以放在偏移[6,7]的位置。

　　　　char c; //第四个，自身长为1，放在[8]的位置。

　　};

//可以看出，上面的位置完全没有变化，只是类之间改为按2字节对齐，9按2圆整的结果是10。

//所以 sizeof(TestB)是10。

最后看原贴：

现在去掉第一个成员变量为如下代码：

　　#pragma pack(4)

　　class TestC

　　{

　　public:

　　　　char a;//第一个成员，放在[0]偏移的位置，

　　　　short b;//第二个成员，自身长2，#pragma pack(4)，取2，按2字节对齐，所以放在偏移[2,3]的位置。

　　　　char c;//第三个，自身长为1，放在[4]的位置。

　　};

//整个类的大小是5字节，按照min(sizeof(short),4)字节对齐，也就是2字节对齐，结果是6

//所以sizeof(TestC)是6。