数据结构(c++)(1)-- 栈
最近在复习数据结构(我用的是数据结构与算法分析c++描述 第三版的书,很不错的书,有兴趣的可以去看看)的相关知识,顺便就做了些整理,以供参考。
栈(stack)是限制插入和删除操作只能在一个位置进行的表,该位置是表的末端,称为栈的顶。对栈的操作是push(入栈)和pop(出栈),前者相当于插入,后者则是删除最后插入的元素。最后插入的元素可以通过使用top方法在执行pop之前进行访问。对空栈的pop或top操作,在栈ADT中一般认为是一个错误。另一方面,当运行push时超出栈空间的最大内存时候,这是栈在实现过程中所受的限制,并不是ADT错误。
下面打个比方,以便于更好理解栈。其实对于栈,是一种后进先出的表,我们可以想象这样一种现实中的场景,当汽车依次进入了一个狭窄的巷子的时候,突然发现前面有个障碍物挡住了道路,那么这个时候该怎么办?显而易见,这个时候先进去的车辆是无法挪动的,只有在最后的车辆可以通过倒车而进行行驶,当最后一辆车出去后,相应的倒数第二辆车才可以出去,一直到最后第一辆车才有可能出了这个巷子,这也正是我们的栈的工作原理。
例如,将元素6、3、7、6、2依次插入到栈中的话,则栈的示意图如下:
由于栈是是一个表,因此任何实现表的方法都可以用来实现栈。其实栈就是对我们比较熟悉的表的操作进行了限制,对数组来说,我们可以通过下标来访问数组中的任意一个元素,而如果我们想数组表现出栈的特性,那么很容易做到的,只需要对数组进行包装,封装成一个类,该类只有显著的push和pop操作,也就是对数组的下标操作做一些限制,每次只能对数组中的最后位置进行操作(这里的最后位置指的是存放有元素的最大下标的位置)。在实际中,很明显list和vector支持栈操作,99%的情况下,它们都是合理的选择。当然对于栈的实现的选择,需要具体情况具体分析,有时候为了特殊目的而设计的实现可以运行的更快。由于栈的所有操作都是常量时间的操作,所以,除非是在很特别的环境下,否则不太可能有明显的改进。
当前两个比较流行的栈的实现方式,一个是使用链表结构,另一个则是使用数组。
1、栈的链表实现
栈的一种实现方法是使用单向链表。我们通过在表顶端插入元素来实现push,通过删除表顶端的元素实现pop。top操作知识访问表顶端的元素并返回它的值。有时pop操作 和top操作可以合二为一。这里面为什么说要将元素放在表的顶端而不是末尾或其它位置呢?这个是因为在栈中我们只关心栈定的元素,那么这个栈顶元素的访问效率问题就必须要考虑了,所以将元素放在链表的顶端,可以通过链表的头指针直接进行访问,这个访问时间是常量,而如果放在末尾,那么则需要遍历链表找到栈顶的元素,显然浪费了访问的时间,这是不可取的。
2、栈的数组实现
另一种可选的实现避免了使用链并且可能是更流行的解决方案。由于使用vector中的back、push_back、pop_back方法,实现栈特别容易。更一般的方法是使用数组进行栈的构建,下面给出一个基本的示例:
#include<iostream> using namespace std; #define MAXSIZE 20 template <typename Object> class CStack { public: CStack():m_topOfStack(-1){} bool empty() const; bool pop(); bool top(Object &item) const; bool push(const Object &item); private: Object m_theArray[MAXSIZE]; int m_topOfStack; }; template <typename Object> bool CStack<Object>::empty() const { if(m_topOfStack==-1) return true; return false; } template <typename Object> bool CStack<Object>::pop() { if(m_topOfStack==-1) return false; m_topOfStack--; return true; } template <typename Object> bool CStack<Object>::top(Object &item) const { if(m_topOfStack==-1) return -1; item=m_theArray[m_topOfStack]; return true; } template <typename Object> bool CStack<Object>::push(const Object &item) { if(m_topOfStack>=MAXSIZE-1) return false; m_theArray[++m_topOfStack]=item; }在栈中,这些操作都是以常数时间运行的,而且是以非常快的常数时间运行。在某些机器上,若在带有自增和自减寻址功能的寄存器上操作,则(整数)push和pop都可以写成一条指令。最现代的计算机将栈操作作为其指令系统的一部分,这个事实强化了这样一种思想,即在计算机科学中,栈很可能是继数组之后的最基本的数据结构。