自定义类型：枚举和联合体

在之前我们已经深入学习了自定义类型中的结构体类型 ，了解了结构体当中的内存对齐，位段等知识，接下来在本篇中将继续学习剩下的两个自定义类型：枚举类型与联合体类型，一起加油！！
 

---

1.枚举类型

1.1枚举类型的定义与使用方法

枚举的字面意思就是一一列举，而在c语言中是用枚举来声明枚举类型的，在这当中用到的关键字是enum

一周的星期⼀到星期日是有限的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都是枚举类型
而在括号内的就为枚举常量

这些枚举常量在各个枚举类型当中默认值都是从0开始的，后依次递增

enum Sex//性别
{
	MALE,
	FEMALE,
	SECRET
};

int main()
{
	enum Sex s1 = MALE;
	enum Sex s2 = FEMALE;
	enum Sex s3 = SECRET;
	printf("%d %d %d", s1,s2,s3);
   return 0;
}

以上代码输出结果如下 

 在声明枚举类型的时候也可以赋初值

enum Sex//性别
{
	MALE,
	FEMALE=12,
	SECRET=13
};

int main()
{
	enum Sex s1 = MALE;
	enum Sex s2 = FEMALE;
	enum Sex s3 = SECRET;
	printf("%d %d %d", s1,s2,s3);
   return 0;
}

 以上代码输出结果如下

1.2枚举类型的优点 

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

在以上当中提到的枚举有类型检查是指在c++的环境下不能拿整数给枚举变量赋值
例如当我们将源文件改为.cpp后缀时以下代码就会报错

 例如在以下代码中

enum Sex//性别
{
	MALE,
	FEMALE,
	SECRET
};

也可以用define来定义常量,当这种方式相比枚举类型就使得可读性下降了，在此的define定义的就没有明确的意义，且定义红的作用域是整个工程，如果我们只是想在一部分使用就无法实现

#define MALE 0
#define	FEMALE 1
#define	SECRET 2

2.联合体类型

2.1 联合体类型的声明

像结构体⼀样，联合体也是由一个或者多个成员构成，这些成员可以不同的类型。
例如以下代码就是一个联合体的声明

union Un
{
char c;
int i;
};

2.2联合体类型的特点

#include <stdio.h>
//联合类型的声明
union Un
{
char c;
int i;
};
int main()
{
//联合变量的定义
union Un un = {0};
//计算连个变量的⼤⼩
printf("%d\n", sizeof(un));
return 0;
}

在以上代码输出结果你认为是什么呢？
其实输出结果是4，表示这个联合体大小为4字节，这是为什么呢？要解释原因接下来就要了解联合体的特点
联合的成员是共用同一块内存空间的，这样⼀个联合变量的大小，至少是最大成员的大小（因为联合至少得有能力保存最大的那个成员），因此联合体也叫共用体
我们来通过以下两段代码来进一步了解联合体的特点 

第一段代码

#include <stdio.h>
//联合类型的声明
union Un
{
char c;
int i;
};
int main()
{
//联合变量的定义
union Un un = {0};
// 下⾯输出的结果是⼀样的吗？
printf("%p\n", &(un.i));
printf("%p\n", &(un.c));
printf("%p\n", &un);
return 0;
}

代码输出结果如下 

通过以上输出的结果可以看出在以上联合体内的两个成员变量地址都一样
 

第二段代码

#include <stdio.h>
//联合类型的声明
union Un
{
char c;
int i;
};
int main()
{
//联合变量的定义
union Un un = {0};
un.i = 0x11223344;
un.c = 0x55;
printf("%x\n", un.i);
return 0;
}

我们来通过调试查看以上代码的内存内数值的变化

代码1输出的三个地址一模一样，代码2的输出，我们发现将i的第4个字节的内容修改为55了。
我们仔细分析就可以画出，un的内存布局图。 

 

2.3联合体大小的计算 

在以上我们知道了联合体的大小至少是最大成员的大小，其实在计算联合体大小时还有一个要求：
当最大成员大小不是最大对齐数的整数倍的时候，就对齐到最大对齐数的整数倍。

#include <stdio.h>
union Un1
{
char c[5];
int i;
};
union Un2
{
short c[7];
int i;
};
int main()
{
//下⾯输出的结果是什么？
printf("%d\n", sizeof(union Un1));
printf("%d\n", sizeof(union Un2));
return 0;
}

 在以上代码中的Un1内的char c[5] 可以看作5个char 变量，因为c[5]该成员的对齐数为1，大小为5字节,所以联合体Un1大小至少为5字节。又因为成员i的对齐数为4，大小为4字节，这时最大成员大小不是最大对齐数的整数倍，就对齐到最大对齐数的整数倍。所以联合体大小就为4的倍数，也就为8字节

在以上代码中的Un2内的是 c[7] 可以看作7个short 变量，因为c[7]该成员的对齐数为2，大小为14字节,所以联合体Un1大小至少为14字节。又因为成员i的对齐数为4，大小为4字节，这时最大成员大小不是最大对齐数的整数倍，就对齐到最大对齐数的整数倍。所以联合体大小就为4的倍数，也就为16字节

2.4 联合的练习 

练习一

写⼀个程序，使用联合体判断当前机器是大端？还是小端？

#include <stdio.h>
int check_sys()
{
union
{
int i;
char c;
}un;
un.i = 1;
return un.c;
}

int main()
{
int ret = check_sys();
if(ret == 1)
{
printf("⼩端\n");
}
else
{
printf("⼤端\n");
}
return 0;
}

练习二

我们要搞⼀个活动，要上线⼀个礼品兑换单，礼品兑换单中有三种商品：图书、杯子、衬衫。
每⼀种商品都有：库存量、价格、商品类型和商品类型相关的其他信息。

图书：书名、作者、页数
杯⼦：设计
衬衫：设计、可选颜色、可选尺⼨

在该题你可能会像以下一样直接使用结构体列出全部信息

struct gift_list
{
//公共属性
int stock_number;//库存量
double price; //定价
int item_type;//商品类型
//特殊属性
char title[20];//书名
char author[20];//作者
int num_pages;//⻚数
char design[30];//设计
int colors;//颜⾊
int sizes;//尺⼨
};

但当这样设计时比如在描述图书时，design；colors；sizes这些变量就用不到了，但是由于都在结构体内未使用还是会为它们开辟内存空间，这就存在内存浪费

所以我们就可以把公共属性单独写出来，剩余属于各种商品本身的属性使用联合体起来，这样就可以介绍所需的内存空间，⼀定程度上节省了内存。

struct gift_list
{
int stock_number;//库存量
double price; //定价
int item_type;//商品类型
union {
struct
{
char title[20];//书名
char author[20];//作者
int num_pages;//⻚数
}book;
struct
{
char design[30];//设计
}mug;
struct
{
char design[30];//设计
int colors;//颜⾊
int sizes;//尺⼨
}shirt;
}item;
};