上一篇文章简单介绍了一下结构体的基础知识,现在深入了解一下结构体的大小,同时也是结构体的热门考点。
在介绍结算结构体大小之前,先了解一下结构体的内存对齐规则。
结构体的内存对齐规则
1.结构体的第⼀个成员对⻬到和结构体变量起始位置偏移量为0的地址处。
2.其他成员变量要对⻬到某个数字(对⻬数)的整数倍的地址处。
对⻬数=编译器默认的⼀个对⻬数与该成员变量⼤⼩的较⼩值。
-VS 中默认的值为 8
-Linux中gcc没有默认对⻬数,对⻬数就是成员⾃⾝的⼤⼩
3.结构体总⼤⼩为最⼤对⻬数(结构体中每个成员变量都有⼀个对⻬数,所有对⻬数中最⼤的)的整数倍。
4.如果嵌套了结构体的情况,嵌套的结构体成员对⻬到⾃⼰的成员中最⼤对⻬数的整数倍处,结构体的整体⼤⼩就是所有对齐数中最⼤对⻬数(含嵌套结构体中成员的对⻬数)的整数倍。
接下来进行两个小练习:
#include<stdio.h>
struct S
{
char i;
char b;
int n;
}s;
struct S1
{
char i;
int n;
char b;
}s1;
int main()
{
printf("%d\n", sizeof(s));
printf("%d\n", sizeof(s1));
return 0;
}
上面代码我们创建了两个结构体S和S1,两个结构体成员一模一样,利用两个结构体分别创建变量s和s1,用sizeof()求两个变量的大小。
有人会像上面这张图一样,每个成员的大小列出来一加就得出了结果,有的了解了对齐规则,直到肯定不是这样,但又求不出来正确答案。
那到底是怎样的呢,我们运行看一下。
如图,S是8个字节,S1是12个字节,这是怎么得出来的呢?
接下来我们通过内存对齐规则具体看一下它们的内存分布情况。
结构体的内存分布
变量i大小是1,默认对齐数是8,对齐数就是1,偏移量是对齐数的整数倍,所以可以放在偏移量为0的位置。
变量b与i相似,就不再做解释。
变量n是整形,自身大小是4,默认对齐数是8,对齐数就是4,偏移量是4的倍数,那就只能是4、8、16等,为了节省空间,就放在了4的位置。
具体存放如图。
那么每个变量存放的位置知道了,在结合对齐规则第三条,就可得它的大小就是8个字节。
同理根据相同的原理就可得S1的大小就是12了。
为什么存在内存对齐
- 平台原因(移植原因):
不是所有的硬件平台都能访问任意地址上的任意数据的;某些硬件平台只能在某些地址处取某些特定类型的数据,否则抛出硬件异常。 - 性能原因:
数据结构(尤其是栈)应该尽可能地在⾃然边界上对⻬。原因在于,为了访问未对⻬的内存,处理器需要作两次内存访问;⽽对⻬的内存访问仅需要⼀次访问。假设⼀个处理器总是从内存中取8个字节,则地址必须是8的倍数。如果我们能保证将所有的double类型的数据的地址都对⻬成8的倍数,那么就可以⽤⼀个内存操作来读或者写值了。否则,我们可能需要执⾏两次内存访问,因为对象可能被分放在两个8字节内存块中。
总体来说:结构体的内存对⻬是拿空间来换取时间的做法。
那在设计结构体的时候,我们既要满⾜对⻬,⼜要节省空间,如何做到:
尽量将变量内存小的放在一起。
如上面的例子,字符变量放在一起就会比分开节省很多空间。
修改默认对齐数
#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,那么结构体的存放就会一个一个字节连着存放,那结构体的大小就变成了所有变量的大小之和(这里以修改对齐数为1举例)。
结构体传参
分别以结构体和地址的形式传参
#include<stdio.h>
struct S
{
int data[1000];
int num;
};
struct S s = { {1,2,3,4}, 1000 };
//结构体传参
void print1(struct S s)
{
printf("%d\n", s.num);
}
//结构体地址传参
void print2(struct S* ps)
{
printf("%d\n", ps->num);
}
int main()
{
print1(s); //传结构体
print2(&s); //传地址
return 0;
}
从下面的运行结果可以看出两端代码的效果一样。
那么传参的时候用结构体本身传参还是地址传参呢?
推荐使用地址传参。
原因:
1.函数传参的时候,参数是需要压栈,会有时间和空间上的系统开销。(也就是函数要重新创建一份形参来存放实参,当结构体内有成员空间较大会由时间空间的开销)
2.地址传参可以改变变量的内容,结构体本身传参不可以。如下两幅图。
----------------------------分隔符
本次介绍结束,感谢各位观看。
有错请在评论区指正,谢谢大家。