提到栈和队列,大家可能对它们的了解只停留在表面,再深入一点,好像知道又好像不知道的感觉。本文我将从底层实现和应用来介绍栈和队列。让大家更加通透的了解栈和队列。
栈和队列的原理是,队列是先进先出,栈是先进后出。示意图如下:
首先大家要了解栈和队列是C++ STL标准模版库里面的两个数据结构。栈stack是以底层容器完成其所有的工作,对外提供统一的接口,底层容器是可插拔的(也就是说我们可以控制使用哪种容器来实现栈的功能). STL中栈往往不被归类为容器,而被归类为container adapter(容器适配器)。栈提供push 和 pop 等等接口,所有元素必须符合先进后出规则,所以栈不提供走访功能,也不提供迭代器(iterator)。 不像是set 或者map 提供迭代器iterator来遍历所有元素。deque是一个双向队列,只要封住一段,只开通另一端就可以实现栈的逻辑了。
那么在STL中栈是用什么容器实现的呢?栈的底层实现可以是vector、deque、list都可以,主要是数组和链表的底层实现。
上面说的栈的特性,对应的队列情况是一样的。deque是一个双向队列,只要封住一段,只开通另一端就可以实现栈的逻辑了。队列中先进先出的数据结构,同样不允许有遍历行为,不提供迭代器, SGI STL中队列一样是以deque为缺省情况下的底部结构。
C++语言中,指定vector为栈的底层实现,初始化语句如下:
std::stack<int, std::vector<int> > third; // 使用vector为底层容器的栈
也可以指定list为底层实现,初始化语句如下:
std::queue<int, std::list<int>> third; // 定义以list为底层容器的队列
所以STL 队列也不被归类为容器,而被归类为container adapter( 容器适配器)。
只有深挖栈和队列的内部原理,才能真的做到夯实基础。
push(x) – 将一个元素放入队列的尾部
pop() – 从队列首部移除元素。
peek() – 返回队列首部的元素。
empty() – 返回队列是否为空。
举例:
MyQueue queue = new MyQueue();
queue.push(1);
queue.push(2);
queue.peek(); // 返回 1
queue.top(); // 返回 1
queue.empty(); // 返回 false
leetcode 232. 用栈实现队列
这道题不涉及算法,是一道模拟题,考察对栈和队列的掌握程度。
使用栈来模拟队列的行为,需要两个栈,一个输入栈,一个输出栈,注意输入栈和输出栈的关系。
执行语句:
queue.push(1);
queue.push(2);
queue.pop(); 注意此时的输出栈的操作
queue.push(3);
queue.push(4);
queue.pop();
queue.pop();注意此时的输出栈的操作
queue.pop();
queue.empty();
C++代码
void push(int x){
stackIn.push();
}
int pop(){
if stackOut.empty()
while(!stackIn.empty()){ //将入栈里的所有元素都加入到出栈里
stackOut.push(stackIn.top());
stackIn.pop();
}
result=stackOut.top();
stackOut.pop();
return result;
}
# peak和pop是类似的
int peek(){
//直接使用已有的pop函数
result=this->pop();//极大的优化了代码的简洁性
stackOut.push(result);// 因为pop函数弹出了元素res,所以再添加回去
return result;
仔细体会上述过程,会发现简直太妙了!!!
在push数据的时候,只要数据放进输入栈就好,但在pop的时候,操作就复杂一些,输出栈如果为空,就把进栈数据全部导入进来(注意是全部导入),再从出栈弹出数据,如果输出栈不为空,则直接从出栈弹出数据就可以了。
最后如何判断队列为空呢?如果进栈和出栈都为空的话,说明模拟的队列为空了。
在代码实现的时候,会发现pop() 和 peek()两个函数功能类似,代码实现上也是类似的,可以思考一下如何把代码抽象一下。在工业级代码开发中,最要不得的就是实现一个类似的函数,直接吧代码粘过来改,这样的项目代码会越来越乱,一定要懂得复用,功能相近的函数要抽象出来,不要大量的复制粘贴,很容易出问题!!!
代码如下(示例):
class MyQueue:
def __init__(self):
"""
in主要负责push,out主要负责pop
"""
self.stack_in = []
self.stack_out = []
def push(self, x: int) -> None:
"""
有新元素进来,就往in里面push
"""
self.stack_in.append(x)
def pop(self) -> int:
"""
Removes the element from in front of queue and returns that element.
"""
if self.empty():
return None
if self.stack_out:
return self.stack_out.pop()
else:
for i in range(len(self.stack_in)):
self.stack_out.append(self.stack_in.pop())
return self.stack_out.pop()
def peek(self) -> int:
"""
Get the front element.
"""
ans = self.pop()
self.stack_out.append(ans)
return ans
def empty(self) -> bool:
"""
只要in或者out有元素,说明队列不为空
"""
return not (self.stack_in or self.stack_out)
上述代码中,peek()的实现,对pop()函数做了复用, 要不然,对stack_out( )判空的逻辑又要重写一遍。
leetcode. 225 用队列实现栈
操作如下:
push(x) – 元素x入栈
pop(x) – 删除栈顶元素
top(x) – 获取栈顶元素
empty() – 返回栈是否为空
void push(int x){
que.push(x);
}
#关键在于如何弹出元素
#用一个队列实现栈的出元素
int pop(){
size=que.size();
#弹出size-1个数才能模拟栈弹出一个元素
size--;
while(size--){#吧size-1弹出的元素再重新加回队列里
que.push(que.front());#取队列出口处的第一个元素但并没有弹出
que.pop();#弹出刚取的第一个元素
}
result=que.front();
que.pop();
return result
}
#循环吧前size-1个元素再重次新添加进来 然后最后一个元素就是我么栈要出来的元素
#top函数就是我们 栈里面你想获取的第一个元素实际就是我队列里入口处第一个元素
int top(){
return que.back()#队列入口处的第一个元素
}
总的来说,用一个队列在模拟栈弹出元素的时候只要将队列头部的元素(除了最后一个元素外) 重新添加到队列尾部,此时再去弹出元素就是栈的顺序了。
Python完整代码:
from collections import deque
class MyStack:
def __init__(self):
self.que=deque()
def push(self,x):
self.que.append(x)
def pop(self):
if self.empty():
return None
for i in range(len(self.que)-1):
self.que.append(self.que.popleft())
return self.que.popleft()
def top(self):
if self.empty():
return None
return self.que[-1]
def empty(self):
return not self.que()
答:栈里面元素在内存中不是连续分布的。栈是容器适配器,底层容器使用不同的容器,导致栈内数据在内存中不是连续分布的。缺省情况下(构造函数缺省),默认底层容器是deque,deque在内存中的数据分布也是不连续分布。
(ps:近期都是关于数据结构基础知识分享,感兴趣的同学可以关注本人公众号:HEllO算法笔记)