linux字节对齐规则

在计算内存对齐之前，首先梳理几个概念：

• 数据成员自身对齐值：该数据成员的大小值
• 结构体或类的自身对齐值：其成员中自身对齐值最大的那个值
• 指定对齐值：linux 32默认为4，linux 64默认为8。可以通过#pragma pack(value)指定对齐值value
• 数据成员，结构体和类的有效对齐值：自身对齐值和指定对齐值中较小的那个值

在计算结构体字节大小时，按照如下步骤进行：

1. 逐个计算各个数据成员的有效对齐值，统计各个数据成员的起始地址
2. 算出所有成员地址后，再计算结构体的有效对齐值，查看步骤一计算的结构体大小是否满足结构体有效对齐值的整数倍。若不满足，则在结构体最后一个成员后补充空字节满足要求。

特殊情况说明：

• 包括数组、结构体都是复合类型，内存的存储是对基本数据类型的存储

• attribute ((packed))作用：告诉编译器取消结构在编译过程中的优化对齐

对于嵌套结构体的对齐规则，说明如下：

• 嵌套结构体存储的起点必须为该结构体内部成员最大元素的整数倍
• 嵌套结构体的成员对齐仍满足自身规则
• 嵌套结构体所占用大小为该结构体内部成员最大元素的整数倍，不足补齐
• 结构体的总偏移量必须是最大成员的整数倍（包括嵌套结构体中的最大成员）

联合体内存对齐：各个成员是以同一个地址开始存放的，每一个时刻只可以存储一个成员。这样就要求它在分配内存单元时候要满足两点:   

1. 一般而言,共用体类型实际占用存储空间为其最长的成员所占的存储空间；   
2. 若是该最长的存储空间对其他成员的元类型，（如果是复合数据类型,取其最宽基本数据类型的数据长度为witch,例int a[5]为4；struct str{char a; int b}为4.）不满足整除关系,该最大空间自动延伸到witch的整倍数;