C语言——关于结构体的对齐规则

结构体对齐规则

一个结构体变量定义完之后，其在内存中的存储并不等于其所包含元素的宽度之和。

结构体对齐规则：
规则一：结构体成员是按照定义顺序一个一个放到内存中去，但并不紧密排列。从结构体存储的首地址开始，每一个成员放置到内存中时，它都会认为内存是以它自己的大小来划分的，因此成员放置的位置一定会在自己宽度的整数倍上开始（以结构体变量首地址为0计算）。这里需要注意typedef关键字的使用，没有关键字的话，是不允许double类型的位段存在）

#include <stdio.h>
//例1：
typedef struct S4 {
	char a：6;
	int b：32;
	double c：60;
}   S4;//占用4+4+8=16个字节

//例2：
typedef struct S5 {
	char a：6;
	double c：60;
	int b：32;
}   S5;
int main()
{
	struct S4 s4 = { 0 };
	struct S5 s5= { 0 };
	printf("size4=%d\n", sizeof(s4));
	printf("size5=%d\n", sizeof(s5));
	return 0;
}

分析：
1）变量a存入第0字节（相对地址，指内存开辟的首地址），存入b时会以4字节进行存储，但是结构体开始后的第一个4字节内存里已经有数据a，所以b会从第一个空且是自己整数倍的位置开始存储（这里a后面要补4个字节）。变量c同理。size4=16。存储示意图如图一，程序如例1。

编译后结果：

2）将例1中的b和c交换位置后，若按照原则一计算则占用8+8+4=20个字节，但是实际结果却是24个字节。
由此引出规则二：由规则一分析后，检查计算出的存储单元是否为所有元素中最宽的元素的长度的整数倍，是，则结束；若不是，则补齐为它的整数倍。
规则一计算的存储单元为20字节，不是最宽元素长度8的整数倍，因此将它补齐到8的整数倍，也就是24。其存储示意图如图二所示，程序例2。

再看两个例子。
程序1：

分析：这里由于b需要补齐，所以即使b所占位是32位，后面的d也可以存入，所以最后size5=24。
程序2：

分析：这里即使b已经补齐了，但是因为剩余位数不够存入d，所以d需要重新开辟一个新的内存，所以这里的size5=32。

以上所述，皆为个人愚见，如有不妥之处，欢迎评论区指正或私信。