数据结构--共享栈

共享栈

利用栈底位置相对不变的特性，可让两个顺序栈共享一个一维数组空间，将两个栈的栈底分别设置在共享空间的两端，两个栈顶向共享空间的中间延伸，如下图所示

两个栈的栈顶指针都指向栈顶元素，top0=-1时0号栈为空，top1=MaxSize时1号栈为空；仅当两个栈顶指针相邻（top1-top0=1）时，判为栈满。当0号栈进栈时top0先加1在赋值，1号栈进栈时top1先减1在赋值；出栈与之相反。
共享栈是为了更有效的利用存储空间，两个栈的空间相互调节，只有整个存储空间被占满时才发生上溢。其存取数据的时间复杂度O（1），所以对存取效率没有什么影响。
例：将编号为 0 和 1 的两个栈存放于一个数组空间 V[m] 中，栈底分别处于数组的两端。当第 0 号栈的栈顶指针 top[0] 等于 -1 时该栈为空，当第 1 号栈的栈顶指针 top[1] 等于 m 时该栈为空。两个栈均从两端向中间增长。试编写双栈初始化，判断栈空、栈满、进栈和出栈等算法的函数。双栈数据结构的定义如下：

Typedef struct 
{
	int top[2],bot[2]; //栈顶和栈底指针
	SElemType *V; //栈数组
	int m; //栈最大可容纳元素个数
}DblStack 

解：两栈共享向量空间，将两栈栈底设在向量两端，初始时，左栈顶指针为 -1 ，右栈顶为 m。两栈顶指针相邻时为栈满。两栈顶相向、迎面增长，栈顶指针指向栈顶元素。
(1) 栈初始化

int Init()  {
	S.top[0]=-1; 
	S.top[1]=m; 
	return 1; 
} 

(2) 入栈操作

int push(stk S ,int i,int x) {
∥ i 为栈号， i=0 表示左栈， i=1 为右栈， x 是入栈元素。入栈成功返回 1，失败返回 0 
	if(i<0||i>1){
		cout<< “栈号输入不对 ”<<endl;exit(0);} 
	if(S.top[1]-S.top[0]==1) {
		cout<< “栈已满 ”<<endl;return(0);} 
	switch(i) {
		case 0: S.V[++S.top[0]]=x; return(1); break; 
		case 1: S.V[--S.top[1]]=x; return(1); 
	} 
} 

(3) 退栈操作

ElemType pop(stk S,int i) {
∥退栈。 i 代表栈号， i=0 时为左栈， i=1 时为右栈。退栈成功时返回退栈元素
∥否则返回 -1 
	if(i<0 || i>1){cout<< “栈号输入错误 ”<<endl ； exit(0);} 
	 switch(i) {
	 	case 0: 
	 		if(S.top[0]==-1) {
	 			cout<< “栈空 ”<<endl ； 
	 			return -1；
	 		 }else{
	 		 	return(S.V[S.top[0]--]); 
	 		  }
		case 1: 
			if(S.top[1]==m {
				cout<< “栈空 ”<<endl; 
				return -1;
			}else{
				return(S.V[S.top[1]++]);
			 } 
	 } 
} 

(4) 判断栈空

int Empty(){
	return (S.top[0]==-1 && S.top[1]==m); 
}