结构体的由来
1.我们知道C语言有很多的内置结构像int、float、char、double、short、long等等,光用这几个是不能描述完整的,打个比方,我要来描述一本书但是光用上面的内置结构我们很难描述,假如我们要描述一个学生就要知道他的学号、姓名、籍贯、身高、体重、年龄等,要描述一本书就要知道作者、出版社、价格等等,这时候我们就很难用上面的内置类型描述这些,为了解决上面的这些问题,于是C语言增加了结构体这种自定义的数据结构,让程序辕可以创造自己适合的类型。
结构是一些值的集合,这些称为成员变量,结构的每个成员可以是不同类型的变量,像标量、数组、指针、数组等等。
一、结构体的声明和初始化
基本结构
![](https://i-blog.csdnimg.cn/blog_migrate/8e4ed8489e47c9f221a29307cb803c28.png)
例子:描述一个学生
![](https://i-blog.csdnimg.cn/blog_migrate/55475d20bd45a02b7fadf8543900c143.png)
![](https://i-blog.csdnimg.cn/blog_migrate/c25a641d4617161ee2a21954efc475c7.png)
结构体成员的直接访问
使用方法:(结构体变量.成员名)
结构体成员的直接访问是通过点操作符(.)访问的。点操作符接受两个操作数。如下所示
![](https://i-blog.csdnimg.cn/blog_migrate/c18df2678931c6b34231c70ec6312d3d.png)
结构体成员的间接访问
使用方法:()
有时候我们得到的不是⼀个结构体变量,而是得到了⼀个指向结构体的指针。
![](https://i-blog.csdnimg.cn/blog_migrate/7581ed17e638665fdf6652937557a550.png)
结构体的特殊声明
![](https://i-blog.csdnimg.cn/blog_migrate/ab0ccbbe1a9eb3fc4e44dc45081b3778.png)
![](https://i-blog.csdnimg.cn/blog_migrate/0aada9be321e7afe106321f902da2348.png)
这省略两个结构体省略了结构体标签(tag)
答案肯定是错的
注:编译器会把上面的两个声明当成完全不同的两个类型,所以是非法的。
匿名的结构体类型,如果没有对结构体类型重命名的话,基本上只能使用⼀次。
二、结构体的内存对齐
对齐规则
首先得掌握结构体的对⻬规则:
1. 结构体的第⼀个成员对齐到和结构体变量起始位置偏移量为0的地址处
2. 其他成员变量要对齐到某个数字(对齐数)的整数倍的地址处。
对齐数 = 编译器默认的⼀个对齐数 与 该成员变量大小的较小值。
- VS 中默认的值为 8
- Linux中 gcc 没有默认对齐数,对齐数就是成员自身的大小
3. 结构体总大小为最大对齐数(结构体中每个成员变量都有⼀个对齐数,所有对齐数中最大的)的
整数倍。
4. 如果嵌套了结构体的情况,嵌套的结构体成员对齐到自己的成员中最大对齐数的整数倍处,结构
体的整体大小就是所有最大对齐数(含嵌套结构体中成员的对齐数)的整数倍。
光看概念肯定不好理解我们来几个题就好理解了
例一:
![](https://i-blog.csdnimg.cn/blog_migrate/1f6677afa85e9c863a1ec23a04090682.png)
0(a):第⼀个成员对齐到和结构体变量起始位置偏移量为0的地址处,a是char类型占一个字节,比VS的对齐数小,所以占一个偏移量
1-3:浪费的内存因为下一个类型是int类型1不是4的倍数所以这几个偏移量浪费了。
4-7:其他成员变量要对齐到某个数字(对齐数)的整数倍的地址处。int占四个字节倍数是4、8、12...所以是4-8个偏移量
8:a是char类型占一个字节,比VS的对齐数小,所以占一个偏移量
这么算起来一共才九个字节,而内存对齐的规则第三条结构体总大小为最大对齐数(结构体中每个成员变量都有⼀个对齐数,所有对齐数中最大的)的整数倍,所以还要占用三个内存成为4的倍数所以是12个算出来是12个字节
例二:(结构体嵌套)
![](https://i-blog.csdnimg.cn/blog_migrate/30697d0ba66996e4223bc5287643a0b6.png)
![](https://i-blog.csdnimg.cn/blog_migrate/aceeefa803cc414eace1dc51feb3e8f2.png)
S3的对齐方式一样
![](https://i-blog.csdnimg.cn/blog_migrate/a32c16d382f1fae2c5b17e34dbe14186.png)
sizeof(s4):,嵌套的结构体成员对齐到自己的成员中最大对齐数的整数倍处,结构体的整体大小就是所有最大对齐数(含嵌套结构体中成员的对齐数)的整数倍,S3就等于16,S4也等于16所以是32个字节。
三、为什么要存在内存对齐?
1.
平台原因 (移植原因):
不是所有的硬件平台都能访问任意地址上的任意数据的;某些硬件平台只能在某些地址处取某些特定
类型的数据,否则抛出硬件异常。
2.
性能原因:
数据结构(尤其是栈)应该尽可能地在自然边界上对齐。原因在于,为了访问未对齐的内存,处理器需要 作两次内存访问;而对齐的内存访问仅需要⼀次访问。假设⼀个处理器总是从内存中取8个字节,则地 址必须是8的倍数。如果我们能保证将所有的double类型的数据的地址都对齐成8的数那么就可以 用⼀个内存操作来读或者写值了。否则,我们可能需要执齐两次内存访问,因为对象可能被分放在两 个8字节内存块中。
总体来说
:结构体的内存对齐是拿空间来换取时间的做法。
所以那在设计结构体的时候,我们既要满足对齐,又要节省空间,
如何做到:
让占用空间小的成员尽量集中在⼀起
![](https://i-blog.csdnimg.cn/blog_migrate/e4038964e9bb270babbf614ddf57414c.png)
![](https://i-blog.csdnimg.cn/blog_migrate/ac68ed9948a5854a0508ce914c8c05b7.png)
虽然这两个结构体一样但是后面的S1比第一个明显所占空间的大小要小
四、修改默认对齐数
#pragme这个预处理指令,可以改变编译器的默认对齐数
![](https://i-blog.csdnimg.cn/blog_migrate/4e3bae4cc2182434603e53cafc74f5fd.png)
没修改之前按照对齐方式应该是12个字节,修改后就只有6个字节
五、结构体传参
结构体传参又两种方式一种是结构体传参一种是结构体地址传参
结构体传参
![](https://i-blog.csdnimg.cn/blog_migrate/32807612edbd99eaf0eb770f500e9ca2.png)
结构体地址传参
![](https://i-blog.csdnimg.cn/blog_migrate/d5c9db050dccc74f514af20e354324ea.png)
我们最好选择结构体地址传参
原因:函数传参的时候,参数是需要压栈,会有时间和空间上的系统开销。 如果传递⼀个结构体对象的时候,结构体过大,参数压栈的的系统开销比较大,所以会导致性能的下降。
六、结构体位段
什么事位段?
1.
位段的成员必须是
int
、
unsigned int
或
signed int
,在C99中位段成员的类型也可以
选择其他类型。
2.
位段的成员名后边有⼀个冒号和⼀个数字。
例:
位段的内存分配
1.
位段的成员可以是
int unsigned int signed int
或者是
char
等类型。
2.
位段的空间上是按照需要以4个字节(
int
)或者1个字节(
char
)的方式来开辟的。
3.
位段涉及很多不确定因素,位段是不跨平台的,注重可移植的程序应该避免使用位段。
这么算下来六个字节就够了但是算出来是否为6呢?![](https://i-blog.csdnimg.cn/blog_migrate/b9c493b16a3f5b399394afab117a785f.png)
显然答案不是,那我们就要探讨它在内存中是如何分配的了
![](https://i-blog.csdnimg.cn/blog_migrate/a1e434d6d33186b2a7a31920a2b092b2.png)
这就是大概的分配规则了
![](https://i-blog.csdnimg.cn/blog_migrate/e42b9975bebcee8f26b4af6946b6ecc1.png)
七、位段的跨平台问题
1.
int 位段被当成有符号数还是
⽆符号数是不确定的。
2.
位段中最大位的数目不能确定。(16位机器最大16,32位机器最大32,写成27,在16位机器会
出问题。
3.
位段中的成员在内存中从左向右分配,还是从右向左分配标准尚未定义。
4.
当⼀个结构包含两个位段,第⼆个位段成员比较大,无法容纳于第⼀个位段剩余的位时,是舍弃
剩余的位还是利用,这是不确定的。
总结:
跟结构相比,位段可以达到同样的效果,并且可以很好的节省空间,但是有跨平台的问题存在。
八、位段使用的注意事项
![](https://i-blog.csdnimg.cn/blog_migrate/c7e5974c1fb36c34ee979615c8e7ee6e.png)
位段的几个成员共有同⼀个字节,这样有些成员的起始位置并不是某个字节的起始位置,那么这些位
置处是没有地址的。内存中每个字节分配⼀个地址,⼀个字节内部的bit位是没有地址的。 所以不能对位段的成员使用&操作符,这样就不能使用scanf直接给位段的成员输入值,只能是先输入放在⼀个变量中,然后赋值给位段的成员
最后希望能对看到的人有所帮助,
感谢大家的浏览........