目录
⌛一、结构体
1.结构的基础知识
结构是一些值的集合,这些值称为成员变量。结构的每个成员可以是不同类型的变量。
数组是一组相同类型的元素的集合。结构体也是一些值的集合,结构体的每个成员可以是不同类型的。
2.结构体的声明
结构体关键字:struct
结构体的标签:tag
结构体的类型:struct tag
结构的成员列表:member_list
结构体变量列表:variable_list
例如描述一个学生:包括学生的姓名、学号、年龄、性别
上面的结构体声明方式属于完全声明,当然也存在不完全声明的情况,比如说省略结构体的标签
举例:
上面的两个结构在声明的时候省略掉了结构体标签(tag)。那么问题来了?
**思考:**p = &x; 这句代码合法吗?能在编译器中正常运行吗?
编译器会报出警告:编译器会把上面两个声明当成完全不同的两个类型,所以是非法的。
typedef-- - 类型重定义
思考:能否用typedef来重定义匿名结构体类型呢?
例如:
这种方式在编译器下是跑不过的!
解决方法:
思考:struct Node next; 可以用Node next; 来替代吗?**
答:不可以,typedef对结构体类型重定义,前提是结构体类型先完成创建后,再对其类型名称重定义一个新的类型名称,如果说在创建的结构体内部中就是使用重定义之后的类型名称?是不是还没创建完成就开始用了,这个地方可不能这样时间穿梭!
3.结构体的自引用
思考:在结构中包含一个类型为该结构本身的成员是否可以呢 ?
BUXING
如果可以,那sizeof(struct Node)是多少 ?
理解:假设代码1中的方式可以执行,那么在创建结构体的过程中,struct Node next由于结构体struct
Node类型还没创建完成,所以其类型的大小是未知的,而struct Node类型的是否能成功创建又依赖于struct Node
next类型大小的确定性。所以这两者自相矛盾。因此上述方法不行!
结构体正确的自引用方式:
这种方式为什么又可以成功呢?
理解:这里面的结构体自应用方式并不是直接利用结构体来创建变量,而是创建指向该结构体类型的指针,我们知道,指针的大小跟其所指向的类型无关,仅跟平台环境有关,32位平台指针大小为4个字节,64位平台,指针大小为8个字节。正因为指针大小的确定性,所以再自引用的时候结构体类型的整体大小也是可以确定的。
4.结构体变量的定义和初始化
有了结构体类型,那要怎么样来定义结构体变量和初始化变量呢?
举例1:
举例2:
举例3
5.结构体内存对齐
关于结构体的基本使用我们已经掌握了,那么我们现在来讨论一个深层次的问题;
任何的数据类型都应该有其对应的内存空间大小,比如char大小为1个字节,int类型为4个字节,double类型是8个字节等等,没有确定的大小,就无法在创建的时候知道该分配给该类型变量的内存空间是多少。所以,结构体的大小是多少?又该如何计算呢?
这涉及到一个热门考点:结构体内存对齐!
结构体内存对齐规则:
1.第一个成员在与结构体变量偏移量为O的地址处。
2.
其他成员变量要对齐到某个数字(对齐数)的整数倍的地址处
。①
对齐数 = 编译器默认的一个对齐数与该成员大小的较小值。
②VS中默认的值为8,Linux中的无默认值,以自身大小为对齐数
3.结构体总大小为最大对齐数(每个成员变量都有一个对齐数)的整数倍
4.如果
嵌套了结构体的情况,嵌套的结构体对齐到自己的最大对齐数的整数倍处
,结构体的整体大小就是所有最大对齐数(含嵌套结构体的对齐数)的整数倍。
特别注意:第4点这里,嵌套的结构体对齐到的不是结构体整体大小的整数倍,而是结构体自己的最大对齐数的整数倍。
练习1:
分析:
结果展示:
练习2:
结果展示:
练习3:
分析:
结果展示:
练习4:
结构体嵌套问题
分析:
结果展示:
思考:为什么存在内存对齐 ?
大部分的参考资料都是如是说的 :
1.
平台原因(移植原因)
∶不是所有的硬件平台都能访问任意地址上的任意数据的; 某些硬件平台只能在某些地址处取某些特定类型的数据,否则抛出硬件异常。⒉
性能原因
∶数据结构(尤其是栈)应该尽可能地在自然边界上对齐。原因在于,为了访问未对齐的内存,处理器需要作两次内存访问; 而对齐的内存访问仅需要一次访问。
总体来说︰ 结构体的内存对齐是拿空间来换取时间的做法。
那在设计结构体的时候,我们既要满足对齐,又要节省空间,如何做到?
让占用空间小的成员尽量集中在—起。
例如: 将练习1中的方式改成练习2中的方式:
s1和s2类型的成员一模一样,但是s1和s2所占用的空间大小是有区别的,前者大小为12个字节,后者为8个字节,显然后者这种方式空间利用的效率更高。
6.修改默认对齐数
#pragma pack 设置默认对齐数
使用#pragma,可以用来改变我们的默认对齐数。
举例
上面这个代码输出的结果是什么?
分析:s1结构体大小为12,这个在练习1中有详细讲解,关键是s2的大小是多少呢?
按照结构体内存对齐的规则,此时默认对齐数为1,则有:
结果展示:
**结论:**结构在对齐方式不合适的时候,我们可以自己更改默认对齐数来满足需求。
7.offsetof 宏
这是一个宏,
用来计算结构体成员相对于结构体起始位置的偏移量
百度笔试题 :
内容:写一个宏,计算结构体中某变量相对于首地址的偏移,并给出说明
考察︰offsetof宏的实现
之后学习到宏知识再去实习这个功能
8.结构体传参
举例:
结构体传参有两种方式:
一种是传递结构体对象(传值),对应的就是print1函数的方式
一种是传递结构体地址(传址),对应的就是print2函数的方式
**思考:**上面的print1和print2函数哪个好些 ?
答案是∶首选print2函数。
原因︰
函数传参的时候,参数是需要压栈,会有时间和空间上的系统开销。
如果传递一个结构体对象的时候,结构体过大,参数压栈的的系统开销比较大,所以会导致性 能的下降。
结论 :
结构体传参的时候,要传结构体的地址。