本期博客主要学习一下这四种自定义类型的使用以及一些细节。
结构体 struct S 中有三个成员变量,分别为char,int,char类型,加起来总共是6个字节,而结果却显示大小是12个字节,原因是结构体存在内存对齐规则。
offsetof是一个宏,可以计算结构体成员相对于结构体起始内存的一个偏移量(单位是字节),由此可以分析出各个成员变量在内存中的分布,如下图,其实结构体成员变量在存储的时候是遵循内存对齐的规则的。
结构体内存对齐规则:
1.第一个成员存到结构体变量偏移量为0的地址处
2.其他成员变量需要对齐到某个数字(对齐数)的整数倍偏移量处,对齐数=编译器默认的一个对齐数与该成员大小的较小值(vs中默认对齐数为8)
3.结构体总大小为最大对齐数的整数倍(每个成员都有一个对齐数)
4.如果结构体嵌套了结构体,嵌套的结构体对齐到自己的最大对齐数的整数倍处,结构体的整体大小就是最大对齐数的整数倍(含嵌套结构体的对齐数)
为什么存在内存对齐?
1.平台原因(移植原因)
不是所有的硬件平台都能访问任意地址上的数据,某些硬件平台只能在某些地址处取某些特定的数据,否则硬件异常
2.性能原因:
为了访问未对齐的内存,处理器可能需要作两次内存访问,而对齐的内存只需访问一次,提高了效率,结构体的内存对齐是拿空间换时间的做法。
位段:
上图可以看到位段 struct S1占用了三个字节的内存空间,那么具体内存是怎么分配给各个成员的呢,各个成员变量为char类型,所以每次分配一个字节。首先开辟一个字节空间,a占用了3个bit, b 占用了4个bit,还剩一个bit,而c需要5个bit,那么就再开辟一个字节空间,那到底c是占用剩下的一个bit,再占用第二个字节的4个bit,还是浪费剩下的那一个bit,占用第二个字节的5个bit呢?其实c语言本身并没有规定,至于怎么占用取决于编译器(所以位段不具有跨平台型)(vs中是第二种方式),c占用了第二个字节的5个bit,还剩三个bit,不够d占用,所以再开辟第三个字节,所以 struct S1 共占用3个字节。
那既然a和b都存放在第一个字节中,那a是先占据高位还是先占据低位呢,这个是不确定的,我们假设a先占据低位,,那么b则占据高位,如下图存储完后数据应为62 03 04
根据内存可以看到和我们预想结果一样,所以位段成员在同一个字节内部存储时,先占据低位,后占据高位。
struct S2中成员变量都是int 类型,所以我们首先开辟四个字节空间,a占用了两个bit,b占用了五个bit,c占用了10个bit,还剩15个bit,不够d的30个bit,所以再开辟四个字节,d占用了后开辟的32个bit中的30个bit。
位段的优势是减小内存占用,但位段也有一些问题
位段的跨平台问题:
1.int位段被当成有符号数还是无符号数是不确定的
2.位段中最大位的数目不能确定(16位机器int占16bit,32位机器int占32bit)
3.位段中成员在内存中从左向右分配,还是从右向左分配不确定(两个成员变量在同一字节中先占据高位,还是先占据低位)
4.当一个结构体包含两个位段,第二个成员比较大,无法容纳于第一个位段剩余的位时,是舍弃剩余的位,还是利用,这是不确定的。
枚举:
枚举类型可能取值MALE,FEMALE,SECRET初始值分别为0,1,2。不过初始值可以改变
联合(共用体):
联合体的特殊之处在于成员变量共用同一块内存空间,(从打印出的地址可以看出)
联合体的大小:
1.联合体的大小至少是最大成员的大小
2.如果最大成员的大小不是最大对齐数的整数倍,则要对齐到最大对齐数的整数倍