1. 共用体基础概念解析
共用体（union）是C语言中一种特殊的数据结构，它允许在同一内存位置存储不同的数据类型。与结构体（struct）不同，共用体的所有成员共享同一块内存空间，这意味着任何时候只能有一个成员包含有效值。
c复制union Data {
int i;
float f;
char str[20];
};
这个简单的例子定义了一个可以存储整型、浮点型或字符串的共用体。关键特性在于：
- 共用体的大小由其最大成员决定（上例中为20字节）
- 对任一成员的修改都会影响其他成员的值
- 同一时间只能使用一个成员，否则会出现数据覆盖
注意：使用共用体时必须清楚当前存储的是哪种类型的数据，否则读取错误类型的成员会导致未定义行为。
2. 共用体的典型应用场景
2.1 硬件寄存器访问
在嵌入式开发中，共用体常被用来访问硬件寄存器。例如，一个32位寄存器可能包含多个功能位域：
c复制typedef union {
uint32_t raw;
struct {
uint32_t enable : 1;
uint32_t mode : 3;
uint32_t reserved : 28;
} bits;
} ControlRegister;
这种用法允许开发者：
- 通过
raw成员一次性读写整个寄存器 - 通过
bits成员精确控制各个位域 - 保持代码可读性的同时不损失性能
我在STM32开发中就经常使用这种模式，实测比直接操作位运算更不易出错。
2.2 协议数据解析
网络协议和文件格式中经常出现类型多变的字段。以下是一个TCP/IP首部选项的解析示例：
c复制union TCPOption {
uint8_t type;
struct {
uint8_t kind;
uint8_t length;
uint16_t value;
} mss;
struct {
uint8_t kind;
uint8_t pointer;
uint8_t data[6];
} timestamp;
};
这种设计可以：
- 通过
type快速判断选项类型 - 根据类型使用对应的结构体成员访问细节
- 节省内存空间（所有选项共享同一存储区）
2.3 类型转换技巧
共用体提供了一种安全的类型转换方式，比指针强制转换更可靠：
c复制union Converter {
float f;
uint32_t u;
};
float pi = 3.14159f;
uint32_t bits = ((union Converter){.f = pi}).u;
这种方法避免了指针类型转换可能导致的严格别名(strict aliasing)问题，是嵌入式系统中处理浮点二进制表示的常用技巧。
3. 高级应用与优化技巧
3.1 变体记录(Variant Record)实现
共用体结合结构体可以实现类似其他语言中的变体类型：
c复制struct Shape {
enum { CIRCLE, RECTANGLE } type;
union {
struct { float radius; } circle;
struct { float width, height; } rectangle;
} data;
};
这种模式在图形处理中非常有用：
type字段标识当前激活的类型- 根据类型访问对应的数据成员
- 比单独定义多个结构体更节省空间
3.2 内存优化技巧
在内存受限的嵌入式系统中，共用体可以显著减少内存占用。例如：
c复制struct DeviceState {
enum { TEMP, HUMIDITY, LIGHT } sensor_type;
union {
float temp_celsius;
float humidity_percent;
uint16_t light_lux;
} reading;
time_t timestamp;
};
相比为每种传感器定义独立结构体，这种方法可以节省40-60%的内存空间。我在一个物联网项目中采用这种设计，使设备的内存使用量从12KB降到了7KB。
3.3 联合初始化技巧
C99标准引入了指定初始化器，使共用体使用更安全：
c复制union Data data = { .f = 3.14 }; // 明确初始化浮点成员
这比传统的data.f = 3.14更安全，因为：
- 明确指定了初始化的成员
- 避免未初始化其他成员导致的问题
- 代码意图更清晰
4. 常见问题与解决方案
4.1 类型混淆问题
最常见的错误是忘记当前存储的数据类型：
c复制union Data data;
data.i = 10;
printf("%f", data.f); // 错误！此时存储的是int
解决方案：
- 使用标签字段记录当前类型
- 封装访问函数进行类型检查
- 添加断言验证使用场景
4.2 字节序问题
在不同字节序的平台上，共用体可能表现出不同行为：
c复制union {
uint32_t word;
uint8_t bytes[4];
} converter;
解决方案：
- 明确文档记录字节序假设
- 添加静态断言验证内存布局
- 必要时进行显式字节序转换
4.3 内存对齐问题
某些架构对内存访问有严格对齐要求：
c复制union {
uint64_t u64;
char str[8];
} align_test;
解决方案：
- 使用
_Alignas指定对齐方式 - 检查编译器提供的对齐属性
- 避免在未对齐的地址访问成员
5. 性能考量与最佳实践
5.1 缓存友好性分析
共用体可能影响CPU缓存利用率：
- 小尺寸共用体有利于缓存局部性
- 大尺寸共用体可能导致缓存行浪费
- 频繁切换成员类型会降低缓存命中率
建议：
- 将高频访问的成员放在独立结构体中
- 限制共用体大小不超过缓存行(通常64字节)
- 避免在热点代码中频繁切换成员类型
5.2 编译器优化行为
现代编译器对共用体有特殊处理：
- 类型混淆可能导致优化失效
- 某些情况下会被优化为寄存器操作
volatile修饰符会影响生成代码
实测发现，合理使用的共用体在-O2优化级别下几乎不会引入额外开销。
5.3 可移植性建议
确保共用体代码可移植的要点：
- 避免假设成员的内存布局
- 不依赖未初始化的填充字节
- 处理不同编译器的大小和对齐差异
- 考虑使用静态断言验证关键假设
我在跨平台项目中通常会添加这样的检查：
c复制static_assert(sizeof(union Data) == 20, "Union size mismatch");
static_assert(_Alignof(union Data) == 4, "Alignment requirement");