4、位域与联合体：内存布局、复用技巧与对齐陷阱
位域和联合体，是嵌入式开发里两个非常“C语言特色”的工具。用好了，能省内存、提效率；用不好，就是一堆隐蔽的坑。我个人习惯把位域叫做“按位分配的宿舍”，联合体则是“多用途的集装箱”。今天咱们就聊聊这两个家伙的内存布局，以及那些我踩过的坑。
4.1 位域的内存布局：编译器说了算？
位域允许你把一个整型变量的若干位拆开用。比如一个状态寄存器，8个位分别代表8个不同的标志位。用位域写起来很直观：
struct StatusReg {
uint8_t power_on : 1;
uint8_t error : 1;
uint8_t ready : 1;
uint8_t reserved : 5;
};但这里有个关键问题：位域在内存里怎么排列的？ 是低位在前，还是高位在前？相邻位域之间有没有填充？
答案是：由编译器实现决定，C标准没强制规定。
我在项目中遇到过一件事：用位域定义了一个CAN控制器寄存器，在STM32上跑得好好的，换到某国产MCU上，寄存器值全乱了。查了半天，发现是位域顺序反了——一个从LSB开始分配，另一个从MSB开始。
- 分配方向：从低位到高位（常见于小端架构），还是从高位到低位（常见于大端架构）？
- 填充策略：相邻位域能否跨字节边界？不能的话，会填充对齐。
- 类型符号：位域的类型是 signed 还是 unsigned？建议始终用 unsigned，避免符号扩展的意外。
说白了，位域的内存布局是“实现定义”的。你写代码时，不能假设它在所有平台上都一样。我的建议是：位域只用于同一平台内的状态标志，不要用于跨平台通信的数据结构。
4.2 联合体：内存复用的艺术
联合体（union）让多个变量共享同一块内存。这在嵌入式里太实用了——比如一个数据包，可能是整数、浮点数或者字节数组，用联合体就能灵活处理。
union DataPacket {
uint32_t as_uint32;
float as_float;
uint8_t bytes[4];
};这个联合体的大小是4字节。你写入 as_float，就能从 bytes 读出对应的字节序列。嗯，这里要注意：联合体不提供类型安全检查，你得自己记住当前存的是什么类型。
我个人习惯用联合体做两件事：
- 协议解析：把接收到的字节流映射成结构体，省去手动拆包的麻烦。
- 寄存器访问：用联合体把整个寄存器值和位域结构体放在一起，既能整体读写，又能按位操作。
union Reg32 {
uint32_t value;
struct {
uint32_t field1 : 4;
uint32_t field2 : 8;
uint32_t field3 : 20;
} bits;
};这样你既能用 reg.value 读写整个32位寄存器，又能用 reg.bits.field1 操作特定位域。我在做电机驱动时经常用这个模式。
4.3 位域对齐的陷阱：你以为省了内存，其实...
位域虽然能按位分配，但编译器为了访问效率，可能会在中间插入填充字节。来看个例子：
struct TrapExample {
uint16_t a : 10; // 10位
uint16_t b : 10; // 10位，跨字节边界？
uint16_t c : 10; // 10位
};你猜这个结构体多大？直觉上，3个10位 = 30位，不到4字节。但实际在很多编译器上，它占6字节甚至8字节。
为什么会这样？因为编译器可能不允许位域跨过其基础类型的边界。uint16_t 是2字节，每个位域不能跨越这个2字节的边界。所以 a 占10位后，剩下6位不够放 b，于是 b 从下一个 uint16_t 开始，中间浪费了6位。
| 位域声明 | 预期大小 | 实际大小（常见） | 原因 |
|---|---|---|---|
| 3 × 10位 (uint16_t) | 4字节 | 6字节 | 跨边界填充 |
| 8 × 1位 (uint8_t) | 1字节 | 1字节 | 正好填满 |
| 3 × 7位 (uint8_t) | 3字节 | 3字节 | 每个占1字节，无跨边界 |
| 1 × 32位 (uint32_t) | 4字节 | 4字节 | 单变量，无填充 |
- 位域不能跨过其基础类型的边界。
- 如果剩余位数不够放下一个位域，编译器会把它放到下一个基础类型实例的开头。
- 零宽度位域可以强制下一个位域从新的基础类型边界开始。
4.4 避坑指南：我踩过的那些坑
我曾经在一个低功耗传感器项目里，用位域定义了一个电池状态结构体。想着省几个字节，结果在调试时发现结构体大小和预期不符，导致通信协议解析全乱套了。
那次之后，我总结了几条经验：
- 永远用
sizeof()验证位域结构体的大小，别靠心算。 - 跨平台代码里，别用位域做数据交换。用移位和掩码操作更安全。
- 联合体里的位域布局，同样受编译器影响。别假设它和寄存器硬件布局一致。
- 如果一定要用位域映射硬件寄存器，加静态断言：
static_assert(sizeof(YourStruct) == 4, "Unexpected size");
当位域用于映射硬件寄存器时，记得加 volatile 关键字。否则编译器可能优化掉你的读写操作。我见过有人因为漏了 volatile，导致寄存器写不进去，查了两天。
4.5 知识结构图：位域与联合体全景
下面这张图总结了位域和联合体的核心概念、内存布局规则以及常见陷阱。你可以把它当作快速参考。
4.6 小结：记住这三条
好了，关于位域和联合体，我想说的就这些。总结下来，记住三条：
- 位域布局是编译器决定的，别想当然。用
sizeof和静态断言保护自己。 - 联合体是内存复用的利器，但你要自己管好类型。嵌套位域时，注意对齐问题。
- 跨平台代码里，少用位域做数据交换。移位和掩码虽然写起来麻烦，但安全得多。
嗯，这些经验都是我用调试器和逻辑分析仪一个个查出来的。希望你能少走些弯路。