1. 从结构体说起：为什么还需要联合和枚举

我在实际项目里最常见的类型定义，其实还是结构体，它解决了“把不同类型的数据打包成一个整体”的问题。但写多了之后你会发现，光有结构体还不够，有两类需求它搞不定：

第一类，同一块内存，在不同时刻要承载不同含义的数据。典型的场景是网络协议解析，一个数据帧的头字段，根据类型位的取值不同，后续几个字节可能是MAC地址、IP地址，也可能是端口号。如果给每个可能性都定义独立的结构体，内存浪费不说，代码里还得写一大堆指针强转，很容易转错。联合就是为这种场景准备的。

第二类，一个变量只允许取有限的几个值。比如设备状态只有“启动、运行、停止、故障”，或者操作指令只有“增、删、改、查”。用整数硬编码的话，传参的人很难知道这个接口接受什么范围的值，传错了也不会报错，只能靠运行时的逻辑来兜底。枚举就是用来把“允许的取值”约束住的。

这两者加上之前你们应该已经很熟悉的结构体，构成了C语言自定义类型的完整拼图。结构体是“多个字段同时存在”，联合是“多个字段互斥存在”，枚举是“多个常量有名字”，方向不同，互不替代。我见过不少初学者把union和enum放在一起学的时候觉得混乱，其实就是没想清楚它们分别解决哪一类问题。把这个问题想透了，这两个语法记起来就非常自然。

这篇内容我围绕“自定义类型：联合和枚举”这个主题，把内存布局、大小计算、位段、类型别名这些关联知识点都串起来讲一遍，配合我在嵌入式开发里实际踩过的坑。不管你是准备面试、做课程设计，还是真要在设备上跑C代码，这些都绕不开。

2. 联合的底层逻辑：内存怎么复用、大小怎么算

2.1 联合的核心语义：互斥与覆盖

联合（union）这一节，我先说一个最容易被忽略的语义点：联合体里的成员是共享同一段内存的。这里有个学生容易误解的地方，他认为“互斥”就是程序运行时不同时间存不同的值，这个理解方向是对的，但“共享同一段内存”意味着它不是像结构体那样按顺序排布，而是所有成员从同一个起始地址开始。

举个例子直观感受一下：我在某高校的嵌入式课程中常让学生做这个实验——声明一个联合体，往里写一个整型值，再按字节去读。结果很多学生看到输出的字节顺序和自己想的不一样，就以为编译器出了问题，其实是他们没意识到整数在内存里的小端存储规则和联合覆盖行为叠加在了一起。

union Data { unsigned char bytes[4]; unsigned int value; }; int main(void) { union Data d; d.value = 0x01020304; printf("%x %x %x %x\n", d.bytes[0], d.bytes[1], d.bytes[2], d.bytes[3]); return 0; }

在主流x86平台和多数ARM平台上的输出是4 3 2 1，这个结果至少说明两个事实：第一，联合的所有成员都从起始地址开始存放；第二，多字节类型的字节序是低位在前。这两个事实在实际项目里很容易变成隐蔽的问