1.6:结构体的内存对其:
先上例子:下面声明了两个结构体类型,分别是struct S1和struct S2,它们的成员列表都定义了两个char型变量和一个整型变量,只是定义的先后顺序有所不同,接下来我们来计算这两个结构体类型的大小(单位是字节),大家猜猜,这两个结构体的大小是多少?他俩的大小相等嘛?
struct S1 { char c1; int i; char c2 }; struct S2 { char c1; char c2; int i; }; int main() { printf("%d\n", sizeof(struct S1)); printf("%d\n", sizeof(struct S2)); return 0; } //结果: 12 8
这里计算结果显示struct S1的大小是12个字节,而struct S2的结果是8个字节,为什么是这样的结果呢?这就涉及到结构体内存对齐的知识了。
对齐规则
第一个成员在结构体变量偏移量为0的位置
其他成员变量要对齐到某个数字(对齐数)的整数倍的地址处。
对齐数=编译器默认的一个对齐数与该成员自身大小的较小值
vs中的默认对其数是8,Linux和gcc都没有默认对齐数,对齐数就是成员自身大小
结构体总大小为最大对齐数(每个成员变量都有一个对齐数)的整数倍
如果嵌套了结构体的情况,嵌套的结构体对齐到自己自己的最大对齐数的整数倍处,结构体的整体大小就是所有最大对齐数(含嵌套结构体成员中的对齐数)的整数倍
结构体成员中如果有数组,可以这样来理解:比如结构体中有一个int c[5];,其实这就相当于这个结构体中放了5个int型的变量。
创建一个struct s1类型的变量,探究其在内存中的存储
这里定义了一个struct S1类型的变量s,接下来就要给这个s在内存中开辟空间。首先为结构体中的char c1开辟空间,根据对齐规则:第一个成员在结构体变量偏移量为0的位置,所以为c1开辟的空间如上图中的粉色区域。接下来为结构体中的int i开辟空间,根据对齐规则:其他成员变量要对齐到某个数字(对齐数)的整数倍的地址处。这里i是一个整型变量,它的自身大小是4个字节,当前的编译环境是vs2019,它的默认对齐数是8,取两者的较小值,即此时i变量的对齐数应该是4,偏移量为1、2、3的地址都不是这个对齐数的整数倍,所以i的地址应该从偏移量为4的地址处开始,向后开辟4个字节用来存放i,如上图中的紫色区域。最后为结构体中的char c2开辟空间,c2遵循的规则和i一样,c2是一个字符型变量,它的自身大小是1,默认大小是8,取两者的较小值,就是1,偏移量为8的地址是1的整数倍,所以如上图中的绿色区域就是为c2开辟的存储空间。此时已经为结构体中的所有成员都开辟了空间,此时结构体的大小是9个字节,根据规则:结构体总大小为最大对齐数(每个成员变量都有一个对齐数)的整数倍。因此,当前结构体的总大小不符合对齐规则,那就只能继续扩容,直到满足要求为止。c1的对齐数是1,i的对齐数是4,c2的对齐数是1,取对齐数最大的,也就是4,结构体的总大小就得是4的整数倍,当结构体的大小增加到12个字节的时候就满足对齐规则了。因此最终结构体变量s的大小是12个字节
创建一个struct s2类型的变量,探究其在内存中的存储
这里就不再详细介绍struct S2 s的创建过程,大家可以试着自己分析一下,最后再结合上图看看分析出来的结果和上图是否相同。
验证偏移量:
我们可以通过offsetof这个宏来计算结构体成员相对于结构体起始地址的偏移量,这个宏有两个参数。第一个参数是结构体的类型,第二个参数是结构体的成员名,它的返回值是一个整型也就是偏移量的值。
#include <stddef.h> //offsetof的头文件 struct S1 { char c1; int i; char c2; }; struct S2 { char c1; char c2; int i; }; int main() { printf("%d\n", offsetof(struct S1, c1)); printf("%d\n", offsetof(struct S1, i)); printf("%d\n", offsetof(struct S1, c2)); printf("\n"); printf("%d\n", offsetof(struct S2, c1)); printf("%d\n", offsetof(struct S2, c2)); printf("%d\n", offsetof(struct S2, i)); return 0; } //结果: 0 4 8 0 1 4
1.6.1:为什么存在内存对齐?
- 平台原因(移植原因):
不是所有的硬件平台都能访问任意地址上的任意数据的;某些硬件平台只能在某些地址处取某些特定类型的数据,否则抛出硬件异常。 - 性能原因:
数据结构(尤其是栈)应该尽可能地在自然边界上对齐。原因在于,为了访问未对齐的内存,处理器需要作两次内存访问;而对齐的内存访问仅需要一次访问。 - 结构体的内存对齐是拿空间来换取时间的做法
在设计结构体的时候如何实现节省空间呢?
让占用空间小的成员尽量集中在一起。
1.7:修改默认对齐数:
通过#pragma pack()来设置默认对齐数
实际应用:
//修改默认对齐数 #pragma pack(1)//把默认对齐数设置成4 struct S1// { char c1; int i; char c2; }; #pragma pack()//恢复默认对齐数,恢复成原来的8 int main() { printf("%d\n", sizeof(struct S1)); return 0; } //结果: 6
为什么是6呢?
因为此时的对齐数被修改成了1,此时对于结构体成员中的i来说,它的自身大小是4个字节,当前的默认对齐数是1,取两者的较小值,也就是1,此时i变量在内存中的地址就可以从偏移量是1的地方开始,因此最终这个结构体类型的大小变成了6个字节。可见如果把默认对齐数修改成1,那么就不存在内存对齐了,所有的结构体成员变量在内存中都是紧挨着放的。
1.8:结构体传参:
//结构体传参 struct S { int data[4]; int num; }; //直接传结构体变量 void print1(struct S s)//实参传的是一个结构体变量,所以形参用一个对应的结构体变量来接收 { int i = 0; for (i = 0; i < 4; i++) { printf("%d ", s.data[i]); } printf("%d\n", s.num); } //传结构体的地址 void print2(struct S* ps)//实参传的是结构体变量的地址,所以形参用一个对应类型的结构体指针来接收 { int i = 0; for (i = 0; i < 4; i++) { printf("%d ", ps->data[i]); } printf("%d\n", ps->num); } int main() { struct S s = { {1,2,3,4}, 1000 }; print1(s); //传结构体 print2(&s); //传地址 return 0; }
上面展示了两种结构体传参的方法,分别是传结构体变量和传结构体的地址,对于这两种传参的方法在使用的时候该如何抉择呢?
答案是:首选传结构体的地址。原因在于,函数传参的时候是需要压栈的,会有时间和空间上的系统开销。如果传递一个较大的结构体变量,参数压栈的系统开销就会比较大,这样就会导致性能的下降。
二:位段
2.1:什么是位段?
位段的声明和结构体的声明是比较类似的,但是有以下两个不同点:
- 位段的成员必须是int、unsigned int、signed int等整型家族的类型。(大部分平台也支持char类型。一个位段的所有成员类型一般都是相同的)
- 位段的成员名后边有一个冒号和一个数字
例如:
struct A { int _a : 2; int _b : 5; int _c : 10; int _d : 30; }; //这里的A就是一个位段类型 int main() { printf("%d\n", sizeof(struct A)); return 0; }
上面代码中的struct A就是一个位段类型,但是当我们计算这个位段类型的大小时,得到的结果是8。这是为什么呢?按照我们一般的想法:一个int型的大小是4个字节,这里一共有四个int型,所以这个类型的大小应该是16个字节才对。那这里的8到底是怎么得来的呢?这就要利用接下来要介绍的知识“位段的内存分配”来解释了。
2.2:位段的内存分配
首先我们需要知道,位段中的"位"指的是二进制位。int _a : 2;表示给_a变量分配2个bit位();int _b : 5;表示给_b变量分配5个bit位,以此类推:给_c变量分配10个bit位,给_d变量分配30个bit位。
结构体能干什么位段就能干什么,位段只是比结构体更节省空间而已。
位段的成员可以是 int unsigned int signed int 或者是 char (属于整形家族)类型
位段的空间上是按照需要以4个字节(int)或者1个字节(char)的方式来开辟的
位段设计很多不确定因素,位段是不跨平台,注重可移植的程序应该避免使用位段
以上面代码中的struct A类型的位段为例,探究其在内存中的分配
struct A的位段成员都是int型,所以会按照4个字节来开辟空间,首先开辟第一个4字节的空间(32bit),_a占用其中的两个bit位,_b占用里面的五个bit位,_c占用里面的十个bit位,此时,第一次开辟的4个字节(32bit)只剩下15bit了,而_d需要30bit,因此空间不够,需要再开辟第二个4字节空间(32bit),所以struct A这个类型的大小就是8个字节(64个bit位)。但此时就遇到一个比较尴尬的问题,_d到底会不会利用前面剩下的15个bit位呢?这个并没有定论,C语言标准也没有对此做出任何规定,不同的编译器可能会有不同的处理方法。
注意:位段成员后面的数字不得超过它自身本来的大小,例如位段成员如果是int型,那么它后面的数字就不得超过32,因为一个int型的变量它本来的大小是4个字节,就是32位bit。(这里针对的是32位机和64位机,早期的16位机,一个int型的大小是16个字节)
2.3:验证vs2019上位段的内存分配和使用
通过调用内存调试窗口。我们发现再在vs2019这个编译器上,对于前面剩下的字节,下一个位段成员是没有再利用的。
2.4:位段的跨平台问题
int位段被当成有符号数还是无符号数是不确定的
位段中最大位的数目不能确定。(比如 int 型在16位机器中最大只有16bit,在32和64位机器上最大有64bit)
位段中的成员在内存中从左向右分配,还是从右向左分配标准尚未定义
当一个结构体包含两个位段,第二个位段成员比较大,无法容纳于第一个位段剩余的 bit 位时,是舍弃剩余的位还是利用,这也是不确定的
2.5:位段的应用
位段会被应用在网络数据传输中,它可以有效缓解网络“拥堵”。
总结:
今天,我们从结构体的一般声明开始,了解了一种特殊的声明(匿名结构体),学习了结构体变量的定义和初始化,探究了结构体的内存对齐,并介绍了修改默认对齐数方法,最后介绍了一种特殊的结构体——位段,它的最大优点是比普通的结构体更加节省空间。
以上的内容如果对你有帮助的话,可以动动小手点赞、评论、收藏,你的支持就是我前进路上最大的动力!