目录
引言：
为什么存在结构体内存对齐?
结构体内存对齐规则：
练习一：
测试代码：
结果如下：
第二个练习：结构体的嵌套问题
测试代码：
代码结果如下：
两个关于结构体的易错点：
第一个易错点：
第二个易错点：结构的⾃引⽤
解决方法：
结语：
引言：
今天我们就要来学习一下考试经常考察的结构体内存对齐问题，相信有很多同学都被这个问题恶心过🤢，不过没有关系今天我会给你们讲清楚的，请各位系好安全带，我们要开始出发啦😃
为什么存在结构体内存对齐?
大部分的参考资料都是这样说的：
1. 平台原因 (移植原因)：
不是所有的硬件平台都能访问任意地址上的任意数据的；某些硬件平台只能在某些地址处取某些特定类型的数据，否则抛出硬件异常。
2. 性能原因：
数据结构(尤其是栈)应该尽可能地在自然边界上对齐。原因在于，为了访问未对齐的内存，处理器需要作两次内存访问；而对齐的内存访问仅需要⼀次访问。假设一个处理器总是从内存中取8个字节，则地址必须是8的倍数。如果我们能保证将所有的double类型的数据的地址都对齐成8的倍数，那么就可以用一个内存操作来读或者写值了。否则，我们可能需要执行两次内存访问，因为对象可能被分放在两个8字节内存块中。
总体来说：结构体的内存对齐是拿空间来换取时间的做法。
介绍完原因后，接下来是结构体内存对齐的规则（重中之重，这里一定要弄懂啊！！！）
结构体内存对齐规则：
1.结构体的第⼀个成员对⻬到和结构体变量起始位置偏移量为0的地址处
2. 其他成员变量要对⻬到某个数字（对⻬数）的整数倍（0，1，2...）的地址处。
对⻬数=编译器默认的⼀个对⻬数与该成员变量⼤⼩的较⼩值。
- VS 中默认的值为 8
- Linux中 gcc 没有默认对⻬数，对⻬数就是成员⾃⾝的⼤⼩
3. 结构体总⼤⼩为最⼤对⻬数（结构体中每个成员变量都有⼀个对⻬数，所有对⻬数中最⼤的）的整数倍。
4. 如果嵌套了结构体的情况，嵌套的结构体成员对⻬到⾃⼰的成员中最⼤对⻬数的整数倍处，结构体的整体⼤⼩就是所有最⼤对⻬数（含嵌套结构体中成员的对⻬数）的整数倍。
接下来为了帮助大家理解下面我给出几个实例大家可以自己手算
练习一：
因为c1是char类型1个字符，系统给的对齐数为8，和1相比取小的，c1的对齐数为min（1，8）所以在哪开始都可以，i是int类型4个字节要从它的整数倍开始，所以只能从min（4，8）开始，c2在哪都可以开始，最后不要忘了第三点结构体总⼤⼩为最⼤对⻬数（结构体中每个成员变量都有⼀个对⻬数，所有对⻬数中最⼤的）的整数倍。这里特别注意是总大小，不是最大下标，是最大下标加一。故最后下标到11位置，图解如下：
c1用蓝色表示，浪费的地址为白色，i为红色，c2为绿色
测试代码：
#define _CRT_SECURE_NO_WARNINGS 1
#include <stdbool.h>
#include <stdio.h>
#include <stdlib.h>
#include <stdio.h>
struct S1
{char c1;int i;char c2;
};
int main()
{int t = sizeof(struct S1);printf("%d", t);
}结果如下：
第二个练习：结构体的嵌套问题
解决这个问题后，大家结构体内存对齐问题就没有问题啦，大家快快算算看🙌
//练习2-结构体嵌套问题
struct S3
{
double d;
char c;
int i;
};
struct S4
{
char c1;
struct S3 s3;
double d;
};
printf("%d\n", sizeof(struct S4));
解释如下：c1跳过，既然要计算s3，那么我们就要返回S3中，先算s3的内存占多大，d为double类型8个字节min（8，8），0是8的整数倍，c随便，i对齐数为min（4，8），9不是4的倍数，故跳到12，最后算下来s3占的字节数为16图解如下。
计算完s3，我们终于可以计算s4了，s3的填入看看我们对齐规则的第四点：4. 如果嵌套了结构体的情况，嵌套的结构体成员对⻬到⾃⼰的成员中最⼤对⻬数的整数倍处，结构体的整体⼤⼩就是所有最⼤对⻬数（含嵌套结构体中成员的对⻬数）的整数倍。在本题结构体成员的成员中最大对齐数为d的8，故s3的对齐数为8，d为min（8，8），最后别忘了，第三点：3. 结构体总⼤⼩为最⼤对⻬数（结构体中每个成员变量都有⼀个对⻬数，所有对齐数中最⼤的）的整数倍。
总图解如下：（c1蓝色，s3绿色，d红色，白色为浪费空间）
测试代码：
#define _CRT_SECURE_NO_WARNINGS 1
#include <stdbool.h>
#include <stdio.h>
#include <stdlib.h>
#include <stdio.h>
//练习4-结构体嵌套问题
struct S3
{double d;char c;int i;
};
struct S4
{char c1;struct S3 s3;double d;
};
int main()
{printf("%d\n", sizeof(struct S4));return 0;
}
代码结果如下：
补充一个小知识：编译器的默认对齐数是可以自己修改的，c语言就是这么霸道
#pragma这个预处理指令，可以修改编译器的默认对齐数。用法如下：要加一个pack（）
#define _CRT_SECURE_NO_WARNINGS 1
#include <stdbool.h>
#include <stdio.h>
#include <stdlib.h>
#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;
}到这我就已经把结构体的对齐给你讲清楚了（大家一定要自己算算），考试遇到直接给它喵了！！！
两个关于结构体的易错点：
关于结构体为了防止大家出错，这里我给大家总结出来两个易错点供大家参考，大家看看自己有没有遇到这些情况，遇到了又该如何解决呢？下面我将带大家避免掉入这些坑。
第一个易错点：
大家先看看下面这个代码合不合法
struct
{int a;char b;float c;
}x;
struct
{int a;char b;float c;
}a[20], * p;
//下面这个合法吗
*p = x;
我们可以看到这是因为没有给结构体命名导致的争议，其实这是非法的，因为这两个结构体是不同的🙅，也就是说这两个结构体不是同一个类型的，所以匿名的结构体类型，如果没有对结构体类型重命名的话，基本上只能使用一次。
第二个易错点：结构的⾃引⽤
下面这个代码合法吗？🐱🏍
如果正确的话那么sizeof（struct Node）的值是多少？
很明显这是非法的，因为这样sizeof（struct Node）的值是无穷的，就好像递归没有出口一样
正确引用如下：
我们可以看到这就是类似链表洛
struct Node
{
int data;
struct Node* next;
};
解决方法：
定义结构体不要使用匿名结构体了（好习惯要记住哟！！！）
结语：
其实写博客不仅仅是为了教大家，同时这也有利于我巩固自己的知识点，和一个学习的总结，由于作者水平有限，对文章有任何问题的还请指出，接受大家的批评，让我改进，如果大家有所收获的话还请不要吝啬你们的点赞收藏和关注，这可以激励我写出更加优秀的文章。
