当前位置:首页 » 《关于电脑》 » 正文

【C语言】结构体详解

9 人参与  2024年04月23日 16:46  分类 : 《关于电脑》  评论

点击全文阅读


目录

1.结构体类型的声明

1.1 结构体变量的创建和初始化

1.2 结构的特殊声明

1.3 结构体的自引用

2.结构体内存对齐

2.1 对齐规则

规则1

规则2

规则3

 对前三个规则的练习

规则4

2.2 为什么存在内存对齐

2.3 修改默认对齐数

3.结构体传参

4.结构体实现位段

4.1 什么是位段 

4.2位段的内存分配


在c语言中除了像int,char,float,long,double等本身支持的、现成的类型,也有自定义类型,比如说结构体struct、联合体union、枚举enum,接下来我们详细说一下结构体类型

1.结构体类型的声明

1.1 结构体变量的创建和初始化

结构是一些值的集合,这些值称为成员变量,结构的每个成员可以是不同类型的变量,下面是基本结构

struct tag{member - list;  //成员,一个或多个}variable-list;  //变量名

看不明白没关系,我们来举个例子,比如一个学生

struct student{char name[20];//名字int age;//年龄char sex[5];//性别char id[20];//学号};//这里有分号,不能忘了

注意几点:

1.struct后面的student命名只要是符合语法的都可以 

2.分号前面、反大括号后面的variable-list可以不在此处创建变量,后面再创建,在此处创建的话就是全局结构体变量,后面再创建的话就是局部的结构体变量,如下

#include <stdio.h>struct student{char name[20];//姓名int age;//年龄char sex[5];//性别char id[20];//学号};int main(){struct student s1;  //s1为局部变量return 0;}

或者

struct student{char name[20];int age;char sex[5];char id[20];}s1;//s1为全局变量

 这里很容易理解错误,误以为struct是变量类型,student是变量,其实并非这样

比如说你定义一个  int a;int是变量类型,a是变量,同理 struct student是结构体变量类型,s1才是结构体变量

再举个例子,比如一本书

struct book{char name[20];//书名char author[20];//作者float price;//价格    char id[10];//书号}s2,s3,s4;

struct book是结构体变量类型,s2,s3,s4都是结构体变量,且是全局变量

当然也可以像下面这样定义,这时s2,s3,s4[5]是局部变量,s4[5]是结构体数组

#include <stdio.h>struct book{char name[20];//书名char author[20];//作者float price;//价格    char id[10];//书号};int main(){struct book s2;    struct book s3;struct book s4[5];return 0;}

变量创建好之后我们来进行初始化,以上面的struct book s2为例

struct book s2 = { "wodeshu","lingyangjiao",18.8,"A1010" };

 结构体初始化写在{}里面,书名、作者,书号是字符串,就用""初始化,价格是float类型,就直接写,中间用逗号隔开,我上面初始化的内容都是我随便写的,这种初始化是按照顺序依次初始化

也可以不按顺序,比如下面的代码

struct book s3 = { .id = "B2020",.author = "lingyangjiao",.name = "woxiedeshu",.price = 19.9 };

不按顺序的话就要用一个点(.)操作符来找结构体成员,然后用 = 赋值就行了,中间用逗号隔开 

如何将这些内容打印出来呢?接着往下看

#include <stdio.h>struct book{char name[20];//书名char author[20];//作者float price;//价格char id[10];//书号};int main(){struct book s2 = { "wodeshu","lingyangjiao",18.8,"A1010" };printf("%s %s %f %s\n", s2.name, s2.author, s2.price, s2.id);return 0;}

这是一种打印方法,用点(.)操作符: 结构体变量名.结构体成员

还有一种就是箭头(->)操作符: 结构体指针->结构体成员,如下,p是结构体指针

struct book* p = &s2;printf("%s %s %f %s\n", p->name, p->author, p->price, p->id);

1.2 结构的特殊声明

在声明结构的时候可以不完全声明,叫匿名结构体类型

比如

//不匿名struct s{char c;int i;float f;};//匿名struct {char c;int i;float f;};

这样的话这个结构体没有名字,定义变量的时候就不可以像下面这样

struct s//正常情况{char c;int i;float f;};struct //匿名情况{char c;int i;float f;};int main(){struct s S;//正常情况创建变量Sstruct S;//匿名结构体不可以这样创建Sreturn 0;}

应该像下面这样创建

struct //匿名情况{char c;int i;float f;}S;

同时可以对它进行初始化

struct //匿名情况{char c;int i;float f;}S = { 'x', 10, 3.14 };

打印出来看看

#include <stdio.h>struct //匿名情况{char c;int i;float f;}S = { 'x', 10, 3.14 };int main(){printf("%c %d %f", S.c, S.i, S.f);return 0;}

现在这个类型没有名字,匿名了,所以匿名结构体只能用一次 ,但不是销毁

现在我们来思考一个问题,下面的代码可以这样写吗?

#include <stdio.h>struct {char c;int i;float f;}s;struct{char c;int i;float f;}* ps;int main(){ps = &s;return 0;}

