栈的定义
定义:栈是限定仅在表尾进行插入和删除操作的线性表
。我们把允许插入和删除的一端称为栈顶,另一端称为栈底,不含任何数据元素的栈称为空栈。栈又称后进先出(Last In First Out)的线性表,简称LIFO结构。
栈的插入操作,叫作进栈(Push),也称压栈、入栈。栈的删除操作,叫作出栈(Pop),也有的叫作弹栈。示意图如下:
栈的抽象数据类型
栈本身就是一个线性表,所以关于线性表的操作,对栈基本上也是符合的,只是在某些方面会有少许变化,以下是栈的抽象数据类型:
ADT 栈(stack)
Data
同线性表。元素具有相同的类型,相邻元素具有前驱和后继关系。
Operation
InitStack(*S): 初始化操作,建立一个空栈。
DestroyStack(*S): 若栈存在,则销毁它。
ClearStack(*S): 将栈清空。
StackEmpty(S): 若栈为空,返回true,否则返回false。
GetTop(S,*e): 若栈存在且非空,用e返回S的栈顶元素。
Push(*S,e): 若栈S存在,插入新元素e到栈S中并成为栈顶元素。
Pop(*S,*e): 删除栈S中栈顶元素,并用e返回其值。
StackLength(S): 返回栈S的元素个数。
endADT
栈的顺序存储结构及实现
栈的顺序存储结构其实是线性表顺序存储结构的简化,我们简称为顺序栈。在没有指针的高级程序语言中,我们使用数组来实现线性表,栈也是同样的道理,不过因为栈后进先出的特点,我们定义下标为0的一端作为栈底,因为首元素在栈底,变化最小。
栈的结构定义如下:
//SElemType类型根据实际情况而定,这里假设为int
typedef int SElemType;
typedef struct{
SElemType data[MAXSIZE];
//用于栈顶指针
int top;
}SqStack;
压栈和弹栈
-
压栈(入栈)
压栈的示意图如上,下面我们来看下push的代码算法实现:
//时间复杂度为O(1) //插入元素e为新的栈顶元素 Status Push(SqStack *S,SElemType e){ //栈满 if(S->top == MAXSIZE - 1){ return ERROR; } //栈顶指针+1 S->top++; //将新插入元素赋值给栈顶空间 S-data[S->top] = e; return OK; }
-
弹栈(出栈)
弹栈的示意图如上,下面我们来看下pop的代码算法实现:
//时间复杂度为O(1)
//若栈不空,则删除S的栈顶元素,用e返回其值,并返回OK;否则返回ERROR
Status Push(SqStack *S,SElemType e){
//空栈
if(S->top == -1){
return ERROR;
}
//将要删除的栈顶元素赋值给e
*e = S-data[S->top];
//栈顶指针-1
S->top--;
return OK;
}
两栈共享空间
栈的顺序存储结构有一个很大的缺陷,就是必须事先确定数组存储空间大小,万一不够用了,就需要编程手段来扩展数组的容量,非常麻烦。对于一个栈,我们也只能尽量考虑周全,设计出合适大小的数组来处理,但对于两个相同类型的栈(前提)
,我们却可以做到最大限度地利用其实现开辟的存储空间来进行操作,这就是两栈共享空间。
做法如下,数组有两个端点,两个栈有两个栈底,让一个栈的栈底为数组的始端,即下标为0处,另一个栈为数组的末端,即下标为数组长度n-1处。这样,两个栈如果增加元素,就是两端点向中间延伸。
两栈共享空间的结构的代码如下:
//两栈共享空间结构
typedef struct{
SElemType data[