前言:在本章,将介绍结构体在内存中是如何存储的以及结构体内存对齐的规则。
若是对结构体不太了解的朋友,可看看这篇文章:自定义类型之结构体
请让我以一个问题开始今天的博客:
问:下面这段代码的输入结果是多少呢?(VS环境)
#include<stdio.h>
struct s1
{
int a;
char b;
};
int main()
{
printf("%d", sizeof(struct s1));
return 0;
}
输入结果如下:
为什么输入结果是8而不是5呢?这与结构体在内存中特殊的存储方式有关,下面将为大家仔细讲解。
结构体的内存对齐规则
1.第一个结构体成员在与结构体变量
偏移量
为0的地址处。
2.其它结构体成员要对齐到对应的对齐数
的整数倍的地址处
对齐数
:编译器默认的一个对齐数与该结构体成员大小的较小值。VS中默认值为8
linux中没有默认对齐数,对齐数就是结构体成员自身的大小3.结构体的总大小为最大对齐数(每个结构体成员都有一个对齐数)的整数倍。
4.如果结构体中嵌套结构体,则嵌套的结构体需要对齐到自己的最大对齐数的整数倍处,而结构体的整体大小是所有最大对齐数(含嵌套结构体的对齐数)的整数倍。
下面将通过代码逐点解释:
1.第一个结构体成员在与结构体变量偏移量为0的地址处。
这里引入了一个全新的词汇:
偏移量
:结构体中某地址相对于首地址的偏移
就以文章开头给出的代码为例:
struct s1
{
int a;
char b;
};
2.其它结构体成员要对齐到对应的对齐数的整数倍的地址处
首先需要知道什么是
对齐数
:编译器默认的一个对齐数与该结构体成员大小的较小值。
以VS为例,VS默认的对齐数是8,如若我们需要对齐的是一个int型的结构体成员。则用8与4比较,4较小,则为int型的对齐数,该int型结构体成员需要对齐到4分整数倍的地址处。
struct s1
{
int a;
char b;
};
3.结构体的总大小为最大对齐数(每个结构体成员都有一个对齐数)的整数倍。
struct s1
{
int a;
char b;
};
上面我们已得出a的对齐数为4,b的对齐数为1,取结构体成员的最大对齐数4,则结构体的总大小必须是4的整数倍,若不是,则需要浪费空间对齐。
至此,该结构体在内存中占的空间大小就算出来了。
4.将a,b互换位置解释,加深理解。
struct s1
{
char b;
int a;
};
步骤与上面一样,这里就不再一步一步解释,给出解释图。
则该结构体在内存中占8个字节。
结构体中嵌套结构体
如果大家看懂了上面的内容的话,理解嵌套结构体是轻而易举的事情:如果结构体中嵌套结构体,则
嵌套的结构体需要对齐到自己的最大对齐数的整数倍处
,而结构体的整体大小是所有最大对齐数
(含嵌套结构体的对齐数)的整数倍。
以下列代码为例:
#include<stdio.h>
struct s1
{
double c;
char d;
int e;
};
struct s2
{
int a;
struct s1 S1; //嵌套结构体
char b;
};
int main()
{
printf("%d", sizeof(struct s2));
return 0;
}
输出结果为:
解释图:
修改默认对齐数
结构体在对齐方式不合适的时候,我们可以自己更改默认对齐数。
使用时,在开头添加#pragma pack(n)
n为想要更改成的默认对齐数
结束时,若想取消自己更改的默认对齐数,则添加#pragma pack ()
更改的默认对齐数一般都是2的倍数。
比如我想将默认对齐数改为1,仍以文章开头的代码为例:
#include<stdio.h>
#pragma pack(1) //将默认对齐数改为1
struct s1
{
int a;
char b;
};
#pragma pack() //取消自己更改的默认对齐数
int main()
{
printf("%d", sizeof(struct s1)); //猜猜看现在的输出结果是多少呢?
return 0;
}
输出结果如下:
为什么存在内存对齐
1.性能原因:结构数据(尤其是栈)应该尽可能地在自然边界上对齐。原因在于,为了访问未对齐的内存,处理器需要作两次内存访问;而对齐的内存访问进需要一次访问即可。
2.平台原因(移植原因):不是所有的硬件平台都能访问任意地址上的任意数据的;某些硬件平台只能在某些地址处取某些特定类型的数据,否则抛出硬件异常。
总的来说:结构体的内存对齐时拿空间换取时间的做法。
文末BB:对哪里有问题的朋友,可以在评论区留言,若哪里写的有问题,也欢迎朋友们在评论区指出,博主看到后会第一时间确定修改。最后,制作不易,如果对朋友们有帮助的话,希望能给点点赞和关注.