一、结构体、枚举、联合
1.结构体
- 结构体类型的声明
- 结构体的自引用
- 结构体变量的定义和初始化
- 结构体内存对齐
- 结构体传参
- 结构体实现位段(位段的填充&可移植性)
2.枚举
- 枚举类型的定义
- 枚举的优点
- 枚举的使用
3.联合
- 联合类型的定义
- 联合的特点
- 联合大小的计算
二、结构体
1.结构体的声明
普通结构体
匿名结构体(必须根据变量列表直接创捷结构体变量否则在其他地方无法创建)
上面两个结构体在声明的时候省略掉了结构体标签(tag)
但是这种赋值的写法是非法的,编译器会把上面两个声明当成完全不同的两个类型,所以需要注意。
2.结构体的自引用
3.结构体重命名
4.结构体初始化
结构体中嵌套结构体的初始化
结构体中嵌套结构体的打印
5.结构体内存对齐
如何计算结构体大小?
1.第一个成员在与结构体变量偏移量为0的地址处
2.其他变量要对齐到某个数字(对齐数)的整数倍的地址处
vs编译器默认对齐数是8byte
gcc没有默认对齐数,直接以成员大小值作为对齐数
对齐数 = 编译器默认的一个对齐数 与 该成员大小的 较小值
3.结构体的大小必须是最大对齐数的整数倍(鹏哥课程p59-11分12秒)
4.如果是嵌套了结构体的情况,嵌套的结构体对齐到自己的最大对齐数的整数倍处,结构体的整体大小就是所有最大对齐数(含嵌套结构体的对齐数)的整数倍
为什么存在内存对齐?
1.平台原因(移植原因):不是所有的硬件平台都能访问任意地址上的任意数据的;某些硬件平台只能在某些地址处取某些特定类型的数据,否则抛出硬件异常。
2.性能原因:数据结构(尤其是栈)应该尽可能地在自然边界上对齐。原因在于,为了访问未对齐的内存,处理器需要作两次内存访问;而对齐的内存访问仅需要一次访问
总体来说:内存对齐是用空间来换取时间的做法
所以在设计结构体的时候要满足对齐,尽可能先让占内存小的部分在一起,减少内存浪费
例如:char a;
Char b;
Double c;
会比
char a;
Double c;
Char b;
内存浪费少
修改默认对齐数
使用pragma预指令
结论:在结构体对齐方式不合适的时候,可以考虑优化内存,去自己更改默认对齐方式
结构体偏移
Offsetof()偏移量结构体成员相对于结构体成员的偏移量(需要引用头文件<stdder.h>)
6.结构体传参
这种传参方式,传给Init函数的是一个形参,他的地址与原结构体变量不一致,所以最后不会改变结构体变量
传入地址,用指针去接收
也可以用来传值,用结构体变量去接收
函数传参的时候,参数是需要压栈,会有时间和空间上的系统开销。
如果传递一个结构体对象的时候,结构体过大,参数压栈的系统开销会比较大,会导致性能的下降
两者对比来说还是传址更好,可以节约内存,有时候不改变结构体变量可以用const去修饰指针,来达到目的。
7.位段
位段的声明和结构是相似的,有两个不同:
1.位段的成员必须是int, unsigned int 或signed int
2.位段成员名后边有一个冒号和一个数字
位段的内存分配
1.位段的成员可以是int, unsigned int, 或者是char(属于整型家族)类型
2.位段的空间上是按照需要以4个字节(int)或者一个字节(char)的方式来开辟的
3.位段涉及很多不确定因素,位段是不跨平台的,注重可移植的程序应该避免使用位段
位段的跨平台问题
1.int 位段呗当成有符号数还是无符号数是不确定的
2.位段的最大数目不能确定。(16位机器最大16,32位机器最大32)
3.位段中的成员在内存中从左向右分配,还是从右向左分配标准尚未定义
4.当一个结构体包含两个位段,第二个位段成员比较大,无法容纳于第一个位段的剩余位时,是舍弃剩余的位还是利用是不确定的
总结:
跟结构相比,位段可以达到同样的效果,但是可以很好的节省空间,但是跨平台的问题依然存在
三、枚举
1.枚举类型的定义
枚举常量默认从0开始
枚举常量在设定的时候可以更改,但是在定义完之后就不可以再更改
对于初始值的设定,设定完一个值后,他后面的值会相应改变,而前面的值保持默认值不变
2.枚举的优点
1.增加代码的可读性和可维护性
2.和#define定义的标识符比较枚举有类型检查,更加严谨
3.防止了命名污染(封装)
4.便于调试
5.方便使用,一次可以定义多个常量
3.枚举的使用
只能拿枚举常量给枚举变量赋值,才不会出现类型的差异
四、联合(联合体/共用体)
1.联合体声明
共用同一块空间,并且只占最大成员的大小
2.联合体的特点
1.联合体的成员是共用同一块内存空间的,这样一个联合变量的大小,至少是最大成员的大小(因为联合体至少得用能力保存最大的那个成员)
2.由于联合是同时共用一块空间,所以同一时刻更改一个成员时另一个也会被改变,所以两个成员不可以同时使用,要分开
3.大小端的判断
简单实现方式
封装函数实现
用联合体实现
内部可以考虑使用匿名结构体,直接创建变量,使用一次之后不再使用
4.联合体大小的计算
1.联合体的大小至少是最大成员的大小
2.当最大成员大小不是最大对齐数的整数倍时,就要对齐到最大对齐数的整数倍