C语言实现：用双队列模拟栈的核心算法

原创于 2026-11-03 15:07:01 发布 · 270 阅读

本内容遵循CC 4.0 BY-SA版权协议

本文详解如何使用两个顺序队列（FIFO）在C语言中模拟栈（LIFO）的核心操作，包括push、pop和top。核心思路是通过元素在双队列间转移实现顺序反转，保持一个队列为空以支持LIFO语义。分析表明push为O(1)，pop/top为O(n)，空间复杂度O(n)。适用于嵌入式、受限API环境及算法面试。

1. 项目概述

这个C语言练习项目展示了如何仅用两个顺序队列（FIFO结构）来模拟实现一个栈（LIFO结构）的所有核心操作。这种数据结构转换练习在面试中经常出现，考察的是对基础数据结构特性的深入理解。

我最初接触这个题目是在准备校招时，当时就被它巧妙的思路吸引了。后来在实际工作中发现，这种"用简单结构组合实现复杂功能"的思维方式，在系统设计、资源受限场景下特别实用。比如在嵌入式开发中，我们经常需要根据硬件限制来调整数据结构实现方式。

2. 核心思路解析

2.1 栈与队列的本质区别

栈和队列最根本的区别在于操作顺序：

栈：后进先出（LIFO），只允许在栈顶进行push/pop
队列：先进先出（FIFO），在队尾添加，在队首移除

要实现栈的LIFO特性，关键是要让最后进入的元素能够最先被取出。而队列本身是FIFO的，所以需要借助两个队列的配合来实现顺序反转。

2.2 双队列实现栈的算法思路

基本操作原理：

任何时候都保持一个队列为空
入栈操作：将元素加入非空队列（如果都空则任选其一）
出栈操作：
- 将非空队列中的元素（除最后一个外）全部转移到空队列
- 移除并返回最后一个元素（这就是栈的pop操作）

这种方法的精髓在于通过队列间的元素转移，把最后进入的元素"推"到队列前端，从而实现LIFO特性。

3. 代码实现详解

3.1 数据结构定义

#define MAX_SIZE 100

typedef struct {
    int data[MAX_SIZE];
    int front;
    int rear;
} Queue;

typedef struct {
    Queue q1;
    Queue q2;
} Stack;

这里我们：

用数组实现固定大小的顺序队列
使用front/rear指针实现环形队列
栈结构包含两个队列实例

注意：在实际工程中，应该添加队列满/空的判断，这里为简化示例省略

3.2 队列基本操作实现

// 入队
void enqueue(Queue *q, int item) {
    q->data[q->rear] = item;
    q->rear = (q->rear + 1) % MAX_SIZE;
}

// 出队
int dequeue(Queue *q) {
    int item = q->data[q->front];
    q->front = (q->front + 1) % MAX_SIZE;
    return item;
}

// 判断队列是否为空
int isQueueEmpty(Queue *q) {
    return q->front == q->rear;
}

// 获取队列元素数量
int queueSize(Queue *q) {
    return (q->rear - q->front + MAX_SIZE) % MAX_SIZE;
}

3.3 栈的核心操作实现

3.3.1 入栈(push)

void push(Stack *s, int item) {
    // 总是将元素加入非空队列
    if (!isQueueEmpty(&s->q1)) {
        enqueue(&s->q1, item);
    } else {
        enqueue(&s->q2, item);
    }
}

3.3.2 出栈(pop)

int pop(Stack *s) {
    Queue *nonEmpty, *empty;
    
    // 确定哪个队列是非空的
    if (!isQueueEmpty(&s->q1)) {
        nonEmpty = &s->q1;
        empty = &s->q2;
    } else {
        nonEmpty = &s->q2;
        empty = &s->q1;
    }
    
    // 将非空队列中除最后一个元素外全部转移到空队列
    while (queueSize(nonEmpty) > 1) {
        enqueue(empty, dequeue(nonEmpty));
    }
    
    // 最后一个元素就是栈顶元素
    return dequeue(nonEmpty);
}

3.3.3 查看栈顶(top)

int top(Stack *s) {
    Queue *nonEmpty, *empty;
    int lastItem;
    
    if (!isQueueEmpty(&s->q1)) {
        nonEmpty = &s->q1;
        empty = &s->q2;
    } else {
        nonEmpty = &s->q2;
        empty = &s->q1;
    }
    
    // 转移元素直到剩下最后一个
    while (queueSize(nonEmpty) > 1) {
        enqueue(empty, dequeue(nonEmpty));
    }
    
    // 获取但不移除最后一个元素
    lastItem = nonEmpty->data[nonEmpty->front];
    
    // 将这个元素也转移到另一个队列，保持一致性
    enqueue(empty, dequeue(nonEmpty));
    
    return lastItem;
}