结构体（3）

1.内存对齐

我们先直接来看一串代码

#define _CRT_SECURE_NO_WARNINGS
#include <stdio.h>
struct add
{
	char a;
	int b;
	double c;
}s1;
int main(void)
{
	printf("%d\n", sizeof(s1));
	return 0;
}

打印结果是16

但是char类型的值是1个字节大小

int类型的值是4个字节大小

double类型的值是8个字节大小

8+4+1=13为啥打印结果是16呢？

这就涉及到结构体的内存对齐了

我们在了解内存对齐前要先了解一个宏offsetof

它的头文件是#include <stddef.h>

offsetof (type,member)

Return member offset

参数是成员类型

返回值是该类型的偏移值

因此我们可以通过这个宏去判断

#define _CRT_SECURE_NO_WARNINGS
#include <stdio.h>
#include <stddef.h>
struct add
{
	char a;
	int b;
	double c;
};
int main(void)
{
	struct add s1 = { 0 };
	printf("%zd\n", offsetof(struct add,a));
	printf("%zd\n", offsetof(struct add,b));
	printf("%zd\n", offsetof(struct add,c));
	return 0;
}

结果是0 4 8

因此我们可以把这个结构体的内存存储方式画出来

0	1	2	3	4	5	6	7	8	9	10	11	12	13	14	15
a				b	b	b	b	c	c	c	c	c	c	c	c

我们这个时候会发现123这三个空间没有被使用

刚好是16个空间和第一个代码的结果一样

再来看一串代码

#define _CRT_SECURE_NO_WARNINGS
#include <stdio.h>
#include <stddef.h>
struct add
{
	char a;
	int b;
	char c;
};
int main(void)
{
	struct add s1 = { 0 };
	printf("%zd\n", sizeof(s1));
	printf("%zd\n", offsetof(struct add,a));
	printf("%zd\n", offsetof(struct add,b));
	printf("%zd\n", offsetof(struct add,c));
	return 0;
}

打印结果是12 0 4 8

0	1	2	3	4	5	6	7	8	9	10	11
a				b	b	b	b	c

这个地方我们发现2 3 9 10 11 12 这些空间都没用，明明给8个空间就够了啊，为啥还要多给4个空间不用呢？

这就涉及到对齐规则了

对齐规则
首先得掌握结构体的对齐规则：

1.结构体的第一个成员对齐到和结构体变量起始位置偏移量为0的地址处

2.其他成员变量要对齐到某个数字（对齐数）的整数倍的地址处。

对齐数= 编译器默认的一个对齐数与 该成员变量大小的较小值.

-vs中默认的值为8

-Linux中gcc没有默认对齐数，对齐数就是成员自身的大小

3.结构体总大小为最大对齐数（结构体中每个成员变量都有一个对齐数，所有对齐数中最大的）的整数倍。

4.如果嵌套了结构体的情况，嵌套的结构体成员对齐到自己的成员中最大对齐数的整数倍处，结构体的整体大小就是所有最大对齐数（含嵌套结构体中成员的对齐数）的整教倍。 

看起来好像挺复杂的样子

没事就拿上面的题

char a;
int b;
char c;

带大家做一遍

首先结构体第一个成员的偏移量是0，a是char类型大小是一个字节

占一个格子

再看int b

根据

对齐数= 编译器默认的一个对齐数与 该成员变量大小的较小值.

-vs中默认的值为8

int 类型的值占4个字节小于vs默认的8

可以知道第二个成员也就是int b的对其数是4

根据

其他成员变量要对齐到某个数字（对齐数）的整数倍的地址处。

可以知道b的偏移量必须是4的整数倍

因此b的偏移量便是4 (满足且离a所处空间最近)

b是int类型大小，因此占4个格子，b结束的位置偏移量是9

char  类型的值占1个字节小于vs默认的8

可以知道第三个成员也就是int b的对其数是1

可以知道c的偏移量必须是1的整数倍

因此c的偏移量刚好在b结束的地方，也就是偏移量为9

最后再根据

结构体总大小为最大对齐数（结构体中每个成员变量都有一个对齐数，所有对齐数中最大的）的整数倍。

最大对齐数是4，因此结构体大小需是对齐数的整数倍，此时结构体大小是9，因此最后要空3个格子去满足最后一个要求

这也就是为啥结构体的空间分布这么奇怪了。