一、前言
在嵌入式开发领域，无论是单片机裸机开发，还是RTOS实时操作系统（FreeRTOS、UCOS、RT-Thread）开发，栈（Stack）和队列（Queue）都是最基础、使用频率最高的数据结构。很多开发者会使用RTOS的任务调度、消息收发功能，但并不清楚底层依赖栈和队列的运行逻辑。
任务的延时阻塞、就绪排队、消息缓存、中断数据传输，几乎全部离不开栈与队列。本文结合嵌入式实战场景，通俗讲解栈和队列的概念、底层原理、核心代码实操，深度剖析任务调度依赖二者的本质原因，附带流程示意图，适合嵌入式入门及进阶开发者学习收藏。
二、嵌入式中栈与队列基础概念
2.1 栈（Stack）：后进先出的临时容器
2.1.1 核心定义
栈是一种后进先出（LIFO, Last In First Out）的线性数据结构，仅允许在数据容器的一端（栈顶）进行数据存入（入栈）和取出（出栈）操作，另一端（栈底）固定封闭，无法直接操作。
2.1.2 嵌入式栈分类
- 系统栈（硬件栈）：由单片机内核自动分配，用于存储函数调用、中断跳转时的寄存器数据、返回地址，无需开发者手动编码，栈空间固定。
- 自定义栈（软件栈）：开发者手动开辟内存，用于业务数据缓存，适用于临时数据逆序处理场景。
2.1.3 栈核心特性
- 操作受限：仅栈顶增删数据；
- 内存连续：嵌入式中栈内存一般为连续数组；
- 无随机访问：无法直接读取栈中间数据，必须弹出上方数据。
2.2 队列（Queue）：先进先出的排队容器
2.2.1 核心定义
队列是一种先进先出（FIFO, First In First Out）的线性数据结构，数据从队尾入队、队头出队，模拟日常生活排队逻辑，先进入的数据优先被处理。
2.2.2 嵌入式常用队列类型
- 普通队列：单向存取，队尾入、队头出，尾部空间耗尽即无法存储；
- 循环队列：嵌入式主流队列，首尾相连，内存循环复用，解决普通队列空间浪费问题；
- 优先级队列：RTOS专用队列，不遵循入队顺序，优先级高的数据/任务优先处理。
2.2.3 队列核心特性
- 两端操作：队尾插入、队头删除；
- 顺序处理：严格遵循入队时序（普通队列）；
- 缓存隔离：实现任务、中断之间的数据解耦。
三、底层工作原理
3.1 栈工作原理
3.1.1 操作流程
入栈：新数据压入栈顶，栈顶指针向上偏移；出栈：栈顶数据优先弹出，栈顶指针向下偏移，栈底数据最后取出。
3.1.2 简易示意图
3.1.3 嵌入式硬件栈原理
单片机执行函数时，会将当前程序计数器、寄存器值压入栈保存；函数执行完毕后，从栈中弹出数据恢复现场，实现函数跳转返回。中断服务程序的现场保护，完全依赖硬件栈完成。
3.2 队列工作原理
3.2.1 循环队列原理
采用固定大小的连续数组，设置队头指针（读取位置）、队尾指针（写入位置）。当指针移动到数组末尾时，重置至数组头部，循环复用内存，完美适配嵌入式内存资源有限的特性。
3.2.2 循环队列示意图
![]()
四、嵌入式实战代码
以下代码基于C语言编写，适配STM32、51单片机，无依赖库，裸机可直接编译运行，包含栈实现、循环队列实现、基础增删查改操作。
4.1 自定义栈代码实现
/************************************************* * 嵌入式自定义栈（软件栈） * 适用：临时数据逆序存储、函数缓存 *************************************************/ #include <stdio.h> #include <string.h> #define STACK_MAX_SIZE 10 // 栈最大容量 typedef unsigned char uint8; // 栈结构体定义 typedef struct{ uint8 data[STACK_MAX_SIZE]; // 栈内存空间 int top; // 栈顶指针 }Stack_TypeDef; // 栈初始化 void Stack_Init(Stack_TypeDef *stack) { memset(stack->data,0,sizeof(stack->data)); stack->top = -1; // 栈空标记 } // 入栈操作 int Stack_Push(Stack_TypeDef *stack,uint8 val) { if(stack->top >= STACK_MAX_SIZE-1) return -1; // 栈满 stack->top++; stack->data[stack->top] = val; return 0; } // 出栈操作 int Stack_Pop(Stack_TypeDef *stack,uint8 *val) { if(stack->top < 0) return -1; // 栈空 *val = stack->data[stack->top]; stack->top--; return 0; } // 栈测试函数 int main(void) { Stack_TypeDef stack; uint8 res; Stack_Init(&stack); Stack_Push(&stack,10); Stack_Push(&stack,20); Stack_Push(&stack,30); Stack_Pop(&stack,&res); printf("出栈数据：%d\r\n",res); // 输出30，验证后进先出 return 0; }4.2 循环队列代码实现（嵌入式通用）
c /************************************************* * 嵌入式循环队列（任务调度、消息缓存专用） * 适用：串口收发、任务消息传递、中断缓存 *************************************************/ #include <stdio.h> #include <string.h> #define QUEUE_MAX_SIZE 8 // 队列缓存大小 typedef unsigned char uint8; // 循环队列结构体 typedef struct{ uint8 buf[QUEUE_MAX_SIZE]; int front; // 队头指针（读） int rear; // 队尾指针（写） }Queue_TypeDef; // 队列初始化 void Queue_Init(Queue_TypeDef *q) { memset(q->buf,0,sizeof(q->buf)); q->front = 0; q->rear = 0; } // 判断队列是否已满 int Queue_IsFull(Queue_TypeDef *q) { if((q->rear + 1) % QUEUE_MAX_SIZE == q->front) return 1; return 0; } // 判断队列是否为空 int Queue_IsEmpty(Queue_TypeDef *q) { if(q->front == q->rear) return 1; return 0; } // 入队操作 int Queue_EnQueue(Queue_TypeDef *q,uint8 val) { if(Queue_IsFull(q)) return -1; q->buf[q->rear] = val; q->rear = (q->rear + 1) % QUEUE_MAX_SIZE; return 0; } // 出队操作 int Queue_DeQueue(Queue_TypeDef *q,uint8 *val) { if(Queue_IsEmpty(q)) return -1; *val = q->buf[q->front]; q->front = (q->front + 1) % QUEUE_MAX_SIZE; return 0; } // 队列测试 int main(void) { Queue_TypeDef queue; uint8 res; Queue_Init(&queue); Queue_EnQueue(&queue,11); Queue_EnQueue(&queue,22); Queue_EnQueue(&queue,33); Queue_DeQueue(&queue,&res); printf("出队数据：%d\r\n",res); // 输出11，验证先进先出 return 0; }五、核心重点：任务调度为什么依赖栈与队列？
RTOS实时操作系统的任务调度是嵌入式开发的核心，任务的创建、挂起、恢复、删除，本质都是对栈和队列的操作，下面拆解底层逻辑。
5.1 栈在任务调度中的作用
5.1.1 任务私有栈，保存任务上下文
RTOS中每个任务都有独立的任务栈，用于存储任务切换时的寄存器、局部变量、程序地址。当系统进行任务切换时，将当前任务运行状态压入栈，切换完成后从栈弹出状态，实现上下文保存与恢复。
5.1.2 中断嵌套栈保护
嵌入式中断支持嵌套，高优先级中断打断低优先级中断时，硬件栈自动保存低优先级中断现场，高优先级中断执行完毕后，出栈恢复现场，无栈则无法实现中断嵌套。
5.2 队列在任务调度中的作用
5.2.1 任务就绪队列，实现有序调度
RTOS将所有就绪状态的任务存入就绪队列，基于优先级排序（优先级队列），调度器从队列头部取出最高优先级任务执行，任务阻塞时移出就绪队列，完美遵循队列排序规则。
5.2.2 任务消息队列，实现通信解耦
不同任务之间不能直接传递数据，通过消息队列缓存数据。发送任务将数据入队，接收任务从队头读取数据，异步通信互不干扰，常见于传感器数据传输、指令下发。
5.2.3 阻塞队列，延时任务管理
延时、阻塞的任务会被放入阻塞队列，系统时钟节拍不断扫描队列，当任务延时时间到达后，将任务移入就绪队列，等待调度执行。
5.3 无栈无队列，RTOS无法运行
嵌入式硬件内存资源稀缺，栈占用空间小、存取速度快，适合瞬时上下文存储；队列逻辑简单、内存可循环复用，适合有序任务管理。没有这两种数据结构，任务切换、消息传输、中断保护都无法实现，这也是所有RTOS底层必用栈和队列的根本原因。
六、嵌入式开发实操使用场景总结
数据结构 | 典型实操场景 | 使用优势 |
栈 | 函数调用、中断现场保护、任务上下文切换、递归运算 | 存取速度快，内存占用小，适合瞬时数据保存 |
队列 | 串口收发缓存、RTOS任务排队、传感器数据采集、指令缓冲 | 顺序处理、数据不丢失，实现异步通信，内存利用率高 |
七、开发避坑注意事项
- 禁止栈溢出：嵌入式栈空间极小，自定义栈、任务栈需合理设置大小，避免局部变量过多、递归过深导致栈溢出死机；
- 队列防止满阻塞：数据采集高频场景，需判断队列满状态，及时清空队列，避免数据丢包；
- 循环队列指针处理：指针必须取模运算，防止指针越界，破坏相邻内存数据；
- 中断慎用栈：中断服务函数中禁止定义过大局部变量，优先使用全局队列缓存数据。
八、文末总结
栈和队列不是书本上抽象的数据结构，而是嵌入式开发、RTOS任务调度的底层基石。栈依靠后进先出特性完成瞬时状态保存，队列依靠先进先出逻辑实现有序任务管理。
对于嵌入式开发者，不仅要会调用RTOS现成的任务、队列API，更要理解底层原理，在调试死机、卡顿、数据丢包问题时，才能快速定位栈溢出、队列阻塞等故障。掌握这两种基础数据结构，是从单片机裸机开发进阶到RTOS高阶开发的必经之路。
想学习嵌入式高阶技巧，可以来华清远见武汉中心
