详解自定义类型（结构体，枚举，联合）

最新推荐文章于 2024-10-10 12:55:08 发布

陕西彭于晏

最新推荐文章于 2024-10-10 12:55:08 发布

阅读量59

点赞数

文章标签： c语言

本文链接：https://blog.csdn.net/qq_45851795/article/details/131747539

版权

1.结构体

1.1结构的基本知识

结构与数组有所相同，都是用来存放一组数据。但也有所不同，数组是存放一组相同类型的数据，但结构体可以存放不同类型的数据。

结构是一些值的集合，这些值称为成员变量。结构的每个成员可以是不同类型的变量。

1.2结构的声明

正如我们要描述一个人的基本信息，就需要包括：年龄，性别，姓名等等。

struct Stu
{
char name[20];//名字
int age;//年龄
char sex[5];//性别
}; //分号不能丢

在对结构进行声明时，也可以不完全声明，即匿名结构体类型。

//匿名结构体类型
struct
{
int a;
char b;
float c;
};

但不能同时存在多个匿名结构体声明。因为编译器会将所有的匿名结构体声明当做不同的类型处理。

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


p = &x;

虽然两个结构体声明一模一样，但在编译器看来是两个完全不同的两个类型，所以p=&x是非法的。

1.3结构体的自引用

(1).在结构中包含一个类型为该结构本身的成员是否可以呢？

struct S
{
int a;
struct S next;
};

如果可以，那struct S的字节大小应该怎么算呢？

正确的自引用方法：

struct S
{
int a;
struct S* next;
};

(2).我们知道结构体可以通过typedef重命名，那重命名后可以自引用吗？

typedef struct S
{
  int a;
  su* p;
}su;

答案是不可以，因为你第一次声明struct S时其中就有一个su*类型的变量，但是su还没有被声明，因此无法识别这个类型。

正确的自引用方法：

typedef struct S
{
  int a;
  struct S* p;
}su;

结论：

结构体中不能直接存在该结构体本身的成员，自引用时，必须通过原始结构体声明指针进行声明(重命名也不行)。

1.4结构体变量的定义以及初始化

1.4.1结构体变量的定义

有了结构体类型后，定义变量的方法就和int，char等类型一样。

struct Point
{
int x;
int y;
}p1; //声明类型的同时定义变量p1

struct Point p2; //定义结构体变量p2

我们可以看到，定义结构体变量有两种方法，一种是在声明类型的同时定义变量，一种是正常的定义变量。但是对于匿名结构体类型来说只能在声明类型的同时定义变量。

1.4.2结构体变量的初始化

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};//结构体嵌套初始化

1.5结构体的大小

//练习一
struct S1
{
  char c1;
  int i;
  char c2;
};

printf("%d\n", sizeof(struct S1));

如果按照我们正常的思路来想：c1一个字节，i四个字节，c2一个字节，那么一共就是六个字节。

//练习二
struct S2
{
char c1;
char c2;
int i;
};
printf("%d\n", sizeof(struct S2));

那么练习二的大小也应该是六个字节。

但实际上，练习一占12个字节，练习二占8个字节。

这是因为结构体会进行内存对齐！

结构体的对齐规则：
1. 第一个成员在与结构体变量偏移量为0的地址处。
2. 其他成员变量要对齐到某个数字（对齐数）的整数倍的地址处。
对齐数 = 编译器默认的一个对齐数与该成员大小的较小值。
VS中默认的值为8
Linux中没有默认对齐数，对齐数就是成员自身的大小
3. 结构体总大小为最大对齐数（每个成员变量都有一个对齐数）的整数倍。
4. 如果嵌套了结构体的情况，嵌套的结构体对齐到自己的最大对齐数的整数倍处，结构体的整
体大小就是所有最大对齐数（含嵌套结构体的对齐数）的整数倍。

练习一中的内存偏移量如图所示：c1占一个字节，但是对于 i 来说，对齐数为4，因此会浪费三个字节，从第四个字节处开始存放，c2的对齐数为1，占一个字节，但是因为结构体总大小为最大对齐数的整数倍，所以总大小为4的整数倍：12个字节.