 答案是不可以的,因为这个匿名结构体没有名字,编译器无法确认s和指针ps类型是否一致

所以,匿名结构体是可以用的,也是存在的,但是使用很局限

1.3 结构体的自引用

大家可能或多或少听说过链表

我们把每一个框称为一个节点,这个节点不仅携带了值,还需要携带能找到下一个节点的信息,所以要把这样一个节点分为两部分,一部分存放值,一部分存放下一个结点的信息

存放下一个结点的信息时,可以像下面这样吗?

struct Node{int a;struct Node next;};

答案是不可以。为什么不可以呢?想一下这样包含的话 sizeof(struct Node)的大小是多少呢?自己包含自己,无穷下去,最终能算出结构体大小吗?不能。那我们应该怎么做?

既然我们只是为了找到下一个节点,那我们存放下一个节点的地址就好了,最后一个节点放空指针NULL

struct Node{int a;//数据struct Node* next;//指针,大小为4个字节};

 这样就实现了结构体自己包含自己,也就是结构体的自引用(匿名的结构体不能实现结构体的自引用

2.结构体内存对齐

 看下面的代码,s的大小是多少?

#include <stdio.h>struct S{char c1;int i;char c2;};int main(){struct S s = { 0 };printf("%zd\n", sizeof(s));return 0;}

char占1个字节,int占4个字节,char再占一个字节,大小为6,是不是呢?

显然不是,结果为12, 这是为什么呢? 接下来我们就说说结构体的内存对齐

2.1 对齐规则

规则1

结构体的第一个成员对齐到结构体变量起始位置偏移量为0的地址处

规则2

其他成员要对齐到某个数字(对齐数)的整数倍的地址处

  对齐数:编译器默认的对齐数 与 成员变量的大小的较小值

  --vs默认对齐数是8

  --Linux中gcc没有默认对齐数,所以对齐数就是成员自身大小

i的对齐数是4,从4的倍数的偏移量开始存4个字节,c2的对齐数是1,从1的倍数开始存1个字节

规则3

结构体总大小为结构体中所有成员对齐数的最大对齐数的整数倍 

s中的成员最大对齐数是成员i的对齐数,为4,所以结构体的大小为4的倍数,当前大小为9,不是4的倍数,往后数,直到12,是4的倍数,所以结构体大小为12个字节,打红色X的空间都是被浪费掉的,为什么要浪费,我们后面讨论

 对前三个规则的练习

1.算结构体大小

struct s2{char c1;char c2;int i;};

画图表示

结果是8个字节

2. 算结构体大小

struct s3{double d;char c;int i;};

依然是画图

为16个字节 

3.算结构体大小,这里的struct s3就是上一题的struct s3

struct s4{char c1;struct s3 S;double d;};

还是画图

c1放好之后,嵌套的结构体S应该怎么放呢?我们先来看看第4个规则 

规则4

如果结构体嵌套了结构体,嵌套的结构体成员对齐到自己的成员中最大对齐数的整数倍处,结构体的整体大小就是所有对齐数的最大值(包括嵌套结构体的对齐数)的整数倍

S中的最大对齐数是8,所以S要对齐到8的倍数

那么这个结构体的大小是不是就是32呢?是的

2.2 为什么存在内存对齐

那么在设计结构体中,我们既要对齐,又节省空间的话,应该怎么做?

让占用空间小的成员尽量集中在一起

比如

struct s1{char c1;int i;char c2;};struct s2{char c1;char c2;int i;};

虽然两个结构体成员完全一样,但是画图分析就可以知道内存区别

2.3 修改默认对齐数

用 #pragma 这个预处理指令,改变编译器的默认对齐数

没修改之前,下面这个代码结果应该为12,这个结构体的大小是12

#include <stdio.h>struct S{char c1;int i;char c2;};int main(){printf("%zd", sizeof(struct S));return 0;}

我们用 #pragma pack(n)修改默认对齐数,要修改的值n放在()里

#include <stdio.h>#pragma pack(1) //默认对齐数设为1struct S{char c1;int i;char c2;};#pragma pack() //取消修改,括号中不放数int main(){printf("%zd", sizeof(struct S));return 0;}

结果应该是6

3.结构体传参

现在需要写一个函数来打印结构体里面的内容,这个函数应该怎么传参?参数应该怎么设计?

#include <stdio.h>struct S{int arr[1000];int n;double d;};int main(){struct S s = { {1,2,3,4,5},100,3.14 };//初始化printf1();//负责打印的函数return 0;}

看下面的函数可以实现吗

void printf1(struct S t) //传值{int i = 0;for (i = 0; i < 5; i++){printf("%d ", t.arr[i]); //打印数组}printf("%d ", t.n);//打印nprintf("%lf ", t.d);//打印d}
printf1(s);

当代码运行起来的时候是可以打印出来的

但是,这是传值调用,这意味着S有多大空间,t就有多大空间,一个数组arr[1000]就占了4000个字节,而这么多的内存还要开辟两次,可想而知,很浪费空间,并且浪费时间,那怎么传呢?传地址过去就好了

printf2(&s);
void printf2(struct S * t){int i = 0;for (i = 0; i < 5; i++){printf("%d ", t->arr[i]); //打印数组}printf("%d ", t->n);//打印nprintf("%lf ", t->d);//打印d}

用结构体指针t接收s的地址,聪明的同学已经发现,t的类型改为结构体指针后,打印结构体的时候操作符也变了,从 点(.)操作符: 结构体变量名.结构体成员  变成了 箭头(->)操作符: 结构体指针->结构体成员

所以,结构体传参的时候尽量传地址,如果害怕传址调用函数会改变结构体的值,在*前加一个const修饰就好了

void printf2(const struct S * t)

4.结构体实现位段

4.1 什么是位段 

位段是基于结构体的,位段的声明和结构类似,但有两点不同

1.位段成员必须是int(char)、unsigned int、signed int,在C99中位段成员类型也可以选项其他类型

2.位段成员名后面有一个冒号和数字,然后再加分号

比如

struct S1  //位段{int _a : 2;int _b : 5;int _c : 10;int _d : 30;};struct S2  //结构体{int _a;int _b;int _c;int _d;};

这就是位段式的结构 ,成员名命名合法即可,不一定要加下划线(_)

在结构体s2中,一个int占4个字节,32个bit位,假如现在我们在成员_a中存放的值只有0、1、2、3这样的数,一个数就只占了两个bit位,给_a 32个bit位的话会浪费30个bit位。

位段式s1中  int _a : 2;  这句的意思就是,_a只占两个bit位,同理,_b就只占5个bit位,_c占10个bit位,_d就占30个bit位

位段的应用场景就是这种,指定成员所占bit位,节省内存

那么s1的大小现在是多少字节呢?思考一下,我们稍后揭示

4.2位段的内存分配

1.位段的空间上是按照需要,以4个字节(int)或1个字节(char)的方式开辟的,不够用再开辟

2.位段有很多不确定因素,不可跨平台

我们先来看一段代码

#include <stdio.h>struct S{char a : 3;char b : 4;char c : 5;char d : 4;};int main(){struct S s = { 0 };s.a = 10;s.b = 12;s.c = 3;s.d = 4;return 0;}

 为了演示我们一次一次开辟空间,首先开辟第一个成员char应该占的字节大小,1个字节

开辟好之后,位段中 a占3个bit位,从这4个字节的左边先使用还是右边呢?在vs中默认是从右向左使用,如图

然后就存放b,b占4个bit位,这一个字节还剩下5个bit位,够b使用,继续存放在这个空间中,如图

现在还剩1个bit位,c需要5个bit位,这个剩下的1个空间浪费还是继续使用?在vs中,会浪费这1个bit位,并且再申请一个字节空间,如图

现在第二个字节还剩3个bit位,而d需要4个字节,还是一样,把这3个浪费掉,重新开辟一个字节,如图

现在成员内存空间就开辟完了,我们一共申请了3个字节

现在开始存放数据

我们把s1初始化为0了,现在里面的每个bit位都是0,我们一个一个看,先看a

a赋值为10,10的二进制数后8个为 00001010,但是a的位置只有3个bit位,只能存3个,存的是后3位,也就是 010 ,如图

b赋值为12,12的二进制数后8个为 00001100 ,b只有4个bit位,所以存1100,如图

c赋值为3,2的二进制数后8个为00000011,c有5个bit位,所以存00011,如图

d赋值为4,4的二进制数后8个是00000100,d有4个bit位,所以存0100,如图

其余位置放0

4个二进制位换一个16进制位,所以最后的结果用16进制表示就是0x620304

0110 0010 0000 0011 0000 0100 //二进制6    2    0    3    0    4    //16进制

我们打开调试窗口看对不对

结果完全正确 

我们再回过头来看4.1中 s1 的内存

struct S1  {int _a : 2;int _b : 5;int _c : 10;int _d : 30;};

画图看看就可以知道,s1占了8个字节

本次分享就到这里,感谢阅读!


点击全文阅读


本文链接:http://zhangshiyu.com/post/99240.html

<< 上一篇 下一篇 >>

  • 评论(0)
  • 赞助本站

◎欢迎参与讨论,请在这里发表您的看法、交流您的观点。

关于我们 | 我要投稿 | 免责申明

Copyright © 2020-2022 ZhangShiYu.com Rights Reserved.豫ICP备2022013469号-1