1. 结构体与共用体：C语言中的复合数据类型精要
在C语言的世界里，结构体(struct)和共用体(union)是构建复杂数据模型的基石。它们让程序员能够突破基本数据类型的限制，像搭积木一样组合出符合业务需求的定制化数据结构。我至今记得第一次用结构体处理学生成绩管理系统时的畅快感——再也不用维护十几个分散的数组了！
结构体允许将不同类型的数据打包成一个整体，就像快递盒子能装下书籍、衣服和电子产品；而共用体则像变形金刚，同一块内存区域在不同场景下能呈现不同形态。这两种特性在嵌入式开发、协议解析和内存优化等场景中尤为珍贵。下面我将结合15年嵌入式开发的实战经验，带你深入理解这些概念的精妙之处。
2. 结构体详解：从定义到内存布局
2.1 结构体定义与初始化
结构体的标准定义格式如下：
c复制struct 标签名 {
类型1 成员1;
类型2 成员2;
// ...
} 变量名; // 可选的分号前变量声明
例如定义一个学生信息结构体：
c复制struct student {
int id;
char name[20];
float score[3];
struct {
int year;
int month;
int day;
} birthday;
}; // 注意分号不能省略
初始化结构体有多种方式：
c复制// 方式1：声明时初始化
struct student s1 = {1001, "张三", {85.5, 92.0, 78.5}, {2000, 9, 1}};
// 方式2：C99指定的成员初始化
struct student s2 = {
.id = 1002,
.name = "李四",
.score = {90.0, 88.5, 95.0},
.birthday = {2001, 5, 12}
};
// 方式3：逐个成员赋值
struct student s3;
s3.id = 1003;
strcpy(s3.name, "王五");
重要提示：结构体作为函数参数时，直接传递结构体会发生值拷贝，对于大型结构体建议传递指针。在嵌入式系统中，这能显著减少栈空间消耗。
2.2 结构体对齐与内存布局
结构体在内存中的排列并非简单的成员拼接，而是遵循对齐原则。以32位系统为例：
c复制struct example {
char a; // 1字节
int b; // 4字节（需要3字节填充）
short c; // 2字节
double d; // 8字节（需要2字节填充）
};
这个结构体看似应该占用1+4+2+8=15字节，实际通过sizeof获取的大小却是24字节！这是因为：
int b需要4字节对齐，所以在char a后填充3字节double d需要8字节对齐，所以在short c后填充2字节
可以通过#pragma pack(n)指令修改对齐系数（n通常为1/2/4/8），但会牺牲性能换取空间。在嵌入式开发中，合理控制结构体对齐能显著优化内存使用。
2.3 结构体高级用法
- 位域：精确控制结构体成员的位数
c复制struct flag {
unsigned int is_new :1; // 只占1位
unsigned int type :4; // 4位可表示0-15
unsigned int :3; // 无名位域，用于填充
};
- 柔性数组：结构体末尾的变长数组
c复制struct dynamic_str {
int len;
char data[]; // 柔性数组成员
};
- 结构体嵌套：构建复杂数据结构
c复制struct address {
char city[20];
char street[50];
};
struct employee {
int id;
struct address addr; // 嵌套结构体
struct employee *manager; // 自引用指针
};
3. 共用体深度解析：内存共享的艺术
3.1 共用体基础特性
共用体的定义语法与结构体类似，但所有成员共享同一块内存：
c复制union data {
int i;
float f;
char str[20];
} u_data;
关键特点：
- 所有成员共享同一内存地址
- 大小由最大成员决定（示例中为20字节）
- 同一时刻只能有效存储一个成员的值
典型应用场景：
- 协议解析：同一段数据可能对应不同消息类型
- 类型转换：不通过指针强制转换实现安全类型转换
- 内存优化：在确定不会同时使用的场景节省空间
3.2 共用体实战案例：IP地址处理
c复制union ip_addr {
uint32_t addr; // 作为32位整型
struct {
uint8_t a,b,c,d; // 作为4个字节
} octets;
};
union ip_addr my_ip;
my_ip.addr = 0xC0A8010A; // 192.168.1.10
printf("IP: %d.%d.%d.%d",
my_ip.octets.a, // 注意字节序问题！
my_ip.octets.b,
my_ip.octets.c,
my_ip.octets.d);
字节序警告：在不同端序的处理器上，octets的解析结果会不同。大端序(BE)下a对应最高字节，小端序(LE)下a对应最低字节。
3.3 共用体高级技巧
- 鉴别共用体：结合结构体实现类型安全的共用体
c复制struct variant {
enum { INT, FLOAT, STR } type;
union {
int i;
float f;
char s[20];
} value;
};
- 位操作：通过共用体访问变量的各个字节
c复制union byte_splitter {
uint32_t value;
uint8_t bytes[4];
};
- 浮点数解析：提取浮点数的符号、指数、尾数
c复制union float_parts {
float f;
struct {
unsigned mantissa :23;
unsigned exponent :8;
unsigned sign :1;
} parts;
};
4. 结构体与共用体的联合应用
4.1 协议解析实战
假设需要处理网络协议包：
c复制struct protocol_header {
uint16_t magic;
uint8_t version;
uint8_t type;
uint32_t length;
};
union protocol_payload {
struct {
uint32_t param1;
uint16_t param2;
} type_a;
struct {
char name[16];
float value;
} type_b;
};
struct protocol_packet {
struct protocol_header header;
union protocol_payload payload;
};
使用时根据header.type决定如何解析payload，这种模式在嵌入式网络协议栈中极为常见。
4.2 内存高效利用方案
在内存受限的嵌入式系统中，可以这样优化：
c复制struct sensor_data {
time_t timestamp;
enum { TEMP, HUMIDITY, LIGHT } type;
union {
float temp_celsius;
float humidity_percent;
uint16_t light_lux;
} value;
};
相比全部使用float类型存储，这种方式可节省33%的内存空间。
4.3 面向对象模拟
虽然C不是面向对象语言，但可以通过结构体+函数指针模拟：
c复制struct shape {
void (*draw)(struct shape*);
void (*move)(struct shape*, int, int);
union {
struct { int x, y, r; } circle;
struct { int x1, y1, x2, y2; } line;
} geometry;
};
5. 常见问题与性能优化
5.1 典型问题排查指南
-
内存对齐问题：
- 症状：硬件异常、数据损坏
- 解决方案：检查结构体打包方式，必要时手动填充
-
字节序问题：
- 症状：网络传输后数据解析错误
- 解决方案：统一使用htonl/ntohl等转换函数
-
共用体误用：
- 症状：读取的值不符合预期
- 解决方案：添加类型标记字段，确保读取类型与写入类型一致
5.2 性能优化技巧
- 缓存友好布局：
c复制// 优化前
struct bad_layout {
char c;
double d; // 可能因对齐产生大间隙
int i;
};
// 优化后
struct good_layout {
double d;
int i;
char c; // 将小类型放在末尾
};
-
热点结构体优化：
- 将频繁访问的成员放在结构体起始位置
- 对性能关键的结构体使用
__attribute__((packed))(GCC)
-
写时复制技术：
c复制struct large_data {
int ref_count;
char *data;
};
struct wrapper {
struct large_data *shared;
// 其他成员...
};
5.3 调试技巧
- 使用offsetof宏检查成员偏移：
c复制printf("name偏移量：%zu\n", offsetof(struct student, name));
- 通过编译器选项生成内存布局：
bash复制gcc -fdump-struct-layouts -c file.c
- 使用调试器检查内存：
bash复制(gdb) p/x *(struct student*)0x7fffffffdcc0
6. 现代C标准中的改进
C11标准引入了匿名结构和共用体，使嵌套更简洁：
c复制struct modern_example {
int id;
struct { // 匿名结构体
float x, y;
};
union { // 匿名共用体
int flags;
struct {
unsigned ready :1;
unsigned error :1;
};
};
};
使用时可以直接访问嵌套成员：
c复制struct modern_example obj;
obj.x = 1.23; // 无需obj.pos.x
obj.ready = 1;
7. 真实项目经验分享
在开发工业控制器时，我们曾用结构体+共用体实现多协议适配：
c复制struct motor_cmd {
enum { CAN, MODBUS, PWM } proto;
union {
struct {
uint32_t id;
uint8_t data[8];
} can;
struct {
uint8_t addr;
uint16_t reg;
uint16_t value;
} modbus;
struct {
uint8_t channel;
float duty_cycle;
} pwm;
};
};
这个设计让我们在不改变核心架构的情况下，仅通过添加新的协议类型就支持了三种工业总线协议。关键经验：
- 始终保持type字段与union使用的一致性
- 为每种协议编写专门的打包/解包函数
- 使用static_assert检查各变体的大小
另一个教训来自内存对齐：我们曾因结构体对齐问题导致ARM Cortex-M4上的硬件异常。解决方案是：
c复制#pragma pack(push, 1)
struct critical_struct {
// 成员定义...
};
#pragma pack(pop)
在嵌入式开发中，结构体和共用体绝不仅是语法特性，而是直接影响系统稳定性、性能和内存使用的关键工具。掌握它们的底层原理和使用技巧，是成为C语言高手的必经之路。