❤️ 作者简介 :RO-BERRY 致力于C、C++、数据结构、TCP/IP、数据库等等一系列知识,对纯音乐有独特的喜爱
日后方向 : 偏向于CPP开发以及大数据方向,如果你也感兴趣的话欢迎关注博主,期待更新
结构体是一些值的集合,这些值称为成员变量。结构的每个成员可以是不同类型的变量。
struct tag 结构体类型(struct) 自定义结构体名称(tag)
{
member-list; 成员列表(member-list)
}variable-list; 结构体变量列表(variable-list)
我们可以定义多个结构体,我们可以给一类结构体定义一个自定义的类型名,比如说学生、教师等
我们就可以这样定义:
struct Stu 学生结构体
{
char name[20]; 名字
int age; 年龄
char sex[5]; 性别
char id[20]; 学号
}; 分号不能丢
struct Teacher 教师结构体
{
char name[20]; 名字
int age; 年龄
char sex[5]; 性别
};
我们想初始化变量就可以利用上面的名称
例如我们想定义学生a,学生b
定义方法1
struct Stu
{
char name[20];
int age;
char sex[5];
char id[20];
};
int main()
{
struct Stu a,b; //定义学生a,b
}
我们也可以这样定义:
定义方法2
struct Stu
{
char name[20];
int age;
char sex[5];
char id[20];
}a,b; //定义学生a,b
这两种方法定义都是可以的,效果是完全一样的
想取哪种方式取决于程序员的需求
在声明结构的时候,可以不完全的声明。
这种不完全声明叫做匿名结构体类型
比如:
struct
{
int a;
char b;
float c;
}x;
struct
{
int a;
char b;
float c;
}*p;
⭐我们在这种定义的时候,这种结构体是无法在主函数main里定义结构体变量的,我们只能采用初始化定义方式1在结构体定义的时候在尾部加入变量名,因为我们没有给这个名称自定义一个名称,无法在后面程序中定义
我们在第二个结构体中定义了结构体指针*p,而且第二个结构体的结构成员和第一个结构成员一样,那我们可不可以使p=&x呢?
我们来试一下
我们发现程序报错,并且错误如下:
这说明了不可以,因为我们的程序认为这两个是不同类型的结构体,虽然都是匿名结构体,而且成员列表相同,但是类型不同,无法执行操作
我们以后在写结构体的时候也要注意,匿名结构体我们只能在定义上写,我们下次想用也用不了(匿名结构体的使用是很少的)
我们先来看在一个结构体里定义以自己命名的结构体会发生什么
struct Node
{
int data;
struct Node next;
};
我们在程序上走一走
我们会发现不可以这样定义,错误报告说我们使用正在定义的Node,也就是我们不能在定义的时候在结构成员里使用自身
其实我们也可以发现,如果对于计算机来说。我们结构体中定义自身结构体,结构体成员里面还有结构体,这样会不停的定义,其内存是无限大,不可能停下来
可是当我们将结构体成员变成结构体指针,我们就不会报错了
比如:
struct Node
{
int data;
struct Node* next;
};
next是结构体指针,存的是下一个Node指针的地址,这样引用自身的定义方法,就叫做结构体的自引用
在这里我们不得不提到一个数据结构,叫做链表
定义:
链表是一种物理存储上非连续,数据元素的逻辑顺序通过链表中的指针链接次序,实现的一种线性存储结构。
特点:
链表由一系列节点(链表中每一个元素称为节点)组成,节点在运行时动态生成 (malloc),每个节点包括两个部分:
一个是存储数据元素的数据域
另一个是存储下一个节点地址的指针域
链表的构成:
链表由一个个节点构成,每个节点一般采用结构体的形式组织,例如:
typedef struct student
{
int num; //结点序号
char name[20]; //数据内容
struct student *next; //指向下一个结点的指针
}STU;
链表中数据域存放数据,指针域指向的是下一个结点,这样便于我们访问下一个数据,而且这样存储方便修改、删除等
链表是一个很显著应用结构体的自引用的例子
接下来我们再看一例子:
typedef struct
{
int data;
Node* next;
}Node;
//这样写代码,可行否?
我们可以看到,我们使用typedef将这个结构体的名字定义为Node,那么这样可以定义成功吗?
答案是否定的,我们不可以在定义的时候使用结构体名,如上例,我们在定义next结构体指针的时候,编译器会去看定义这个结构体的上方是否有定义结构体Node,一看发现没有,所以就会报错
我们正确的代码应该是这样:
typedef struct Node
{
int data;
struct Node* next;
}Node;
有了结构体类型,那如何定义变量,其实很简单。
struct Point
{
int x;
int y;
}p1; //声明类型的同时定义变量p1
struct Point p2; //定义结构体变量p2
struct Point p3 = {x, y}; //初始化:定义变量的同时赋初值。
struct Stu //类型声明
{
char name[15];//名字
int age; //年龄
};
struct Stu s = {"zhangsan", 20}; //初始化
struct Node
{
int data;
struct Point p;
struct Node* next;
}n1 = {10, {4,5}, NULL}; //结构体嵌套初始化
struct Node n2 = {20, {5, 6}, NULL}; //结构体嵌套初始化
针对于不同结构体我们有不同的初始化方式,我们所有对于结构体初始化的知识,在上面代码里都有展示
结构体内存对齐是结构体知识最难懂的点,让我们来一起学习一下。
我们知道了结构体如何定义,如何初始化,我们来思考一下,结构体里面有那么多元素,其内存是什么样的呢?
有人可能会说,结构体的内存大小不就是其中的元素有多少,将每个元素的大小算出来相加吗,数组里面就是元素的个数乘元素大小就得到了内存大小
答案真的是这样吗,如果这样简单就不会有人说结构体内存很难算了。
回归正题,让我们来进入结构体世界来看看到底是怎么存储的。
要想算出结构体的内存空间大小
首先得掌握结构体的对齐规则:
- 第一个成员存储在与结构体变量偏移量为0的地址处。
- 其他成员变量要对齐到某个数字(对齐数)的整数倍的地址处。
对齐数 = 编译器默认的一个对齐数与该成员大小的较小值。
- VS中默认的值为8
- Linux中没有默认对齐数,对齐数就是成员自身的大小
- 结构体总大小为最大对齐数(每个成员变量都有一个对齐数)的整数倍。
- 如果嵌套了结构体的情况,嵌套的结构体对齐到自己的最大对齐数的整数倍处,结构体的整
体大小就是所有最大对齐数(含嵌套结构体的对齐数)的整数倍。
为什么存在内存对齐?
大部分的参考资料都是如是说的:
总体来说:
结构体的内存对齐是拿空间来换取时间的做法。
正所谓实践是检验真理的唯一标准,我们知道了其内存对齐的规则,但是没有实际操作也是不行的,我们通过下面几个例子来学习
struct S1
{
char c1;
int i;
char c2;
};
printf("%d\n", sizeof(struct S1));
我们通过内存对齐规则来一个一个看:
我们来输出结果看看最后的内存大小是不是12
没错就是12,证明我们算的是正确的
第一次总是很艰难,我们再来多实践几次
struct S2
{
char c1;
char c2;
int i;
};
我们接着通过对齐规则看:
我们计算出结果为8
输出结果看一看是不是一致的
结果果然为8
随着我们的实践,是不是结构体内存空间的计算变的逐渐简单起来了?
struct S3
{
double d;
char c;
int i;
};
最后我们来看一个结构体嵌套问题,我们应该怎么求
struct S4
{
char c1;
struct S3 s3;
double d;
};
这里介绍 #pragma 这个预处理指令,可以改变我们的默认对齐数。
我们在代码里面介绍这个用法:
#include
#pragma pack(8)//设置默认对齐数为8
struct S1
{
char c1;
int i;
char c2;
};
#pragma pack()//取消设置的默认对齐数,还原为默认
#pragma pack(1)//设置默认对齐数为1
struct S2
{
char c1;
int i;
char c2;
};
#pragma pack()//取消设置的默认对齐数,还原为默认
int main()
{
//输出的结果是什么?
printf("%d\n", sizeof(struct S1));
printf("%d\n", sizeof(struct S2));
return 0;
}
我们可以通过上面方法的计算,这里我不再演示
通过对齐数的改变我们算出S1的大小为12,S2的大小为6
看我们的输出结果:
结果的的确确是我们改变过后算出的答案。
结论:
结构在对齐方式不合适的时候,我们可以自己更改默认对齐数。
直接上代码:
struct S
{
int data[1000];
int num;
};
struct S s = {{1,2,3,4}, 1000};
//结构体传参
void print1(struct S s)
{
printf("%d\n", s.num);
}
//结构体地址传参
void print2(struct S* ps)
{
printf("%d\n", ps->num);
}
int main()
{
print1(s); //传结构体
print2(&s); //传地址
return 0;
}
上面的 print1 和 print2 函数哪个好些?
答案是:首选print2函数。
原因:
函数传参的时候,参数是需要压栈,会有时间和空间上的系统开销。
如果传递一个结构体对象的时候,结构体过大,参数压栈的的系统开销比较大,所以会导致性能的下降。
结论:
结构体传参的时候,要传结构体的地址。
结构体讲完就得讲讲结构体实现 位段 的能力。
结构体里面我们可以发现,我们之前算过的很多结构体都是有很多的内存浪费的,因为在结构体里面我们需要考虑每个结构体成员的对齐数,在考虑了对齐数之后我们才可以进行存储,那我们如何想办法节省空间呢?
这就是位段解决的问题
位段就是用来给结构体的成员给予固定的内存大小给其存储
位段的声明和结构是类似的,有两个不同:
比如:
struct A
{ //二进制
int _a:2; //2比特位
int _b:5; //5比特位
int _c:10; //10比特位
int _d:30; //30比特位
};
A就是一个位段类型。
那位段A的大小是多少?
我们输出一下A的大小
我们口头计算一下所有成员的大小之和,2+5+10+30=47比特位
一个字节为8个比特位,那么我们需要应该需要8*6=48,6个字节才对,为什么是8个字节呢?
接下来我们来看看位段是如何存储数据的:
//一个例子
struct S
{
char a:3;
char b:4;
char c:5;
char d:4;
};
struct S s = {0};
s.a = 10;
s.b = 12;
s.c = 3;
s.d = 4;
//空间是如何开辟的?
总结:
跟结构相比,位段可以达到同样的效果,并且可以很好的节省空间,但是有跨平台的问题存在。
我们如果学习过计算机网络,里面讲述过IP数据报的格式
里面的几位几位都是用比特来做单位的,就是使用位段,才能将其中的每个部分都精确到比特位存储。
这样操作不仅仅节省空间,也节省了很多时间
枚举顾名思义就是一一列举。
把可能的取值一一列举。
比如我们现实生活中:
一周的星期一到星期日是有限的7天,可以一一列举。
性别有:男、女、保密,也可以一一列举。
月份有12个月,也可以一一列举
这里就可以使用枚举了。
enum Day//星期
{
Mon,
Tues,
Wed,
Thur,
Fri,
Sat,
Sun
};
enum Sex//性别
{
MALE,
FEMALE,
SECRET
};
enum Color//颜色
{
RED,
GREEN,
BLUE
};
以上定义的 enum Day , enum Sex , enum Color 都是枚举类型。
{}中的内容是枚举类型的可能取值,也叫 枚举常量 。
注意
当然在声明枚举类型的时候也可以赋初值。
例如:
enum Day//星期
{
Mon=1,
Tues,
Wed,
Thur=10,
Fri,
Sat,
Sun
};
我们来依次打印每个值:
我们可以发现,在前面的变量赋值之后,后面的变量会在其基础上进行枚举,这也是枚举的特点
为什么使用枚举?
我们可以使用 #define 定义常量,为什么非要使用枚举?
枚举的优点:
enum Color//颜色
{
RED=1,
GREEN=2,
BLUE=4
};
int main()
{
enum Color cl=RED; //枚举变量的定义,我们想给cl为RED,就定义RED,想给GREEN也可以
{
我们给cl赋值为5,这样赋值可以吗?
我们试试:
enum Color//颜色
{
RED=1,
GREEN=2,
BLUE=4
};
int main()
{
enum Color cl=5;
{
编译器出现了报错
我们是不可以这样进行赋值的,只能使用枚举里的变量值
联合也是一种特殊的自定义类型
这种类型定义的变量也包含一系列的成员,特征是这些成员公用同一块空间(所以联合也叫共用体)。
比如:
//联合类型的声明
union Un
{
char c;
int i;
};
int main()
{
//联合变量的定义
union Un un;
//计算这个变量的大小
printf("%d\n", sizeof(un));
return 0;
}
如果是结构体变量,un的大小根据内存对齐计算为8
我们来看联合体un的大小是多少
我们发现是4,一个char一个int加起来都有5个字节了,它的大小竟然是4
我们来看其中变量存储的地址为多少:
我们可以看到,联合体中两个变量使用的是同一块地址
这正是联合体的特点:
内部成员共用一块地址,彼此的改变会互相影响
联合的成员是共用同一块内存空间的,这样一个联合变量的大小,至少是最大成员的大小(因为联合至少得有能力保存最大的那个成员)。
union Un
{
int i;
char c;
};
int main()
{
union Un un;
// 下面输出的结果是一样的吗?
printf("%d\n", &(un.i));
printf("%d\n", &(un.c));
//下面输出的结果是什么?
un.i = 0x11223344;
un.c = 0x55;
printf("%x\n", un.i);
return 0;
}
前面的地址一模一样我们不足为奇
可是i的十六进制我们赋值为0x11223344
输出的结果为11223355
我们的i为int类型,占4个字节,我们的c为char占一个字节,我们改变了c的值,改变了一个字节的内容,我们的i中4个字节里也有个字节的内容也被改变了,
所以输出为11223355
联合的大小至少是最大成员的大小。
当最大成员大小不是最大对齐数的整数倍的时候,就要对齐到最大对齐数的整数倍。
比如:
union Un1
{
char c[5];
int i;
};
union Un2
{
short c[7];
int i;
};
//下面输出的结果是什么?
printf("%d\n", sizeof(union Un1));
printf("%d\n", sizeof(union Un2));