练习一中的内存偏移量如图所示：c1占一个字节，c2的对齐数为1，占一个字节，对于 i 来说，对齐数为4，因此会浪费两个字节，从第四个字节处开始存放。因为结构体总大小为最大对齐数的整数倍，所以总大小为4的整数倍：8个字节.

为什么要内存对齐？

1. 平台原因(移植原因)：
不是所有的硬件平台都能访问任意地址上的任意数据的；某些硬件平台只能在某些地址处取某些特定类型的数据，否则会出现硬件异常。
2. 性能原因：
数据结构(尤其是栈)应该尽可能地在自然边界上对齐。
原因在于，为了访问未对齐的内存，处理器需要作两次内存访问；而对齐的内存访问仅需要一次访
问。

例：对于练习一来说，如果编译器一次只能访问四个字节，我们想要得到 i 的数据的话，需要访问两次，第一次拿出 i 的三个字节，第二次拿到 i 的一个字节，拼接起来才是 i 的全部数据。
总体来说：
结构体的内存对齐是拿空间来换取时间的做法。
所以在设计结构体的时候，让占用空间小的成员尽量集中在一起。

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

在实际中的传参中，我们最常用的是第二种print2函数，因为在函数传参时，参数是需要压栈的，因此参数的大小不宜过大，过大会导致性能的下降。

结论：
结构体传参的时候，要传结构体的地址。

2.位段

2.1什么是位段

位段与结构体是类似的，但略有不同。

1.位段的成员必须是int unsigned int signed int 或者是char （属于整形家族）类型。

2.位段与结构体的成员书写格式不同，位段的成员名后边有一个冒号和一个数字。

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

A就是一个位段类型。

2.2位段的内存分配

1. 位段的空间上是按照需要以4个字节（ int ）或者1个字节（ char ）的方式来开辟的。
2. 位段涉及很多不确定因素，位段是不跨平台的，注重可移植的程序应该避免使用位段。

//一个例子
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;

我们可以分析一下，内存是如何分配的：

假设在VS2019中是小端存储，且字节中用不完的bit会浪费掉。

先开辟一个字节，a占三个bit，则a存储010，b占四个bit，存储1100。因为c为五个bit，所以再开辟一个字节，存储0011。剩余三个bit不够容纳d，因此再开辟一个字节，存储0100。将存储的数据转化为16进制，如上图所示。

我们可以看到s的地址中的值果然是62 03 04，并且s一共占三个字节，所以假设正确。

2.3位段的缺点

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

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

3.枚举

3.1什么是枚举

枚举，顾名思义就是将所有的可能性一一列举出来。

比如我们现实生活中：

一周的星期一到星期日是有限的7天，可以一一列举。

月份有12个月，也可以一一列举。

3.2枚举的定义

enum Day//星期
{
Mon,
Tues,
Wed,
Thur,
Fri,
Sat,
Sun
};

其中，enum Day就是枚举类型，{}中的内容就是枚举常量。

枚举常量默认是有值的，从0开始，以此类推。但我们也可以自己赋值。

enum Color//颜色
{
RED=1,
GREEN=2,
BLUE=4
};

3.3枚举的优点

1.我们可以通过枚举来一次定义多个常量

2. 增加代码的可读性和可维护性

3. 和#define定义的标识符比较枚举有类型检查，更加严谨。

4. 便于调试。

4.联合

4.1联合类型的定义

联合也是一种特殊的自定义类型，这种类型定义的变量也包含一系列的成员，他与结构体的不同是这些成员公用同一块空间（所以联合也叫共用体）。

//联合类型的声明
union Un
{
char c;
int i;
};

//联合变量的定义
union Un un;

4.2联合体的大小

联合体的成员是公用一块内存空间的，因此联合体的大小最小是其中最大成员的大小，如果最大成员的大小不是最大对齐数的整数倍，则对齐到最大对齐数的整数倍处。

例：

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

Un1的大小为8个字节：c[5]的大小为5个字节，i的大小为4个字节，因此需要对齐到4的整数倍，也就是8个字节大小。

Un2的大小为16个字节：c[5]的大小为14个字节，i的大小为4个字节，因此需要对齐到4的整数倍，也就是16个字节大小。

到此，自定义类型的内容基本上就完了，如有不足，请勿见怪。

本人拙见，大佬勿怪！