栈和队列是数据结构中最经典的两种线性受限表，它们在逻辑结构上与普通线性表一致，但在操作规则和应用场景上却截然不同。本文将从多个维度详细对比栈与队列，帮你彻底理清它们的区别与联系。
一、逻辑结构：一脉相承的线性关系
从逻辑层面看，栈和队列都属于线性结构 ，数据元素之间保持着严格的一对一邻接关系，这一点和普通的线性表（如数组、链表）完全相同。
- 共同点：元素之间是线性排列的，有明确的先后顺序。
- 差异点 ：虽然逻辑结构相同，但栈和队列对元素的访问、插入、删除操作做了严格限制，这也是它们最核心的区别。
二、存储结构：顺序与链式的不同选择
栈和队列都支持顺序存储 和链式存储两种实现方式，但在具体实现和特性上各有侧重。
1. 顺序存储
- 栈（顺序栈） ：
- 预先分配一段连续的内存空间，用数组实现。
- 优点：访问速度快，随机存取效率高。
- 缺点：容量固定，可能出现空间闲置 或栈满溢出（Stack Overflow），元素个数无法自由扩充。
- 队列（顺序队列 / 循环队列） ：
- 同样基于数组实现，为了避免 "假溢出"，通常设计为循环队列。
- 优点：充分利用数组空间，避免了普通顺序队列的空间浪费。
- 缺点：容量依然固定，可能出现空间闲置 或队满溢出，元素个数无法自由扩充。
2. 链式存储
- 栈（链栈） ：
- 基于链表实现，动态分配内存，只在栈顶进行操作。
- 优点：无容量限制，不会出现闲置或溢出，元素个数可自由扩充。
- 缺点：需要额外存储指针，内存开销略大。
- 队列（链队列） ：
- 基于链表实现，在队尾插入、队头删除。
- 优点：无容量限制，不会出现闲置或溢出，元素个数可自由扩充。
- 缺点：同样需要额外存储指针，内存开销略大。
| 存储方式 | 栈 | 队列 |
|---|---|---|
| 顺序存储 | 数组实现，容量固定，可能溢出 | 数组实现，常为循环队列，容量固定，可能溢出 |
| 链式存储 | 链表实现，动态扩容，无溢出 | 链表实现，动态扩容，无溢出 |
三、运算规则：后进先出 vs 先进先出
这是栈和队列最本质的区别，直接决定了它们的行为模式和应用场景。
1. 栈（Stack）：后进先出（LIFO, Last In First Out）
- 操作限制 ：所有插入（入栈
push）和删除（出栈pop）操作都只能在 ** 栈顶（表的一端）** 完成。 - 直观类比：就像一叠盘子，你只能从最上面取走盘子，也只能把新盘子放在最上面。
- 核心操作 ：
push(e)：将元素e压入栈顶。pop()：移除并返回栈顶元素。top()：查看栈顶元素但不移除。
2. 队列（Queue）：先进先出（FIFO, First In First Out）
- 操作限制 ：插入（入队
enqueue）在 ** 队尾（表的一端）进行，删除（出队dequeue）在队头（表的另一端）** 进行。 - 直观类比：就像排队买饭，先到的人先买，后到的人排在队尾。
- 核心操作 ：
enqueue(e)：将元素e加入队尾。dequeue()：移除并返回队头元素。front()：查看队头元素但不移除。
四、典型应用场景：各司其职的实践
由于操作规则的不同，栈和队列在计算机科学中有着截然不同的应用领域。
栈的经典应用
- 函数调用与递归：程序运行时的函数调用栈，记录函数的返回地址和局部变量，保证函数执行完毕后能正确返回到调用点。
- 表达式求值：中缀表达式转后缀表达式（逆波兰式），以及后缀表达式的计算，都依赖栈来处理运算符的优先级。
- 括号匹配检查：编译器检查代码中的括号是否配对，利用栈的 "后进先出" 特性来验证。
- 浏览器的前进 / 后退功能：记录用户访问的页面历史，后退时弹出当前页面，前进时压入历史页面。
队列的经典应用
- 任务调度：操作系统的进程调度、打印机的任务队列，保证任务按提交顺序依次执行。
- 消息队列：分布式系统中的异步通信，如 Kafka、RabbitMQ，实现消息的生产与消费解耦。
- 缓冲区处理：网络数据传输中的缓冲区，先到达的数据先被处理。
- 广度优先搜索（BFS）：图论和树的遍历算法，用队列来按层访问节点。
五、总结对比表
| 维度 | 栈 (Stack) | 队列 (Queue) |
|---|---|---|
| 逻辑结构 | 线性结构，一对一关系 | 线性结构，一对一关系 |
| 存储结构 | 顺序 / 链式，顺序栈容量固定 | 顺序 (循环队列)/ 链式，顺序队列容量固定 |
| 操作规则 | 仅在栈顶操作，后进先出 (LIFO) | 队尾入队、队头出队，先进先出 (FIFO) |
| 核心操作 | push, pop, top | enqueue, dequeue, front |
| 典型应用 | 函数调用、表达式求值、括号匹配 | 任务调度、消息队列、BFS 遍历 |
六、结语
栈和队列作为最基础的受限线性表，是理解更复杂数据结构（如树、图）的基石。它们的核心区别在于操作规则：栈是 "后进先出"，适合处理需要回溯、嵌套的场景；队列是 "先进先出"，适合处理需要按顺序、公平处理的场景。