第二章 嵌入式C语言基础回顾：数据类型、运算符、控制流、函数、数组、指针、结构体、联合体、枚举、位域、内存模型

嵌入式C语言与通用C语言在语法层面高度一致，但其应用场景决定了开发者必须对数据宽度、内存布局、资源开销和硬件映射有更敏锐的感知。本章并非简单罗列语法条目，而是从嵌入式工程视角出发，围绕“类型决定内存解释方式”“指针即地址访问手段”“结构体与位域用于硬件寄存器映射”“内存模型决定系统稳定性”四条主线，系统回顾C语言核心语法要素，并建立一套适合嵌入式开发的代码审视标准。

2.1 数据类型：宽度、符号性与可移植性

核心原理：嵌入式C的数据类型直接对应目标处理器的字长和内存编址单位。8位MCU上int为16位，32位MCU上int为32位，这种差异导致同一段代码在不同平台行为不同。C99标准引入的stdint.h头文件定义了uint8_t、int16_t、uint32_t等固定宽度类型，是嵌入式开发的基石。

判断方法：在工程中应遵循以下优先级：① 使用stdint.h固定宽度类型；② 需要精确位宽时使用uint32_t而非unsigned int；③ 涉及硬件寄存器时，必须使用volatile限定；④ 枚举类型默认编译为int，若需节省空间可显式指定底层类型（C23支持，但嵌入式编译器通常允许扩展）。

int16_t raw_temp = read_ds18b20();  // 12位有符号数
float temp_c = raw_temp * 0.0625f;   // 分辨率0.0625°C

2.2 运算符与控制流：位操作与执行效率

核心原理：嵌入式开发中位运算符（&、|、^、~、<<、>>）是操作硬件寄存器的基本手段。控制流语句（if/else、switch、for、while）的选择直接影响代码体积和执行周期。ARM Cortex-M系列支持条件执行和位带操作，合理利用可显著提升效率。

操作流程：寄存器位操作遵循“读-改-写”三步：① 读取当前寄存器值；② 使用位运算修改目标位；③ 写回寄存器。例如设置GPIOB的bit5为1：

GPIOB->BSRR = (1 << 5);   // 直接置位，无需读改写
GPIOB->BRR  = (1 << 5);   // 直接清零

案例拆解：某电机驱动项目中，需要根据霍尔传感器状态切换PWM输出模式。使用switch-case比if-else链更高效：

switch(hall_state) {
    case 0b001: pwm_set_duty(30); break;
    case 0b010: pwm_set_duty(60); break;
    case 0b100: pwm_set_duty(90); break;
    default:    pwm_set_duty(0);  break;
}

编译器会将switch优化为跳转表，执行时间固定为3个周期，而if-else链最坏需要6个周期。

2.3 函数与数组：栈帧、传参与数组退化

核心原理：函数调用涉及栈帧分配、参数压栈、返回地址保存。嵌入式环境栈空间有限（通常2-8KB），递归和大型局部数组是栈溢出的主要来源。数组名在表达式中退化为指向首元素的指针，这是C语言的重要特性。

判断方法：函数参数传递遵循以下原则：① 小于等于4字节的参数直接传值；② 大型结构体使用指针传递；③ 数组永远通过指针传递，无法直接传值；④ 函数内部大型数组应使用static或malloc，而非栈上分配。

实战场景：某数据采集系统需要处理512字节的ADC采样缓冲区。若直接传值，每次调用复制512字节，浪费RAM和CPU周期。正确做法：

void process_samples(uint16_t *buf, uint32_t len) {
    for (uint32_t i = 0; i < len; i++) {
        buf[i] = filter(buf[i]);
    }
}
// 调用
uint16_t adc_buf[256];
process_samples(adc_buf, 256);  // 数组退化为指针

2.4 指针：地址操作、指针运算与函数指针

核心原理：指针存储变量的内存地址，其类型决定了解读内存的方式。嵌入式指针常用于：① 直接访问硬件寄存器地址；② 动态内存管理；③ 函数回调机制；④ 字符串操作。指针运算以所指类型大小为步长，p+1实际增加sizeof(*p)字节。

