栈是一种后进先出(LIFO, Last In First Out)的数据结构,而队列则是一种先进先出(FIFO, First In First Out)的数据结构。实现栈的关键在于如何用先进先出的队列来模拟后进先出的操作。下面详细解析每个成员函数的实现和逻辑:
pop()
- 这个函数用于移除栈顶的元素,并返回它的值。实现过程包括:
- 旋转队列:首先,计算队列的大小
size
,然后将队列的前size-1
个元素从队列的前端移除并重新添加到队列的末尾。这一操作将队列最后一个元素之前的所有元素移到它后面,因此最后一个元素移动到了队列的前端。 - 移除和返回:通过
que.front()
获取当前的队列前端元素,即原栈顶元素。然后使用que.pop()
将其从队列中移除。返回这个元素作为pop()
函数的结果。
- 旋转队列:首先,计算队列的大小
top()
- 这个函数返回栈顶元素的值,但不移除它。在队列实现中,栈顶元素对应于队列的末尾元素,因此可以直接使用
que.back()
来获取。
empty()
- 这个函数用于检查栈是否为空。由于栈的所有数据都存储在一个队列中,因此只需要检查队列
que
是否为空即可。
总的来说,MyStack
类的实现思路是利用队列的正常操作(入队和出队),通过特定的元素旋转操作来模拟栈的后进先出的特性。这种方法在实现栈的操作时,尤其是 pop()
操作,需要进行多次队列操作,导致操作相对较慢。每次 pop()
操作的时间复杂度为 O(n),其中 n 是队列(即栈)的当前大小。
class MyStack {
public:
queue<int> que;
int pop() {
int size = que.size();
size--;
while (size--) { // 将队列头部的元素(除了最后一个元素外) 重新添加到队列尾部
que.push(que.front());
que.pop();
}
int result = que.front(); // 此时弹出的元素顺序就是栈的顺序了
que.pop();
return result;
}
int top() {
return que.back();
}
bool empty() {
return que.empty();
}
};