大话数据结构：栈与队列（1）

栈：限定仅在表尾进行插入和删除操作的线性表
栈顶：允许插入和删除的一端
栈底：不允许插入和删除的一端
空栈：不含任何数据元素的栈
后进先出的线性表，LIFO结构。
进栈：栈的插入
出栈：栈的删除
元素数量多，出栈的变化会更多。

栈的抽象数据类型

 ADT 栈（stack)
> Data 
> 			同线性表。元素具有相同的类型，相邻元素具有前驱和后继关系。
> Operation
> 		InitStack(*S):初始化操作，建立一个空栈S；
> 		DestroyStack(*S):若栈存在，则销毁它
> 		ClearStack(*S):将栈清空。
> 		StackEmpty(S):若栈为空，返回true，否则返回false
> 		GetTop(S,*e)：若栈存在且非空，用e返回S的栈顶元素
> 		Push(*S,*e):若栈S存在，插入新元素e到栈S中并成为栈顶元素
> 		Pop(*S,*e):删除栈S中栈顶元素，并用e返回其值。
> 		StackLength(S):返回栈S的元素个数
> endADT

栈是特殊的线性表，后人先出，只能在栈顶（一端）进行插入和删除

typedef int SElemType;/*SElemType类型根据实际情况而定，这里假设为int*/
typedef struct
{
	SelemType data[MAXSIZE];;
	int top;/*用于栈顶指针*/
}SqStack;

进栈操作push，代码实现

/*插入元素e为新的栈顶元素*/
Status Push(SqStack *S,SElemType)
{
	if(S->top==MAXSIZE-1)/*栈满*/
	{	
		return ERROR;
	}
	S->top++;//栈顶指针加一
	S->data[S->top]=e;//将新插入元素赋值给栈顶空间
	returrn OK;
}

出栈pop，代码实现：

Status Pop(SqStack *S,SElemType)
{
	if（S->top==-1)//空栈
	{
		return ERROR;
	}
	*e=S->data[S->top];//把要删除的栈顶元素赋值（转移）给*e
	S->top--;//栈顶指针减一
	return OK;
}

两栈共享空间

两个同类型的栈，如果分开存储可能会有一个已经满了，而另一个空间被浪费了，所以可以两栈共享空间，从两栈两端向中间存储。
需要标识是哪个栈，stackNumber
栈满标识：两个栈顶之间差一：top1+1=top2.

/*两栈共享空间结构*/
typedef struct
{
	SElemType data[MAXSIZE];
	int top1;//栈1栈顶指针
	int top2;//栈2栈顶指针
}SqDoubleStack

/*插入元素e为新的栈顶元素*/
Status Push(SqDoublestack *S,int stackNumber)
{
		if(S->top1+1==S->top2)/*栈已满，不能再push新元素了*/
		return ERROR;
		if (stackNuumber==1)//栈1有元素进栈
			S->data[++S->top1]=e;//先top1+1，再给数组元素赋值，栈顶指针加一
		else if (stackNumber==2)//栈2有元素进栈
			S->data[++S->top2]=e;//先top2+1，再给数组元素赋值，栈顶指针加一
		return OK;
}

/*若栈不空，则删除S的栈顶元素，用e返回其值，并返回🆗；否则返回ERROR*/
Status Pop(SqDoublestack *S,int stackNumber)
{
		if(stackNumber==1)
		{
			if (top1==-1)
			return ERROR;
			*e=S->data[S->top1--];
		}
		else if(stackNumber==2)
		{
			if(top2==-1)
			return ERROR;
			*e=S->data[S->top2--];
		}
		return OK;
}

两个栈有相反需求关系时，两栈共享空间有作用。