位域与结构体的内存对齐

一. 一般结构体对齐规则

struct example   
{
	char a;     
	short b;     
	char c;    
}

0. 对齐参数的确定：例如结构体example中先后定义了三个变量char a;short b;char c；对于变量a、c，它的自身对齐参数为1，而#pragma pack(n)值默认为4，则a的对齐参数为1；b的自身对齐参数为2，而#pragma pack(n)的默认值为4，则b的对齐参数为2。由于a的最终对齐参数为1，b的最终对齐参数为2，那么两者较大者是2，然后再拿2和#pragma pack(n)作比较，取较小者作为对齐参数，也就是2，即意味着结构体最终的大小必须能被2整除。
   总结：
   a、c 最终对齐参数为 1
   b 最终对齐参数为2
   结构体最终对齐参数为2
   注：gcc中默认#pragma pack值为4，最大也为4

1. 结构体每个成员相对结构体首地址的偏移量(offset)是对齐参数的整数倍，如有需要会在成员之间填充字节。编译器在为结构体成员开辟空间时，首先检查预开辟空间的地址相对于结构体首地址的偏移量是否为对齐参数的整数倍，若是，则存放该成员；若不是，则填充若干字节，以达到整数倍的要求。

   1.1 结构体起始位置一定是内存对齐（对齐字节数可能默认为4字节、8字节，也可能是用户指定的1字节、2字节…）的，因此第一个结构体成员存放位置无需计算
   1.2 根据规则1，第二个结构体的位置就需要与自身默认对其规则来计算，各内置类型的默认对其大小如下：
   

struct example   //假设结构体起始地址为0x00001001
{
	char a;      //a地址等于结构体地址=0x00001001，结束地址=0x00001001 占1字节
	short b;     //b默认对其字节为2，因此b起始地址需再偏移一个地址才能整除2，因此=0x000010002，结束地址=0x000010003 占2字节，上方填充1字节
	char c;     //char默认1字节对其，因此不需偏移，起始地址=0x000010004，结束地址=0x000010004，占1字节
}
到这里结构体至少占用 1+1+2+1 = 5字节

2. 结构体变量所占空间的大小是对齐参数大小的整数倍。如有需要会在最后一个成员末尾填充若干字节使得所占空间大小是对齐参数大小的整数倍。

   规则0中已明确该结构体的对其参数为2，但是规则1后，结构体内存占用5字节，不能整除2，因此c存储位置下面需多占一个字节用于补齐，因此最终的内存占用为：
   |-–char a（1字节）—|—对齐偏移 （1字节）—|—short b（2字节）—|—char a（1字节）—|—对齐偏移 （1字节）—|

二. 位域结构体对齐规则

当相邻位域成员的类型相同时，如果它们的位宽之和小于类型大小，那么后面的成员紧邻前一个成员存储；如果它们的位宽之和大于类型大小，那么后面的成员将存在下一个类型大小的空间。

1. GCC无论相邻位域成员的类型相同或者不同，如果它们的位宽之和小于类型大小，那么后面的成员紧邻前一个成员存储；如果它们的位宽之和大于类型大小，那么后面的成员将存在下一个类型大小的空间。也就是说任何情况下都是压缩型排布
   而不是与一般结构体成员那样需要考虑对齐。

2. 整个结构体的对齐仍旧满足一般结构体对齐规则2，即找到结构体的对齐参数。对齐参数的确认仍旧同一般结构体的规则0中结构体对齐参数的确认方法。

struct example   
{
	char a:4;     
	short b:2;     
	char c:2;    
}

结构体example中，按照压缩规则，三个成员可放在同一字节中，因此实际内存为1字节；按照规则2，short b的自身对齐参数最大，且小于默认#pragma pack值4，因此结构体的对齐参数确定为2.最终整个结构体的大小为2
若

#pragma pack(1)
struct example   
{
	char a:4;     
	short b:2;     
	char c:2;    
}

那么结构体的对其参数为1，整个结构体的大小为1字节

同理

//#pragma pack(1)
struct example   
{
	char a:4;     
	int b:2;     
	char c:2;    
}

#pragma pack(4)时： 结构体对齐参数=4，结构体占用大小4字节
#pragma pack(1)时： 结构体对齐参数=1，结构体占用大小1字节

3. 位域结构体中包含非位域成员时会视情况进行压缩。即对位域成员变量压缩，而不压缩非位域成员变量（不压缩成员则按照一般结构体成员对齐规则来存放）

struct example   
{
	char a:4;   //a占四个bit  
	int b;      //b需按照自身对齐参数与#pragma pack中的最小值来对齐，所以a后需填充3个byte + 4bit
	char c:2;   //c本身只占2bit，但是考虑到结构体整体对齐参数为4，则向下补齐6bit + 3byte
}

以上结构体总大小为 12byte