双栈实现队列：C语言数据结构实战解析

1. 用两个栈实现队列的核心思路

在数据结构中，栈和队列是两种基础但特性迥异的结构。栈遵循后进先出(LIFO)原则，而队列则是先进先出(FIFO)。这个看似简单的差异，在实际编程中却经常造成困扰。我曾在嵌入式系统开发中遇到过这样的场景：需要处理来自多个传感器的实时数据流（天然符合队列特性），但底层驱动库只提供了栈结构的API。这时，用栈来模拟队列的能力就显得尤为重要。

用两个栈实现队列的经典解法，本质上是通过两个LIFO结构的协同工作来模拟FIFO行为。具体来说：

• 输入栈(Stack In)：专门处理入队(push)操作，所有新元素直接压入此栈
• 输出栈(Stack Out)：专门处理出队(pop)操作，当需要出队时：
  • 如果输出栈为空，则将输入栈的所有元素依次弹出并压入输出栈
  • 如果输出栈非空，则直接从栈顶弹出元素

这种设计之所以有效，是因为当元素从输入栈转移到输出栈时，它们的顺序被自动反转了两次（一次是入输入栈时的反转，另一次是转入输出栈时的反转），最终在输出栈中恢复了原始的入队顺序。

关键理解点：两个栈的组合相当于一个"时间延迟"的队列。新元素总是进入输入栈，只有当需要出队时才进行栈间转移，这种惰性操作(lazy evaluation)正是算法的精妙之处。

2. C语言实现详解

2.1 数据结构定义

首先我们需要定义栈结构体和相关操作。在C语言中，这种底层实现特别能体现内存管理的细节：

c复制#define MAX_SIZE 100

typedef struct {
    int data[MAX_SIZE];
    int top;
} Stack;

void initStack(Stack *s) {
    s->top = -1;  // 栈顶指针初始化为-1表示空栈
}

int isFull(Stack *s) {
    return s->top == MAX_SIZE - 1;
}

int isEmpty(Stack *s) {
    return s->top == -1;
}

void push(Stack *s, int item) {
    if (isFull(s)) {
        printf("Stack Overflow\n");
        return;
    }
    s->data[++s->top] = item;
}

int pop(Stack *s) {
    if (isEmpty(s)) {
        printf("Stack Underflow\n");
        return -1;
    }
    return s->data[s->top--];
}

2.2 队列结构定义

基于上述栈实现，我们的队列结构体包含两个栈实例：

c复制typedef struct {
    Stack in;   // 输入栈
    Stack out;  // 输出栈
} Queue;

2.3 队列操作实现

2.3.1 入队操作

入队操作只需要简单地将元素压入输入栈：

c复制void enqueue(Queue *q, int item) {
    push(&q->in, item);
}

2.3.2 出队操作

出队操作需要处理栈间转移的逻辑：

c复制int dequeue(Queue *q) {
    // 如果输出栈为空，转移输入栈的所有元素
    if (isEmpty(&q->out)) {
        while (!isEmpty(&q->in)) {
            push(&q->out, pop(&q->in));
        }
    }
    
    // 如果转移后输出栈仍为空，说明队列为空
    if (isEmpty(&q->out)) {
        printf("Queue is empty\n");
        return -1;
    }
    
    return pop(&q->out);
}

2.3.3 查看队首元素

c复制int peek(Queue *q) {
    if (isEmpty(&q->out)) {
        while (!isEmpty(&q->in)) {
            push(&q->out, pop(&q->in));
        }
    }
    
    if (isEmpty(&q->out)) {
        printf("Queue is empty\n");
        return -1;
    }
    
    return q->out.data[q->out.top];
}

2.3.4 判断队列是否为空

c复制int isQueueEmpty(Queue *q) {
    return isEmpty(&q->in) && isEmpty(&q->out);
}

3. 内存模型深入分析

3.1 栈帧与函数调用

在C语言中，每次函数调用都会在调用栈上创建一个新的栈帧(stack frame)。理解这一点对分析我们的双栈队列内存行为至关重要。当调用enqueue()或dequeue()时：

1. 主调函数的栈帧包含队列指针参数和局部变量
2. 被调函数创建自己的栈帧，包含其参数和局部变