嵌入式开发之数据结构的详解与选择策略

最新推荐文章于 2025-10-26 03:56:40 发布

原创最新推荐文章于 2025-10-26 03:56:40 发布 · 1.2k 阅读

9 ·

CC 4.0 BY-SA版权

文章标签：

#c语言数据结构 #数据结构原理介绍 #嵌入式开发必用数据结构

嵌入式开发之路专栏收录该内容

54 篇文章

订阅专栏

在嵌入式系统开发中，数据结构的选择和使用直接影响系统性能、内存占用和代码效率。下面将详细介绍嵌入式开发中常用的数据结构及其应用场景。

一、数组（Array）

1. 基本概念

定义：由相同类型元素组成的连续内存块，通过索引快速访问元素。

内存特性：在嵌入式系统中，数组通常在栈或静态存储区分配，内存连续且固定大小。

2. 嵌入式应用场景

传感器数据采集：存储 ADC 采样值（如uint16_t adc_buffer[100]）。

通信缓冲区：UART、SPI 接收 / 发送数据缓存。

查表操作：存储固定参数表（如 PID 控制参数）。

3. 优缺点分析

优点	缺点
访问速度极快（O (1) 时间复杂度）	大小固定，无法动态扩展
内存布局简单，适合底层操作	插入 / 删除元素需移动大量数据

4. 嵌入式优化技巧

静态数组：在编译期确定大小，避免运行时内存分配（如const uint8_t lookup_table[256] = {...}）。

多维数组映射：将二维数组映射为一维数组以节省内存（如array[i][j] = array[i*cols + j]）。

内存对齐：确保数组起始地址满足硬件对齐要求（如__align(4) uint32_t buffer[100]）。

二、结构体（Structure）

1. 基本概念

定义：将不同类型的数据组合成一个复合数据类型，用于表示复杂实体。

内存特性：成员按声明顺序存储，可能存在内存对齐填充字节。

2. 嵌入式典型应用

设备驱动接口：封装硬件寄存器映射（如 GPIO 结构体）：

通信协议帧：定义数据包格式（如 CAN 帧结构）：

设备状态描述：记录传感器或执行器状态。

3. 内存优化策略

字节对齐控制：使用#pragma pack(n)指令减少填充字节（n 为对齐字节数）。

位域定义：直接操作结构体中的特定位（如状态标志位）：
柔性数组成员：在结构体末尾定义长度可变数组（C99 特性）：

三、队列（Queue）

1. 基本概念

定义：遵循 “先进先出（FIFO）” 原则的线性数据结构，支持入队（enqueue）和出队（dequeue）操作。

实现方式：数组实现（循环队列）或链表实现（链式队列）。

2. 循环队列（数组实现）

核心原理：使用head和tail指针标记队列首尾，数组末尾到开头形成环形结构。

关键代码示例：
// 循环队列结构体定义

typedef struct {

uint8_t* buffer; // 数据缓冲区

uint16_t head; // 队头指针

uint16_t tail; // 队尾指针

uint16_t size; // 队列大小

} CircularQueue;

// 初始化队列

void queue_init(CircularQueue* q, uint8_t* buf, uint16_t len) {

q->buffer = buf;

q->size = len;

q->head = q->tail = 0;

}

// 入队操作

uint8_t queue_enqueue(CircularQueue* q, uint8_t data) {

uint16_t next = (q->tail + 1) % q->size;

if (next == q->head) return 0; // 队列已满

q->buffer[q->tail] = data;

q->tail = next;

return 1;

}

// 出队操作

uint8_t queue_dequeue(CircularQueue* q, uint8_t* data) {

if (q->head == q->tail) return 0; // 队列为空

*data = q->buffer[q->head];

q->head = (q->head + 1) % q->size;

return 1;

}

3. 嵌入式应用场景

中断数据缓冲：串口中断接收数据时暂存到队列，避免丢包。

任务间通信：RTOS 中任务间通过队列传递消息（如 FreeRTOS 的xQueue）。

日志记录：循环存储最新的系统日志，覆盖最早的记录。

4. 性能优化

无锁队列：在单核处理器中使用原子操作避免锁开销（如__disable_irq()保护队列操作）。

零拷贝设计：队列直接存储数据指针而非复制数据，减少内存操作。

四、链表（Linked List）

1. 基本概念

定义：由节点（Node）组成的链式结构，每个节点包含数据和指向下一节点的指针。

类型：单链表、双向链表、循环链表。

2. 双向链表实现

节点结构：
链表操作：插入、删除、遍历（时间复杂度均为 O (n)）。

3. 嵌入式应用场景

动态内存管理：堆内存分配器使用链表管理空闲块（如 memblock 算法）。

任务调度：RTOS 任务就绪队列（如 FreeRTOS 的ReadyTasksLists）。

设备注册：驱动程序注册链表（如 Linux 内核的device_driver链表）。

4. 内存与性能优化

内存池预分配：提前分配固定数量节点，避免频繁动态申请（如物联网传感器节点）。

指针压缩：在 8 位 / 16 位单片机中，使用偏移量代替完整指针（如uint16_t next_offset）。

双向链表优化：删除节点时直接修改指针，避免遍历（O (1) 时间复杂度）。

五、堆栈（Stack）

1. 基本概念

定义：遵循 “后进先出（LIFO）” 原则的数据结构，支持压栈（push）和弹栈（pop）操作。

实现方式：数组实现（静态栈）或链表实现（动态栈）。

2. 静态栈（数组实现）

核心结构：
typedef struct {

uint8_t* buffer; // 栈空间

uint16_t top; // 栈顶指针

uint16_t size; // 栈大小

} StaticStack;

// 初始化栈

void stack_init(StaticStack* s, uint8_t* buf, uint16_t len) {

s->buffer = buf;

s->size = len;

s->top = 0;

}

// 压栈操作

uint8_t stack_push(StaticStack* s, uint8_t data) {

if (s->top >= s->size) return 0; // 栈溢出

s->buffer[s->top++] = data;

return 1;

}

// 弹栈操作

uint8_t stack_pop(StaticStack* s, uint8_t* data) {

if (s->top == 0) return 0; // 栈为空

*data = s->buffer[--s->top];

return 1;

}