1、定义

两栈共享空间：使用一个数组来存储两个栈，让一个栈的栈底为该数组的始端，另一个栈的栈底为该数组的末端，两个栈从各自的端点向中间延伸。

栈1的底固定在下标为0的一端；
栈2的底固定在下标为StackSize-1的一端。
top1和top2分别为栈1和栈2的栈顶指针；
Stack_Size为整个数组空间的大小（图中用S表示）；

2、性质

栈1为空：top1= -1
栈2为空：top2= Stack_Size
栈满：top1+1==top2

3、两栈共享空间类的声明

const int Stack_Size=100;  
template <class T>
class BothStack 
{
  public:
       BothStack( );
       ~BothStack( ); 
       void Push(int i, T x);   
       T Pop(int i);          
       T GetTop(int i);       
       bool Empty(int i);     
  private:
       T data[Stack_Size];     
       int top1, top2;        
};

4、插入

伪代码

1. 如果栈满，则抛出上溢异常；
2. 判断是插在栈1还是栈2；
       2.1 若在栈1插入，则
             2.1.1 top1加1;
             2.1.2 在top1处填入x；
       2.2 若在栈2插入，则
             2.2.1 top2减1;
             2.2.2 在top2处填入x；

实现

template <class T> 
void BothStack<T>::Push(int i, T x )
{
   if (top1==top2-1) 
   	throw "上溢";
   if (i==1) 
   	data[++top1]=x;
   if (i==2) 
   	data[--top2]=x;
}

5、删除

伪代码

1.若是在栈1删除，则
	1.1 若栈1为空栈，抛出下溢异常；
	1.2 删除并返回栈1的栈顶元素；
2.若是在栈2删除，则
	2.1 若栈2为空栈，抛出下溢异常；
	2.2 删除并返回栈2的栈顶元素；

实现

template <class T>
T BothStack<T>::Pop(int i){
   if (i==1) {   
       if (top1== -1) 	throw "下溢";
       return data[top1--];
   }
   if (i==2) {                           
       if (top2==StackSize)  	throw "下溢";
       return data[top2++]; 
  }
}

6、判断某个栈空算法

template <class T> 
bool BothStack<T>::Empty(int i)
{  
    if(i==1){
        if(top1==-1) 	return 1;
        else 	return 0;
    }
    if(i==2)	{
        if(top2==StackSize)	return 1;
        else  return 0;
    }
}

7、取某个栈栈顶的算法

template <class T> 
T BothStack<T>::GetTop(int i)
{
    if(i==1)	{
        if (top1!=-1) 	return data[top1];
    }
    if(i==2)	{
        if(top2!=StackSize)  return data[top2];
   } 
}