栈应用:很多软件,比如word photoshop等文档或图像编辑软件中,都有撤销(undo)的操作,就是用栈的
栈(stack)是限定仅在表尾进行插入和删除操作的线性表。
栈顶:允许插入和删除的一端;另一端称为栈底
栈的结构:后进先出,LIFO结构
栈的插入操作:进栈,也称压栈,入栈
栈的删除操作:出栈,弹栈
栈的顺序存储结构及实现
栈的顺序存储结构
栈是线性表的特例,下标为0的数组元素作为栈底,定义一个top变量指示栈顶元素在数组中的位置,栈顶位置top必须小于stacksize
进栈操作:
//插入元素e为新的栈顶元素
Status Push(SqStack *s , SElemType e)
{
if(s->top == MAXSIZE -1) //栈满
{
return ERROR;
}
s->top++; //栈顶指针加一
s->data[s->top] = e; //将新插入元素赋值给栈顶空间
return OK;
}
出栈操作:
//若栈不空,则删除栈顶元素,用e返回其值,并返回OK,否则返回ERROR
Status Pop(SqStack *s, SElemType *e)
{
if(s->top == -1)
{
return ERROR;
}
*e = s->data[s->top]; //将要删除的栈顶元素赋值给e
s->top--; //栈顶指针减一
return OK;
}
两栈共享空间
栈有一个很大的缺点,就是必须事先确定数组存储空间的大小,此时可以用两个相同类型的栈,共享空间。
做法如图,数组有两个端点,两个栈有两个栈底,让一个栈的栈底为数组的始端,即下标为0处,另一个为栈的末端,即下标为数组长度n-1处。这样,两个栈如果增加元素,就是两端点向中间延伸。
关键思路是:他们在数组的两端,向中间靠拢,只要不见面,就可以一直使用。两个栈见面之时,也就是两个指针之间相差1时,即top1+1==top2为栈满。
<span style="color:#333333;">//两栈共享空间结构
typedef struct
{
SElemType data[MAXSIZE];
int top1;
int top2;
}sqDoubleStack;</span>
//插入元素e为新的栈顶元素
Status Push(sqDoubleStack *s , SElemType e,int stackNumber)
{
if(s->top1 + 1 == s->top2) //若栈满,不能再push新元素
{
return ERROR;
}
if(stackNumber == 1) //栈1有新元素进栈
{
s->data[++s->top1] = e; //先top1+1后给数组元素赋值
}
else if(stackNumber == 2) // 栈2有新元素进栈
{
s->data[--s->top2] = e; // 先top2-1后给数组元素赋值
}
return OK;
}
因为已将判断了是否有栈满的情况,所以后面top1+1 或top2 -1不担心溢出问题。
两栈共享空间的pop方法,参数就只判断栈1栈2的参数stackNumber
栈共享空间的应用:当两个相同类型的栈的空间需求有相反关系时,也就是一个栈增长时另一个栈在缩短的情况,例如买卖股票,又买入就一定有卖出。
栈的链式存储结构及实现
链栈,栈顶放在单链表的头部,单链表不需要头结点。(空时,top = NULL)
结构代码如下:
typedef struct StackNode
{
SElemType data;
strct StackNode *next;
}StackNode, *LinkStackPtr;
typedef struct LinkStack
{
LinkStackPtr top;
int count;
}LinkStack
链栈的进栈操作:
//插入元素e为新的栈顶元素
Status Push(LinkStack *s , SElemType e)
{
LinkStack ptr s = (LinkStackPtr)malloc(sizeof(StackNode));
s->data = e;
s->next = s->top;
s->top = s;
s->count++;
return ok;
}
出栈操作类似
时间复杂度是一样的,都是O(1)
顺序栈存取时定位方便,但需事先确定固定长度,可能会内存空间浪费。
链栈对于栈的长度无限制,但要求每个元素都有指针域,增加了内存开销。