操作流程：安全使用指针的四个步骤：① 初始化指针时赋予明确地址或NULL；② 使用前检查是否为NULL；③ 确保指针类型与目标类型匹配；④ 释放后立即置NULL。访问硬件寄存器示例：

#define GPIOA_BASE  0x40010800UL
#define GPIOA_ODR   (*(volatile uint32_t *)(GPIOA_BASE + 0x0C))
GPIOA_ODR |= (1 << 8);  // 将PA8输出高电平

案例拆解：函数指针在嵌入式协议栈中广泛使用。例如实现一个简单的定时器回调表：

typedef void (*timer_cb_t)(void);
timer_cb_t timer_callbacks[4];

void timer_register(uint8_t idx, timer_cb_t cb) {
    if (idx < 4) timer_callbacks[idx] = cb;
}
void timer_dispatch(void) {
    for (uint8_t i = 0; i < 4; i++) {
        if (timer_callbacks[i]) timer_callbacks[i]();
    }
}

2.5 结构体、联合体、枚举与位域：硬件映射与内存优化

核心原理：结构体将相关数据聚合，其内存布局遵循对齐规则（默认按最大成员对齐）。联合体所有成员共享同一内存起始地址，用于类型双关或节省空间。枚举定义一组命名常量，编译器按int处理。位域允许按位定义结构体成员，特别适合映射硬件寄存器。

判断方法：选择复合类型时考虑：① 需要同时访问多个相关变量→结构体；② 同一内存需要不同解释方式→联合体；③ 定义有限状态集合→枚举；④ 精确控制寄存器位→位域+volatile。

实战场景：定义STM32的GPIO控制寄存器结构体：

typedef struct {
    volatile uint32_t MODER;   // 偏移0x00
    volatile uint32_t OTYPER;  // 偏移0x04
    volatile uint32_t OSPEEDR; // 偏移0x08
    volatile uint32_t PUPDR;   // 偏移0x0C
    volatile uint32_t IDR;     // 偏移0x10
    volatile uint32_t ODR;     // 偏移0x14
    volatile uint32_t BSRR;    // 偏移0x18
    volatile uint32_t LCKR;    // 偏移0x1C
    volatile uint32_t AFR[2];  // 偏移0x20-0x24
} GPIO_TypeDef;
#define GPIOA ((GPIO_TypeDef *)0x40010800UL)

案例复盘：某项目使用联合体解析串口协议帧，将4字节数据同时解释为float和uint32_t：

typedef union {
    float f;
    uint32_t u;
    uint8_t bytes[4];
} float_u;
float_u val;
val.bytes[0] = rx_buf[0];
val.bytes[1] = rx_buf[1];
val.bytes[2] = rx_buf[2];
val.bytes[3] = rx_buf[3];
float temperature = val.f;  // 直接解释为浮点数

2.6 内存模型：栈、堆、静态区与代码区

核心原理：嵌入式系统的内存布局通常分为：① 代码区（Flash）：存放程序指令和常量；② 静态区（SRAM）：存放全局变量和static变量；③ 栈：存放局部变量、函数调用帧；④ 堆：动态内存分配区域。理解各区域特性是编写稳定代码的前提。

判断方法：变量存储位置遵循以下规则：

• 全局变量和static变量→静态区，生命周期为整个程序运行期
• 函数内非static局部变量→栈，函数返回后失效
• malloc分配的内存→堆，需手动free
• 字符串字面量→代码区（Flash），只读

案例拆解：某系统内存分配如下（以STM32F103为例，SRAM 20KB）：

// 静态区
uint8_t global_flag;           // 静态区，1字节
static uint32_t counter;       // 静态区，4字节
const char version[] = "1.2";  // 代码区，4字节

void func(void) {
    uint8_t local_buf[128];    // 栈，128字节
    uint16_t *heap_ptr = malloc(64);  // 堆，64字节
    // ...
    free(heap_ptr);
}

若栈大小为4KB，函数内定义uint8_t big[4096]将立即溢出。应改用static或malloc。