结构体的内存对齐

---

前言

结构体的内存大小是多少？我们可以用sizeof函数计算一下

从结果可以看出两个问题：
两个char类型和一个int类型的空间大小为什么不是6呢？
为什么相同的成员交换了顺序，结构体的大小也跟着变了呢？
这里就涉及到结构体内存对齐的知识，也就是本文所要讲述的内容。

---

一、结构体对齐规则

1. 结构体的第⼀个成员对⻬到和结构体变量起始位置偏移量为0的地址处
2. 其他成员变量要对⻬到某个数字（对⻬数）的整数倍的地址处。
   对⻬数 = 编译器默认的⼀个对齐数 与 该成员变量类型大小的较小值。
   VS 中默认的值为 8
   Linux中 gcc 没有默认对⻬数，对⻬数就是成员⾃⾝的⼤⼩
3. 结构体总⼤⼩为最⼤对⻬数（结构体中每个成员变量都有⼀个对⻬数，所有对⻬数中最⼤的）的整数倍。
4. 如果嵌套了结构体的情况，嵌套的结构体成员对⻬到⾃⼰的成员中最⼤对⻬数的整数倍处，结构体的整体⼤⼩就是所有最⼤对⻬数（含嵌套结构体中成员的对⻬数）的整数倍。

二、实例讲解

练习1

也就是文章开头所展示的代码

struct S1
{
 char c1;
 int i;
 char c2;
};
printf("%d\n", sizeof(struct S1));

而将成员的顺序交换后

struct S2
{
 char c1;
 char c2;
 int i;
};
printf("%d\n", sizeof(struct S2));

这也就是文章开头代码运行结果不同的原因
如果你知道了结构体内存对齐的规则，下面的两个练习，你可以动手试一试

练习2

struct S3
{
 double d;
 char c;
 int i;
};
printf("%d\n", sizeof(struct S3));

练习3-结构体嵌套问题

此时就要用到规则中的第四点

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

三、修改默认对齐数

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

#include <stdio.h>
#pragma pack(1)//设置默认对⻬数为1
struct S
{
 char c1;
 int i;
 char c2;
};
#pragma pack()//取消设置的对⻬数，还原为默认
int main()
{
 //输出的结果是什么？
 printf("%d\n", sizeof(struct S));
 return 0;
}

此时默认对齐数为1，就等同于不对齐，此时输出结果就是6

四、为什么存在内存对齐？

1.平台移植原因

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

2.性能原因

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

总结

我们在设计结构体的时候，为了既满足对齐规则又节约空间

尽量让空间占用小的成员集中在一起

struct S1
{
 char c1;
 int i;
 char c2;
};//结构体大小为12

struct S2
{
 char c1;
 char c2;
 int i;
};//结构体大小为8