栈——顺序栈

栈的定义

栈：是限定仅在表尾进行插入和删除操作的线性表，又称为后进先出的线性表（简称LIFO结构）。
栈顶：线性表的表尾。
栈底：线性表的表头。
空栈：不含元素的栈。

栈的表示和实现

和线性表类似，栈也有两种存储表示方法：顺序栈和链栈。

顺序栈：栈的顺序存储结构是利用一组地址连续的存储单元依次存放自栈底到栈顶的数据元素，通常附设指针top指示栈顶元素在顺序栈中的位置。

顺序栈的定义

typedef struct{
	SElemType *base;	//栈底指针
	SElemType *top;		//栈顶指针
	int stacksize;		//栈的最大容量
}SqStack;

顺序栈的模块说明

#define STACK_INIT_SIZE 100
#define STACKINCREMENT 10

typedef struct{
    int *base;
    int *top;
    int stacksize;
}SqStack;

Status InitStack(SqStack &S);				//构造一个空栈S
Status DestroyStack(SqStack &S);			//销毁栈S
Status ClearStack(SqStack &S);				//清除栈S
Status StackEmpty(SqStack S);				//若栈S为空栈，则返回TRUE，否则返回FALSE
int StackLength(SqStack S);					//返回栈S的长度
Status GetTop(SqStack S, SElemType &e);		//若栈S不为空，则用e返回S的栈顶元素，并返回OK，否则返回ERROR
Status Push(SqStack &S, SElemType e);		//插入元素e为新的栈顶元素
Status Pop(SqStack &S, SElemType &e);		//若栈S不为空，弹出栈顶元素，用e返回，并返回OK，否则返回ERROR
Status StackTraverse(SqStack S, Status (*visit)());		//从栈底到栈顶依次对栈中每一个元素调用visit()。一旦visit()失败，则操作失败

栈基本操作部分算法描述

Status InitStack(SqStack &S){
//构造一个空栈S
    S.base = (SElemType *)malloc(STACK_INIT_SIZE * sizeof(SElemType));
    if(!S.base)
        exit(OVERFLOW);
    S.top = S.base;
    S.stacksize = STACK_INIT_SIZE;
    return OK;
}

Status GetTop(SqStack S, SElemType e){
//若栈S不为空，则用e返回S的栈顶元素，并返回OK，否则返回ERROR
	if(S.top == S.base)
		return ERROR;
	e = *(S.top - 1);
	return OK;
}

Status Push(SqStack &S, SElemType e){
//插入元素e为新的栈顶元素
    if(S.top - S.base >= S.stacksize){
        S.base = (SElemType *)realloc(S.base, (S.stacksize + STACKINCREMENT) * sizeof(SElemType));
        if(!S.base)
            exit(OVERFLOW);
            
        S.top = S.base + S.stacksize;
        S.stacksize += STACKINCREMENT;
    }
    *S.top++ = e;
    return OK;
}

Status Pop(SqStack &S, SElemType &e){
//若栈S不为空，弹出栈顶元素，用e返回，并返回OK，否则返回ERROR
    if(S.top == S.base)
        return ERROR;
    e = * --S.top;
    return OK;
}

Status StackEmpty(SqStack S){
//若栈S为空栈，则返回TRUE，否则返回FALSE
	if(S.top == S.base)
		return TRUE;
	return FALSE;
}