结构体字节对齐详细解析

结构体字节对齐规则

假设结构体如下，请问它占用几个字节？

struct align_basic
{
char c;
int i;
double d;
};

• C语言中，一般 char 型占1字节，int 占4字节，double 占8字节，那么应该占用13个字节。
• 但实际上，它占用16个字节，因为结构体的字节对齐机制。

1.为什么对齐：

• 平台原因：某些平台只能在特定的地址处访问特定类型的数据
• 性能原因：编译器为了优化对结构体成员的访问，更高的效率
  eg：32位系统，一次可读4字节，如果变量放在0x05到0x08，那么，系统只能是先读4-7（取5-7的内容），再读8-11（取8的内容），然后，还得把他们组合在一起才行。

2.基本规则:

规则一：从结构体首地址开始依次将元素放入内存时，元素被放置在其自身对齐大小的整数倍上

struct align_basic
{
char c;
int i;
double d;
};

sizeof(align_basic) = 16
元素 c 是第一个元素，放在地址0；第二个元素 i 是int型，对齐大小4字节，所以 i 的地址必须在4字节的整数倍上，向后移动3个字节到地址4上；第三个元素 d 对齐大小为8字节，前两个元素正好占8字节，不需要再往后移动。

规则二：结构体的总长度是其中最大元素长度的整数倍，不满足则在最后填充

struct align_basic
{
char c;
double d;
int i;
};

sizeof(align_basic) = 24
根据规则一，第一个元素地址为0， 第二个地址为8，第三个地址为16，前三个元素占20个字节；然后根据规则二，整个结构必须对齐到8的整数倍，所以再在尾部填充4个字节。

3.指定默认对齐字节数

实际上，对齐规则如下表示，设每个成员长度 Li，最大成员长度 MaxLi，对齐字节数 n，那么

• 规则一：从结构体首地址（需要是 MaxLi 的整数倍）开始依次将元素放入内存时，元素被放置在其自身对齐大小（min(n, Li)）的整数倍上。
• 规则二：结构体的总长度是min(n, MaxLi)的整数倍，不满足则在最后填充。

#pragma pack(n)，将设定对齐字节数 n。

#pragma pack(2) //对齐字节数为2
struct C{
    char a;
    int b;
    char c;
};
#pragma pack()   // 取消指定对齐

由于 2<4，按2对齐，1+1+4+1=7，要为2的倍数所以结果为8

#pragma pack(8)
struct D{
    char  b;
    short a;
    char  c;
};
#pragma pack()

按2对齐，结果为6

4.结构体对象充当成员变量的情况

把结构体看成一个整体，自身有效对齐数是结构体内部最大对齐字节数。

struct B{
    char   b;
    int    a;
    short  c;
};
// sizeof(struct B)=12
struct C{
    short a;
    B     b;
    float c;
};

占20字节