结构体对齐
结构体的成员变量并不是按照数据大小直接存储的,有存储规则——结构体内存对齐。
结构体内存对齐规则
1. 第一个成员在与结构体变量偏移量为0的地址处。
2. 其他成员变量要对齐到某个数字(对齐数)的整数倍的地址处。 对齐数 = 编译器默认的一个对齐数 与 该成员大小的较小值。(注:vs2019默认对齐数是8,可以通过linux环境下是没有默认对齐数的。)
3. 结构体总大小为最大对齐数(每个成员变量都有一个对齐数)的整数倍。
4. 如果嵌套了结构体的情况,嵌套的结构体对齐到自己的最大对齐数的整数倍处,结构体的整体大小就是所有最大对齐数(含嵌套结构体的对齐数)的整数倍。
红色是a存储空间,橙色是b存储空间,蓝色是c存储空间,绿色是开辟了空间但是没有使用的空间,浪费的空间。
结构体A的内存分布
1.第一个成员变量a在0偏移量的地址上。
2.vs2019的默认对齐数是8,所以a的对齐数是1,b的对齐数是4,c的对齐数是2,除了第一个成员,其它成员都要在对齐数的整数倍地址处上,所以b在4偏移量的地址上,c在8偏移量的地址上。
3.这个结构体的最大对齐数是4,结构体大小为最大对齐数的整数倍,现在只开辟了10个字节的空间,需要多开辟2个字节的空间才是4的整数倍,所以结构体大小为12字节。
结构体B的内存分布
1.第一个成员变量a在0偏移量的地址上。
2.vs2019的默认对齐数是8,所以a的对齐数是1,c的对齐数是2,b的对齐数是4,除了第一个成员,其它成员都要在对齐数的整数倍地址处上,所以b在2偏移量的地址上,c在4偏移量的地址上。
3.这个结构体的最大对齐数是4,结构体大小为最大对齐数的整数倍,现在只开辟了8个字节的空间,是4的整数倍。
结构体B包含结构体变量A
结构体A的最大对齐数是4,在8偏移量的地址上,是4的倍数。最大对齐数是4,开辟了20个字节的空间,是4的倍数。
offsetof
计算结构体成员变量相对于起始位置的偏移量,头文件是stddef.h。使用offsetof验证结构体内存分配。
修改默认对齐数
#pragma pack(4):默认对齐数设置为4.
#pragma pack():取消设置的默认对齐数,还原为默认的
在声明位置使用。
#pragma pack(1)
struct A
{
char a;
int b;
short c;
};
#pragma pack()
结构体内存对齐的好处
平台原因(移植原因): 不是所有的硬件平台都能访问任意地址上的任意数据的;某些硬件平台只能在某些地址处取某些特 定类型的数据,否则抛出硬件异常。
性能原因: 数据结构(尤其是栈)应该尽可能地在自然边界上对齐。原因在于,为了访问未对齐的内存,处理器需要作两次内存访问;而对齐的内存访问仅需要一次访问。