用一个数组来存储两个栈:
其实栈的顺序存储还是很方便的,因为它只准栈顶进出元素,所以不存在线性表插入和删除时需要移动元素的问题,不过它有一个很大的缺陷,就是必须事先确定数组存储空间大小,万一不够用了,就需要编程手段来扩展数组的容量,非常麻烦。
对于一个栈,我们只能尽量考虑周全,设计出合适大小的数组处理。
但是,对于两个相同类型的栈,我们却可以做到最大限度地利用其事先开辟的存储空间进行操作。
我们可以用一个数组来存储两个栈,只不过需要一点小技巧。
数组有两个端点,两个栈有两个栈底,让一个栈的栈底为数组的始端,即下标为0处。另一个栈的栈底为数组的末端,即下标为数组长度n-1处。
这样,两个栈如果增加元素,就是两端点向中间延申。
关键思路
它们是在数组的两端,向中间靠拢。
top1 和 top2 是栈1 和栈2 的栈顶指针,只要它俩不见面,两个栈就可以一直使用。
栈1为空时,top1等于 -1
栈2为空时,top2等于 n
两个栈见面时,也就是两个指针相差 1 时,即top1 + 1 == top2为栈满。
两栈共享空间的结构代码:
/* 两栈共享空间结构 */
typedef struct
{
SElemType data[MAXSIZE];
int top1; /* 栈1栈顶指针 */
int top2; /* 栈2栈顶指针 */
}SqDoubleStack;
Push操作
对于两栈共享空间的push方法,除了要插入元素值参数外,还需要有一个判断是栈1还是栈2的栈号参数stackNumber。
/* 插入元素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; /* 若是栈1则先top1+1后给数组元素赋值。 */
else if (stackNumber==2) /* 栈2有元素进栈 */
S->data[--S->top2]=e; /* 若是栈2则先top2-1后给数组元素赋值。 */
return OK;
}
Pop操作
参数就只是判断栈1栈2的参数stackNumber:
Status Pop(SqDoubleStack *S,SElemType *e,int stackNumber)
{
if (stackNumber==1)
{
if (S->top1==-1)
return ERROR; /* 说明栈1已经是空栈,溢出 */
*e=S->data[S->top1--]; /* 将栈1的栈顶元素出栈 */
}
else if (stackNumber==2)
{
if (S->top2==MAXSIZE)
return ERROR; /* 说明栈2已经是空栈,溢出 */
*e=S->data[S->top2++]; /* 将栈2的栈顶元素出栈 */
}
return OK;
}