室友利用一把王者的时间就学会了【C语言结构体内存对齐】

提示：以下是本篇文章正文内容，下面案例可供参考

一、什么是结构体内存对齐？

从结构体存储的首地址开始，每个元素放置到内存中时，它都会认为内存是按照自己的大小（通常它为4或8）来划分的，因此元素放置的位置一定会在自己宽度的整数倍上开始，这就是所谓的内存对齐。

二、结构体的对齐规则

1. 第一个成员在与结构体变量偏移量为0的地址处。
2. 其他成员变量要对齐到某个数字（对齐数）的整数倍的地址处。对齐数 =编译器默认的一个对齐数与该成员大小的较小值。VS中默认的值为8，Linux中没有默认对齐数，自身大小就是对齐数。
3. 结构体总大小为最大对齐数（每个成员变量都有一个对齐数）的整数倍。
4. 如果嵌套了结构体的情况，嵌套的结构体对齐到自己的最大对齐数的整数倍处，结构体的整体大小就是所有最大对齐数（含嵌套结构体的对齐数）的整数倍。

结构体内存对齐规则的具体应用

代码如下（示例）：

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

解析：

输出的结果是12. c1是char类型，占一个字节，根据对齐规则1第一个成员在与结构体变量偏移量为0的地址处. i是int类型，占四个字节，要对齐到对齐数的整数倍数，在vs中对齐数是8，int类型的对齐数就是4，所以应该对齐到4的整数倍处， c2是char类型，占一个字节，对齐数是1，所以对齐到1的整数倍，此时结构体类型一共占用了9个字节的空间，但是根据对齐规则第三条结构体总大小为最大对齐数（每个成员变量都有一个对齐数）的整数倍。 在这个结构体中最大对齐数为int类型的对齐数为4，所以要取4的整数倍取到12，所以结果就是12 我们来看一下具体的内存分布图：

代码如下（示例）：

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

这里的类型和上面的都一样，但是我们发现char的类型和int的类型分开了，这样结果会一样吗？
解析：

输出的结果是8.c1是char类型，占一个字节　根据对齐规则1第一个成员在与结构体变量偏移量为0的地址处. c2是char类型，占一个字节，对齐数是1，所以对齐到1的整数倍， i是int类型，占四个字节，要对齐到对齐数的整数倍数，在vs中对齐数是8，int类型的对齐数就是4，所以应该对齐到4的整数倍处， 　此时结构体类型一共占用了8个字节的空间，正好为最大对齐数的整数倍，所以结果就是8 我们来看一下具体的内存分布图：

下面的代码解释一下，嵌套结构体的情况：

代码如下（示例）：

struct S4
{
 char c1;
 struct S3 s3;//这里说明一下结构体ｓ3的大小为16字节  它的里面最大对齐数为8
 double d;
};
printf("%d\n", sizeof(struct S4));

解析：

输出的结果是32.c1是char类型，占一个字节　根据对齐规则1第一个成员在与结构体变量偏移量为0的地址处.　ｓ3是属于嵌套结构体，这里说明一下结构体ｓ3的大小为16字节 它的里面最大对齐数为8如果嵌套了结构体的情况，嵌套的结构体对齐到自己的最大对齐数的整数倍处，结构体的整体大小就是所有最大对齐数（含嵌套结构体的对齐数）的整数倍。所以ｓ3就对齐到8的整数倍处。　ｄ的自身大小是8，默认对齐数为8所以对齐数就是8，所以应该对齐到8的整数倍处.　又因为结构体的整体大小就是所有最大对齐（含嵌套结构体的对齐数）的整数倍 ，最大对齐数为8，32又是8的倍数所以结果就是32 我们来看一下具体的内存分布图：

三、为什么会存在内存对齐

大部分的参考资料都是如是说的：
1.平台原因(移植原因)：不是所有的硬件平台都能访问任意地址上的任意数据的；某些硬件平台只能在某些地址处取某些特定类型的数据，否则抛出硬件异常。
2. 性能原因：数据结构(尤其是栈)应该尽可能地在自然边界上对齐。原因在于，为了访问未对齐的内存，处理器需要作两次内存访问；而对齐的内存访问仅需要一次访问。

是什么意思呢，下面来解释一下：
我们画图来说明，假设存放的是一个ｃｈａｒ类型一个ｉｎｔ类型的数据

我们就可以理解为：结构体的内存对齐是拿空间来换取时间的做法。虽然浪费了一部分空间，但是对后期数据的读取节省了时间，方便了操作。

总结

那在设计结构体的时候，我们既要满足对齐，又要节省空间，我们就应该让占用空间小的成员尽量集中在一起。
以上就是一些关于C语言结构体内存对齐的内容
🌟Hello world 我们下期见！