文章目录

  • 1.结构体
    • 1.1什么是结构体
    • 1.2结构体类型声明
    • 1.3结构体变量的定义和初始化
    • 1.4结构体的访问
  • 2.结构体对齐
    • 2.1如何对齐
    • 2.2为什么存在内存对齐?
  • 3.结构体实现位段
    • 3.1什么是位段
    • 3.2位段的内存分配
    • 3.3位段的跨平台问题
    • 3.4位段的应用
    • 3.5位段使用注意事项
  • 4.联合体
    • 4.1联合体的声明
    • 4.2联合体的特点
    • 4.3联合体的大小
    • 4.4联合体与结构体的对比
  • 5.枚举
    • 5.1枚举类型的声明
    • 5.2枚举类型的优点

1.结构体

1.1什么是结构体

  • C语言已经提供了内置类型,如:char、short、int、long、float、double等,但是只有这些内置类型还是不够的,
  • 假设我想描述学生,描述⼀本书,这时单⼀的内置类型是不⾏的。描述⼀个学生需要名字、年龄、学号、身高、体重等;描述⼀本书需要作者、出版社、定价等。C语言为了解决这个问题,增加了结构体这种⾃定义的数据类型,让程序员可以⾃⼰创造适合的类型。
  • 结构体是⼀些值的集合,这些值称为成员变量结构体的每个成员可以是不同类型的变量,如:标量、数组、指针,甚⾄是其他结构体

1.2结构体类型声明

关键字:struct

struct stu //stu 结构体的名字{//以下是结构体的成员变量int age;char name[20];float score;//......};//分号不能丢

特殊声明方式:匿名结构体,即在声明结构体时不完全声明,省略了结构体的名字。

struct{int a;char b;float c;}x;

看下面的代码,这样做的结果时什么?

struct{int a;char b;float c;}x;struct{int a;char b;float c;}a[20], * p;int main(){p = &x;return 0;}

编译器会把上⾯的两个声明当成完全不同的两个类型,所以是非法的。
匿名的结构体类型,如果没有对结构体类型重命名的话,基本上只能使⽤⼀次。

1.3结构体变量的定义和初始化

  1. 变量的定义
struct Point{int x;int y;}p1; //声明类型的同时定义变量p1struct Point p2; //定义结构体变量p2
  1. 变量的初始化
struct Point p3 = { 10, 20 };struct Stu //类型声明{char name[15];//名字int age; //年龄};struct Stu s1 = { "zhangsan", 20 };//按顺序初始化struct Stu s2 = { .age = 20, .name = "lisi" };//指定顺序初始化
  1. 结构体嵌套、自引用
struct Node{int data;struct Point p;//嵌套struct Node* next;//自引用}n1 = { 10, {4,5}, NULL }; //结构体嵌套初始化struct Node n2 = { 20, {5, 6}, NULL };//结构体嵌套初始化

1.4结构体的访问

结构体的访问有两种方式:

  • 直接访问:通过点操作符(.)访问
  • 间接访问:通过结构体指针访问,访问方式:结构体指针 -> 成员名

2.结构体对齐

在下面的代码中,char占1个字节,int占4个字节,那结构体的总大小就是5个字节,真的是这样嘛?

int main(){struct s{char c;int i;};printf("%d\n", sizeof(struct s));return 0;}

2.1如何对齐

要弄清结果为什么是8,我们就得了解结构体的对齐规则

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

  • 2.其他成员变量要对齐到某个数字(对齐数)的整数倍的地址处。
    对齐数 = 编译器默认的⼀个对齐数 与 该成员变量大小的较小值

  • 3.VS 中默认的值为 8

  • 4.Linux中 gcc 没有默认对齐数,对齐数就是成员自身的大小。

  • 5.如果嵌套了结构体的情况,嵌套的结构体成员对齐到自己的成员中最大对齐数的整数倍处

  • 6.结构体的整体大小就是所有最大对齐数(含嵌套结构体中成员的对齐数)的整数倍

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

#pragma pack(1)//设置默认对⻬数为1struct S{ char c1; int i; char c2;};#pragma pack()//取消设置的对⻬数,还原为默认

到底是怎么对齐的呢?看下图

来练习几个吧

2.2为什么存在内存对齐?

大部分的参考资料都是这样说的:

  1. 平台原因 (移植原因):
    不是所有的硬件平台都能访问任意地址上的任意数据的;某些硬件平台只能在某些地址处取某些特定类型的数据,否则抛出硬件异常。
  2. 性能原因:
    数据结构(尤其是栈)应该尽可能地在自然边界上对齐。原因在于,为了访问未对齐的内存,处理器需要作两次内存访问;而对齐的内存访问仅需要⼀次访问。假设⼀个处理器总是从内存中取8个字节,则地址必须是8的倍数。如果我们能保证将所有的double类型的数据的地址都对⻬成8的倍数,那么就可以⽤⼀个内存操作来读或者写值了。否则,我们可能需要执行两次内存访问,因为对象可能被分放在两个8字节内存块中。

总体来说:结构体的内存对⻬是拿空间来换取时间的做法。
因此,设计结构体的时候,我们既要满足对齐,⼜要节省空间,就要让占用空间小的成员尽量集中在⼀起。

3.结构体实现位段

3.1什么是位段

你听说过位段吗?是不是只听说过段位呀哈哈

位段的声明和结构是类似的,有两个不同:

  1. 位段的成员必须是 int、unsigned int 或signed int ,在C99中位段成员的类型也可以 选择其他类型,例如char。
  2. 位段的成员名后边有⼀个冒号和⼀个数字

位段的位其实指的就是二进制位,下面的A就是位段类型的

struct A{int _a : 2;int _b : 5;int _c : 10;int _d : 30;};int main(){printf("%d\n", sizeof(struct A));return 0;}

2+5+10+30=47bit,一个字节是8个bit,那是不是6个字节就够了呢?

结果是8个字节。为什么是8个字节呢?—-那是因为位段也存在对齐,位段的总大小也要对齐到自己最大成员变量的整数被。
注意:位段后的数字不可大于该数字本身的大小,否则就报错

3.2位段的内存分配

关于位段在内存中是如何存储的,C语言标准并未给出定义,下面我们就研究以下在VS中,位段是如何存储的。

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;}

我们假设如果第一个字节中放不下了,就放在下一个字节中,第一个字节中剩余的比特位就舍弃,那么就是下面的结果:

vs中是不是这样存储的呢?看图我们知道,确实就是这样存的。

3.3位段的跨平台问题

  1. int 位段被当成有符号数还是⽆符号数是不确定的。
  2. 位段中最⼤位的数⽬不能确定。(16位机器最⼤16,32位机器最⼤32,写成27,在16位机器会出问题。
  3. 位段中的成员在内存中从左向右分配,还是从右向左分配标准尚未定义。
  4. 当⼀个结构包含两个位段,第⼆个位段成员⽐较⼤,⽆法容纳于第⼀个位段剩余的位时,是舍弃剩余的位还是利用,这是不确定的。

因此:跟结构相比,位段可以达到同样的效果,并且可以很好的节省空间,但是有跨平台的问题存在。

3.4位段的应用

下图是网络协议中,IP数据报的格式,我们可以看到其中很多的属性只需要⼏个bit位就能描述,这⾥使⽤位段,能够实现想要的效果,也节省了空间,这样⽹络传输的数据报大小也会较小⼀些,对网络的畅通是有帮助的。

3.5位段使用注意事项

  • 位段的⼏个成员共有同⼀个字节,这样有些成员的起始位置并不是某个字节的起始位置,那么这些位置处是没有地址的。内存中每个字节分配⼀个地址,⼀个字节内部的bit位是没有地址的
  • 所以不能对位段的成员使⽤&操作符,这样就不能使⽤scanf直接给位段的成员输⼊值,只能是先输⼊放在⼀个变量中,然后赋值给位段的成员。

4.联合体

4.1联合体的声明

  • 像结构体⼀样,联合体也是由⼀个或者多个成员构成,这些成员可以是不同的类型。
  • 但是编译器只为最⼤的成员分配⾜够的内存空间。联合体的特点是所有成员共⽤同⼀块内存空间。所以联合体也叫:共⽤体。
  • 给联合体其中⼀个成员赋值,其他成员的值也跟着变化。

4.2联合体的特点

  1. 所有变量公用同一块空间
  2. 改变一个成员,其它成员跟着变

4.3联合体的大小

  • 联合的大小⾄少是最⼤成员的大小。
  • 当最大成员大小不是最大对齐数的整数倍的时候,就要对齐到最大对⻬数的整数倍

4.4联合体与结构体的对比


因此,使用联合体是比较节省空间的。

5.枚举

5.1枚举类型的声明

枚举枚举,顾名思义,就是一一列举。在生活中可以一 一列举出来的就可以使用枚举类型。例如

⼀周的星期⼀到星期⽇是有限的7天,可以⼀⼀列举
⽉份有12个⽉,也可以⼀⼀列举

枚举的关键字是enum,枚举成员用逗号隔开,最后一个成员不加逗号

  • 枚举的可能取值是常量,不能修改,因此我们也叫做枚举常量
  • 枚举类型的变量的值只能是枚举的可能取值

enum day{Monday,Tuesday,Wednsdsday = 10,Thursday,Friday,Saturday = 20,Sunday};enum day d = Sunday;//使⽤枚举常量给枚举变量赋值

5.2枚举类型的优点

我们可以使用 #define 定义常量,为什么非要使用枚举?

枚举的优点:

  1. 增加代码的可读性和可维护性
  2. 和#define定义的标识符比较枚举有类型检查,更加严谨。
  3. 便于调试,预处理阶段会删除 #define 定义的符号
  4. 使用⽅便,⼀次可以定义多个常量
  5. 枚举常量是遵循作⽤域规则的,枚举声明在函数内,只能在函数内使⽤