栈的定义
栈(Stack)是只允许在一端进行插入或删除操作的线性表。
栈的示意图:
- 栈顶Top:线性表允许插入和删除的那一端。
- 栈底Bottom:固定的,不允许进行插入和删除的另一端。
假设某个栈S={a1,a2, … ,an},如上图所示,则a1为栈底元素,an为栈顶元素。由于只能在栈顶进行插入和删除操作,故进栈顺序为a1,a2, … ,an,出栈顺序为an, … ,a2,a1。故栈的操作特性是后进先出LIFO(Last In First Out),称为后进先出的线性表。
空栈:不含任何元素的空表。
栈的存储
栈的存储方式有两种:顺序栈和链栈,即栈的顺序存储和链式存储。
采用顺序存储的栈称为顺序栈,它利用一组地址连续的存储单元存放自栈底到栈顶的元素,同时附设一个指针(top)指示当前栈顶的位置。
栈的顺序存储类型描述:
#define MaxSize 100 //定义栈中元素的最大个数
typedef struct SqStack{
int data[MaxSize]; //存放栈中的元素
int top; //栈顶指针
}SqStack;
采用链式存储的栈称为链栈,链栈便于多个栈共享存储空间和提高其效率,且不存在栈满上溢的情况。通常采用单链表实现,并且所有操作都是在单链表的表头进行的。在本文中主要是介绍了顺序栈下的一些基本操作,关于链栈的实现与单链表类似,可以参考单链表的定义及其基本操作。
栈的链式存储类型描述:
typedef struct LinkNode{
int data; //数据域
struct LinkNode *next; //指针域
}*LiStack; //栈类型定义
栈上的基本操作
栈的基本操作包括:
- 初始化InitStack(&S);
- 判空Empty(S);
- 进栈Push(&S, x);
- 出栈Pop(&S, &x);
- 读栈顶元素GetTop(S);
- 遍历栈PrintStack(&S);
- 销毁栈DestroyStack(&S);
[注]以上操作均采用顺序栈来实现。
初始化
初始时设置S.top = -1。
//初始化
void InitStack(SqStack &S){
S.top = -1;
}
判空操作
栈空条件:S.top == -1; 栈满条件:S.top ==MaxSize-1。
//判栈空
bool Empty(SqStack S){
if(S.top == -1){
return true;
}else{
return false;
}
}
进栈操作
由于初始设置S.top=-1,故栈顶指针先加一,再入栈。
//入栈
void Push(SqStack &S, int x){
if(S.top == MaxSize-1){
cout<<"栈满"<<endl;
return;
}
S.data[++S.top] = x; //指针先加一,再入栈
}
出栈操作
先出栈,指针再减一。
//出栈
void Pop(SqStack &S, int &x){
if(S.top == -1){
cout<<"栈空"<<endl;
return;
}
x = S.data[S.top--]; //先出栈,指针再减一
}
读栈顶元素
//读栈顶元素
int GetTop(SqStack S){
if(S.top == -1){
cout<<"栈空"<<endl;
return -1;
}else{
return S.data[S.top];
}
}
遍历栈
当栈不为空时,循环输出当前栈顶元素。
//遍历栈
void PrintStack(SqStack S){
while(S.top != -1){
cout<<S.data[S.top--]<<" ";
}
cout<<endl;
}
销毁栈
栈的销毁令S.top = -1即可。
//销毁栈
void DestroyStack(SqStack &S){
S.top = -1;
}
完整代码及实例
完整代码及实例:
#include<bits/stdc++.h>
using namespace std;
#define MaxSize 100 //定义栈中元素的最大个数
typedef struct SqStack{
int data[MaxSize]; //存放栈中的元素
int top; //栈顶指针
}SqStack;
//初始化
void InitStack(SqStack &S){
S.top = -1;
}
//判栈空
bool Empty(SqStack S){
if(S.top == -1){
return true;
}else{
return false;
}
}
//入栈
void Push(SqStack &S, int x){
if(S.top == MaxSize-1){
cout<<"栈满"<<endl;
return;
}
S.data[++S.top] = x;
}
//出栈
void Pop(SqStack &S, int &x){
if(S.top == -1){
cout<<"栈空"<<endl;
return;
}
x = S.data[S.top--];
}
//读栈顶元素
int GetTop(SqStack S){
if(S.top == -1){
cout<<"栈空"<<endl;
return -1;
}else{
return S.data[S.top];
}
}
//遍历栈
void PrintStack(SqStack S){
while(S.top != -1){
cout<<S.data[S.top--]<<" ";
}
cout<<endl;
}
//销毁栈
void DestroyStack(SqStack &S){
S.top = -1;
}
int main(){
SqStack S;
InitStack(S);
Push(S,1);//入栈
Push(S,2);
Push(S,3);
Push(S,4);
cout<<"栈顶元素为:"<<GetTop(S)<<endl;
cout<<"出栈顺序为:";
PrintStack(S);
int x;
Pop(S,x);
cout<<x<<"出栈"<<endl;
cout<<"栈中剩余元素:";
PrintStack(S);
Pop(S,x);
cout<<x<<"出栈"<<endl;
cout<<"栈中剩余元素:";
PrintStack(S);
if(!Empty(S)){
cout<<"当前栈不为空"<<endl;
}else{
cout<<"当前栈为空"<<endl;
}
return 0;
}
运行结果:
共享栈
利用栈底位置相对不变的特性,可以让两个顺序栈共享一个一维数据空间,将两个栈的栈底分别设置在共享空间的两端,两个栈顶向共享空间的中间延伸。如下图所示:
两个栈的栈顶指针都指向栈顶元素。
判空:top0 = -1 时0号栈为空, top1 = MaxSize-1 时1号栈为空。
栈满:当且仅当两个栈顶指针相邻,即top1 - top0 = 1 时栈满。
进栈:0号栈进栈时,top0先加一再赋值, 1号栈进栈时top1先减一再赋值。
出栈:0号栈出栈时,先出栈top0再减一, 1号栈出栈时先出栈top1再加一。