关于结构体的内存对齐

结构体内存对齐
自定义类型:结构体(结构体声明,结构体的自引用,结构体变量的定义和初始化)
在掌握结构体的基本使用之后,我们就要深入讨论一个问题了,就是关于计算结构体的大小.
先来看几个例子:

#define _CRT_SECURE_NO_WARNINGS
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
struct student{
	int num;
	char name[20];
	int age;
};

int main(){
	printf("%d\n", sizeof(struct student));
	system("pause");
	return 0;
}

运行结果如下

从这个结果来看,结构体的大小似乎就是整型int num占4个字节,char name[20]占20个字节,int age占4个字节,一共28个字节.不要着急我们修改一下再来看.
把结构体修改为下面这样

struct student{
	char b;
	int a;
	char c;
};

按照我们上面的理解,这个结构体的大小是不是应该为6?
看下结果

12?和我们预想的结果不太一样?再来改一改试试

struct student{
	int a;	
	char b;
	char c;
};

到这里,应该不难发现,结构体的大小并不是简单的类型所占字节数的总和!
其实,在我们的C语言当中,计算结构体的大小时,要掌握结构体的对齐规则
1.第一个成员永远都放在结构体的起始位置的0偏移处.
2.从第二个成员开始,每个成员都放在某个对齐数的整数倍的偏移处.
某个对齐数:取成员自身对齐数和默认对齐数的较小值.
默认对齐数: vs(8) linux(4)
3.结构体的总大小为最大对齐数(每个成员变量都有一个对齐数)的整数倍.
比如上面的结构体

struct student{
		int a;	
		char b;
		char c;
	};

第一个成员是int a,放在结构体的起始位置的0偏移处占4个字节;
第二个成员为char b,自身对齐数为1,默认对齐数为8,取较小值为1,放在1的整数倍偏移处,任意整数都为1的倍数,所以放在起始位置的5偏移处,占1个字节.
第三个成员char c,自身对齐数为1,默认对齐数为8,取较小值为1,放在1的整数倍偏移处,任意整数都为1的倍数,所以放在起始位置的6偏移处,占1个字节.
此时要注意,结构体的总大小为最大对齐数(每个成员变量都有一个对齐数)的整数倍.也就是说结构体总大小为4的倍数,4个字节存不下所以成员,所以为8.

简单示意图如下

基于结构体内存对齐的规则,我们在设计结构体的时候让占用小的成员尽量集中在一起.比如:

struct s1{
	char c1;
	int i;
	char c2;
};

struct s1{
	char c1;
	char c2;
	int i;
};

s1与s2类型的成员一模一样,但是s1和s2所占的空间的大小有了一些区别.
结构体嵌套时大小计算

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

struct s2{
	char c1;
	struct S3 s3;
	double a;
};
printf("%d\n", sizeof(struct s2));

如果是嵌套结构体的情况,嵌套的结构体对齐到自己的最大对齐数的整数倍处,结构体的整体大小就是所有最大对齐数(含嵌套结构体的对齐数)的整数倍.
也就是说再求sizeof(struct s2)时按8字节对齐即可!

修改默认对齐数
利用#pragma这个预处理命令,可以修改默认对齐数.

#pragma pack(1)	//修改默认对齐数为1
#pragma pack(2)	//修改默认对齐数为2
#pragma pack()	//取消设置的默认对齐数,还原为默认

结构体在对齐方式不合适的时候,我们可以自己更改默认对齐数.