1.结构体的内存对齐
既然已经明白了浮点数和整数在内存中的存储,那么接下来就可以来看看结构体在内存中的存储了。
首先来看一段代码
#include <stdio.h>
int main()
{
struct S
{
char a;
int b;
char c;
};
struct A
{
int a;
char b;
char c;
};
printf("%d\n", sizeof(struct A));
printf("%d\n", sizeof(struct S));
return 0;
}
当我第一次看到这段代码的时候,我会觉得这两个结构体的所占内存是一样的,两个结构体里面的三个变量都是一样的,这结果很容易显而易见。但是其输出结果却令我震惊。
这是为什么?难道说结构体的存储没我们想的那么简单吗?
这就涉及到结构体在内存中的存储的一种执行方式——结构体的内存对齐。
什么是结构体内存对齐呢?
首先,我们来了解一下结构体内存对齐的基本规则。
1.结构体的第一个成员对齐到相应结构体变量起始位置偏移量为0的地址处
2. 其他成员变量要对⻬到某个数字(对⻬数)的整数倍的地址处。
3. 结构体总⼤⼩为最⼤对⻬数(结构体中每个成员变量都有⼀个对⻬数,所有对⻬数中最⼤的)的 整数倍。
4.如果嵌套了结构体的情况,嵌套的结构体成员对⻬到⾃⼰的成员中最⼤对⻬数的整数倍处,结构
体的整体⼤⼩就是所有最⼤对⻬数(含嵌套结构体中成员的对⻬数)的整数倍。
——————————————————分割线——————————————————————
说实话,上面的规则我看着也觉得很抽象,下面就来浅谈一下我的拙见~
首先,我们来了解一下结构体里面的内存存放空间是怎么样的
![](https://img-blog.csdnimg.cn/775d7046448a4afa859c8f8905082ad8.png)
我们能看到,在这一块内存里面,有很多个空间,这些空间类似数组,下标都是从0开始。结构体里面的第一个变量不管是什么类型,都是把他的对齐数放在从0开始的位置。
对齐数其实就是一个占据字节的数字,而对齐数在VS中的默认值是8,在对齐过程中,比如要一个int类型,就要跟默认对齐数来作比较。拿什么来跟默认对齐数对比呢?就拿你将要对比的数据类型所在内存中占的字节数来对比,比如我要对比int类型的数据,他在内存中所占据的字节数为4,那么就拿他跟默认对齐数8来对比,它如果比默认对齐数小,那就对齐4个字节,如果相等或是大于默认对齐数,则是8个字节。
我们以struct S来举例子,这个结构体的第一个变量是int类型,第二、三个变量都是char类型,那么第一个变量则存进0-3的空间里面,接下来两个char类型的对齐数全是1,因为1跟8来比较,1的对齐数小,所以就选择1。然后存进4,5的空间里,到目前为止,这个内存空间应该是6个字节才对,那为什么会出现8个字节的结果?这就涉及到对齐的最后一步:总内存是结构体变量里面的最大对齐数的整数倍数,在结构体里面,最大的对齐数是int类型的4个字节,整数倍是8,因此最后的输出结果是8个字节~
2.如何设计结构体才能让其所占的空间最小
既然我们已经明白了结构体在内存中是如何存储的,那么我们就可以尝试去思考如何设计结构体所占的内存是最小的,利用空间的效率是最高的。
其实存在结构体对齐的原因是非常简单的,就是为了提高程序的运行效率,用空间来换取时间。
那么在设计结构体的时候,我们可以把所占内存空间小的变量尽量集中在一起
例如
这样的结构体所占的内存相对较小,空间的利用率较高
3.如何修改默认对齐数?
可以使用#pragma这个预处理指令来修改默认对齐数