两栈共享空间的存储结构设计

---

概述

由于栈的插入和删除操作具有它的特殊性，用顺序存储结构表示的栈插入或删除数据元素时并不存在需要移动数据的问题，因而效率较高。顺序栈的主要缺点在于难以预先估计准确的存储空间大小，因此需要余弦分配一个较大的空间，这可能造成存储空间的浪费；有时栈需要处理大量的数据，有可能造成预先分配的空间不够使用的问题。

为了充分使用存储空间，可以考虑多个栈共享存储空间。两个栈共享存储空间的时候，将两个栈底分别设置在数组的两端，这两个栈各自向中间延伸。如图所示：

这时，当一个栈的元素较多，而另一个栈的元素较少时，只要它们的数据元素总和不超过整个空间，就不会发生上溢。这种方案比为每个栈单独分配空间要好得多。

---

算法与数据结构设计部分

对于这种共享栈的结构，假设top1和top2分别为栈1和栈2的栈顶指针，StackSize为整个数组空间的大小。

数据结构设计

定义栈并对其进行初始化：

//共享栈的数据结构
typedef struct BothStack
{
	int data[STACKSIZE];
	int top1;
	int top2;
}BothStack;

//初始化
void InitBothStack(BothStack S)
{
	S.top1 = -1;
	S.top2 = STACKSIZE;
}

算法设计

1. 入栈（需预先判断是否栈满）

void PushBothStack(BothStack *S, int i, int e)//i表示栈1或栈2，e为入栈的元素
{
	if ((S->top1 + 1) != S.top2)//如果栈未满
	{
		if (i == 1)//如果是第一个栈
		{
			S->top1++;
			S->data[S->top1] = e;
		}
		else if (i == 2)//如果是第二个栈
		{
			S->top2--;
			S->data[S->top2] = e;
		}
	}
	else if ((S->top1 + 1) == S->top2)//如果栈满了
		printf("Stack is Full!\n");
	else
		printf("ERROR!\n");
}

2. 出栈（需预先判断是否栈空）

int PopBothStack(BothStack *S, int i) //i表示栈1或栈2
{
	if (i == 1)//如果是第一个栈
	{
		if (S->top1 == -1)//如果栈为空
		{
			printf("Stack is empty!\n");
			return -1;
		}
		else
		{
			return S->data[S->top1];
			S->top1--;
		}
	}
	else if (i == 2)
	{
		if (S->top2 == STACKSIZE)
		{
			printf("Stack is empty!\n");
			return -1;
		}
		else
		{
			return S->data[S->top2];
			S->top2++;
		}
	}
	else//如果输入的i既不是1也不是2
	{
		printf( "ERROR!\n" );
		return -1;
	}
}

---