结构体内存对齐

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

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

我们来看上面两个结构体，并且求出两个结构体所占空间大小。

两个结构体里的成员类型一样，根据所学的数据类型大小我们会觉得两个结构体的大小一样，并且都是6。而在vs上的结果却与我们想的截然不同。

为什么会出现这样的现象呢？因为我们把结构体成员放在了某一个对其的位置上，如果将其进行对其，就会浪费一些空间。因此实际开辟使用的空间比我们需要的要大。

首先来看看对齐规则

对齐规则

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

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

对齐数

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

VS  默认  8

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

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

判断8是最大对齐数（4）的整数倍，因此S1的大小是8.

判断9不是最大对齐数（4）的整数倍，因此最后的S2大小是12。

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

紧接着上文的S2结构体，判断S3的大小

struct S3
{
	char c1;
	int i;
	struct S2 s2;
};

S2中的最大成员 i 大小是4，所以S2对齐到4的倍数处，由上文可知S2大小是12个字节。

最后S3的整体大小是最大对齐数（4）的整数倍，20是4的倍数，因此S3大小是20.

例题

#include<stdio.h>
struct S3
{ 
	double d; 
	char c; 
	int i; 
}; 
 struct S4
 {
	 char c1;
	 struct S3 s3;
	 double d;
 };
int main()
{
	printf("%d\n", sizeof(struct S3));
	printf("%d\n", sizeof(struct S4));
	return 0;
}

d占8个，c占1个，i对其到12，之后再加4，最终S3的大小是16.

c1占1个，S3对齐到8的整数倍8之后再加16就是24，d占8个，最终S4的大小是32.

宏offsetof

offsetof可以计算结构体成员相较于起始位置的偏移量

offsetof (type,member)

传的第一个参数是结构体类型，第二个是结构体成员

需要的头文件<stddef.h>

举例看上文S1中成员的偏移量

为什么存在内存对齐

1.平台原因

不是所有的硬件平台都能访问任意地址上的任意数据的，某些硬件平台只能在某些地址处取某些特定类型的数据，否则抛出硬件异常。

2.性能原因

数据结构(尤其是栈)应该尽可能地在自然边界上对齐。原因在于，为了访问未对齐的内存，处理器需要作两次内存访问；而对齐的内存访问仅需要一次访问。假设一个处理器总是从内存中取8个字节，则地址必须是8的倍数。如果我们能保证将所有的double类型的数据的地址都对齐成8的倍数，那么就可以用一个内存操作来读或者写值了。否则，我们可能需要执行两次内存访问，因为对象可能被分放在两个8字节内存块中。

总体来说：结构体的内存对齐是拿空间来换取时间的做法，访问效率更高。

所以在设计结构体的时候，我们既要满足对齐，又要节省空间，所以我们要让占用空间小的成员尽量集中在一起。

修改默认对齐数

#pragma这个预处理指令，可以改变编译器的默认对齐数。

#include<stdio.h>
#pragma pack(1)//设置默认对齐数是1
struct S1
{
    char c1;
    char c2;
    int i;
};
#pragma pack()//取消设置的对齐数，恢复到默认值
struct S2
{
    char c1;
    int i;
    char c2;
};

int main()
{
	printf("%d\n", sizeof(struct S1));
	printf("%d\n", sizeof(struct S2));
	return 0;
}

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