栈:限定仅在表尾进行插入和删除操作的线性表。
栈的定义
允许插入和删除的一段称为栈顶,另一端称为栈底。
不含任何数据元素的栈称为空栈。
后入先出(Last In First Out)线性表,简称LIFO结构。
栈的插入操作,叫做进栈,也称压栈、入栈。
栈的删除操作,叫做出栈,也称弹栈。
3个元素1,2,3依次进栈,有5种可能的出栈次序:
- 1、2、3进,再3、2、1出,次序为321
- 1进,1出,2进,2出,3进,3出,次序为123
- 1进,2进,2出,1出,3进,3出,次序为213
- 1进,1出,2进,3进,3出,2出,次序为132
- 1进,2进,2出,3进,3出,1出,次序为231
肯定不会出现312的情况,因为若3先出栈,则3必曾进过栈,则1、2已经进栈了,则2在1之上,不可能1先出栈
栈的抽象数据类型
栈的顺序存储结构
定义一个栈顶指针top来表示栈顶在数组中的位置
结构代码
1 | typedef int SElemType; |
进栈操作
1 | //插入元素e为新的栈顶元素 |
出栈操作
1 | //若栈非空,则删除栈顶元素,用e返回其值 |
时间复杂度均为O(1)
两栈共享空间
一个栈的栈底为数组下标为0处,另一个的栈底为数组下标为n-1处
当两个指针间相差1时,即top1 + 1 = top2时为栈满(栈1满时,top1 = n-1,top2 = n;栈2满时,top1 = -1,top2 = 0)
结构代码
1 | typedef struct |
进栈操作
1 | Status Push (SqDoubleStack *S,SElemType e,int stackNumber) |
出栈操作
1 | Status Pop (SqDoubleStack *S,SElemType *e,int stackNumber) |
通常当两个栈具有相同数据类型且空间需求有相反关系时使用这样的数据结构
栈的链式存储结构
通常将栈顶放在单链表的头部,头指针充当栈顶指针,不需要头结点。
结构代码
1 | typedef struct StackNode |
进栈操作
1 | Status Push (Linkstack *S,SElemType e) |
出栈操作
1 | Status Pop (LinkStack *S;SElemType *e) |
如果栈的使用过程中元素变化不可预料,那么最好用链栈,反之若变化在可控范围内,则最好用顺序栈
栈的引入简化了程序设计问题,划分了不同层次,使思考范围缩小,更加聚焦于我们要解决的问题的核心。
栈的应用–递归:在前行阶段,对于每一层递归,函数的局部变量、参数值以及返回地址都被压入栈中;在退回阶段,位于栈顶的局部变量、参数、和返回地址被弹出,用于返回调用层次中执行代码的剩余部分,也就是恢复了调用状态。