📚 课程目录第3章变量与数据类型优化

3. 变量与数据类型优化：局部变量与全局变量的存储位置、位域与联合体的妙用

说到嵌入式系统的存储优化，我第一个想聊的就是变量怎么放。很多刚入行的朋友觉得变量嘛，不就是定义一下就能用？其实不然。变量放在哪、怎么放，直接决定了你的 RAM 够不够用、程序跑得稳不稳。

我个人习惯是，写代码前先画一张内存布局草图。你想想看，一个 32KB RAM 的芯片，全局变量占掉 20KB，留给堆栈的只剩 12KB，稍微递归深一点就栈溢出。这种坑我踩过不止一次。

3.1 局部变量与全局变量的存储位置

先看一张总览图，把变量在内存中的位置理清楚。

3.2 局部变量：栈上的临时工

局部变量分配在栈上。函数一调用就分配，函数一返回就释放。速度快，但空间有限。

核心要点：

局部变量默认在栈上，生命周期仅限于函数执行期间
栈大小通常在 1KB ~ 8KB（MCU 上），递归或大数组容易溢出
加 static 关键字后，变量会移到全局区，生命周期变长

我曾经在一个电机控制项目里，把 2KB 的查找表定义成局部数组。结果一调用函数就栈溢出，系统直接 HardFault。查了两天才发现是栈不够用。后来改成全局数组，问题解决。

我的建议：

大数组（超过 256 字节）尽量别放栈上。要么用全局/静态，要么用动态分配。栈留给函数调用和少量局部变量就够了。

3.3 全局变量：RAM 里的常住户

全局变量在程序启动时就分配好，一直住到系统关机。它们放在 .data 段（有初始值）或 .bss 段（无初始值）。

变量类型	存储段	初始化时机	RAM 占用
`int g_a = 10;`	.data	启动时从 Flash 拷贝	4 字节
`int g_b;`	.bss	启动时清零	4 字节
`const int g_c = 5;`	.rodata（Flash）	编译时确定	0（不占 RAM）
`static int s_d = 0;`	.bss	启动时清零	4 字节

注意：

全局变量虽然方便，但滥用会导致 RAM 暴涨。我见过一个项目，全局变量用了 40KB，芯片总共才 64KB RAM，堆栈只剩 24KB。稍微跑点复杂逻辑就崩。后来重构时把很多全局变量改成局部传递，RAM 占用降到 20KB 以下。

3.4 位域（Bit-field）：把寄存器榨干

位域是 C 语言里一个很实用的特性。说白了，就是让你按位来定义结构体成员，而不是按字节。

为什么需要位域？

很多外设寄存器是 8/16/32 位的，每个位或几位代表一个控制项
用位域可以直接操作这些位，代码可读性高，还省 RAM

// 传统方式：用宏定义位掩码
#define STATUS_READY_BIT    (1 << 0)
#define STATUS_ERROR_BIT    (1 << 1)
#define STATUS_MODE_MASK    (0x03 << 2)

uint8_t status_reg;
// 设置模式
status_reg = (status_reg & ~STATUS_MODE_MASK) | (mode << 2);

// 位域方式：直接定义结构体
typedef struct {
    uint8_t ready : 1;   // bit 0
    uint8_t error : 1;   // bit 1
    uint8_t mode  : 2;   // bit 2-3
    uint8_t rsvd  : 4;   // bit 4-7 保留
} status_bits_t;

status_bits_t *p_status = (status_bits_t *)&status_reg;
p_status->mode = 2;  // 直接赋值，编译器自动处理移位

我个人习惯在操作硬件寄存器时，优先用位域结构体。代码一看就懂，不像宏定义那样要算半天掩码。

避坑指南：

位域在跨平台时要注意字节序（Endianness）。ARM Cortex-M 是小端，但有些 MCU 是大端。我曾经在移植代码时没注意这个，结果寄存器读写全反了。调试了一整天才发现是位域顺序问题。

3.5 联合体（Union）：同一块内存，多种解释

联合体让多个变量共享同一块内存。这在嵌入式里特别有用，尤其是处理协议数据包、寄存器映射、类型转换时。

// 联合体示例：解析串口接收的数据包
typedef union {
    uint32_t raw;  // 原始 32 位数据
    uint8_t  bytes[4];  // 按字节访问
    struct {
        uint16_t id;
        uint8_t  cmd;
        uint8_t  checksum;
    } fields;  // 按字段访问
} packet_t;

packet_t rx_pkt;
rx_pkt.raw = 0x12345678;

// 可以直接读各个字段
if (rx_pkt.fields.cmd == 0x56) {
    // 处理命令
}

// 也可以按字节发送
uart_send(rx_pkt.bytes, 4);

你看，一个联合体就搞定了原始数据、字节数组、结构化字段三种访问方式。不用手动移位、不用 memcpy，代码干净多了。

3.6 位域 + 联合体：黄金搭档

把位域和联合体结合起来，是嵌入式开发里非常经典的手法。尤其适合操作硬件寄存器。

// 硬件定时器控制寄存器（假设地址 0x40001000）
typedef struct {
    volatile uint32_t enable  : 1;
    volatile uint32_t mode    : 2;
    volatile uint32_t prescal : 3;
    volatile uint32_t irq_en  : 1;
    volatile uint32_t rsvd    : 25;
} timer_ctrl_bits_t;

typedef union {
    uint32_t          raw;    // 整体读写
    timer_ctrl_bits_t bits;   // 按位操作
} timer_ctrl_t;

#define TIMER_CTRL  (*(volatile timer_ctrl_t *)0x40001000)

// 使用
TIMER_CTRL.bits.enable = 1;
TIMER_CTRL.bits.mode   = 2;
// 或者一次写入
TIMER_CTRL.raw = 0x00000005;

为什么说这是黄金搭档？

位域让代码可读性极高，不用记掩码
联合体提供整体访问能力，方便批量配置
volatile 关键字确保编译器不优化掉寄存器访问
RAM 占用极小，一个寄存器就占 4 字节

3.7 实战对比：优化前后

拿一个实际项目举例。我之前做的一个传感器采集模块，需要存储 8 个传感器的状态：每个传感器有使能位、报警位、模式（2 位）、阈值（4 位）。

方案	每个传感器占用	8 个传感器总计	代码可读性
传统 uint8_t 数组	8 字节	64 字节	低（需要位运算）
位域结构体数组	1 字节	8 字节	高（直接访问成员）
位域 + 联合体	1 字节	8 字节 + 批量访问能力	最高

优化后 RAM 占用从 64 字节降到 8 字节。在只有 2KB RAM 的小 MCU 上，这 56 字节的差距可能就是能不能跑起来的区别。

注意：

位域虽然省 RAM，但访问速度比普通变量慢一点，因为编译器需要做移位和掩码操作。在中断服务函数或高频循环里，如果性能敏感，建议直接用整型变量加宏定义。我一般只在配置寄存器或存储状态时用位域，数据通路里尽量不用。

3.8 总结一下我的经验

局部变量：小数据用栈，大数据用全局/静态
全局变量：能少就少，多用 const 省 RAM
位域：寄存器操作和状态存储的首选
联合体：协议解析、类型转换、寄存器映射的好帮手
位域 + 联合体：嵌入式开发的经典组合，值得熟练掌握

嗯，这些技巧说起来简单，但真正用好需要多练。下次你写驱动或者协议栈的时候，不妨试试位域和联合体，你会发现代码清爽很多，RAM 也省下来了。