其实栈也是线性表,只是其为操作有限制的线性表,栈的插入和删除被限制为只能在表尾进行。栈也有两种表示方式:顺序表示和链式表示。栈的基本操作除了在栈顶进行插入、删除之外还有栈的初始化、栈顶元素等操作。顺序栈使用一组连续的内存空间存放数据,附设两个指针分别指向栈顶和栈底,通过栈顶和栈底是否相等可判断栈是否为空。
- 顺序栈存储结构
#define OK 1
#define ERROR -1
#define OVERFLOW -2
typedef struct {
elemtype *base;
elemtype *top;
int stacksize;
}sqstack;
- 顺序栈的初始化
int init_sqstack(sqstack *s)
{
s->base = (elemtype *) malloc (STACK_INIT_SIZE * sizeof(elemtype));
if (!s->base)
return OVERFLOW;
s->top = s->base;
s->stacksize = STACK_INIT_SIZE;
return OK;
}
初始化时首先分配STACK_INIT_SIZE大小的空间,栈顶top指针和栈底base指针指向同一片内存区域。
- 取栈顶元素
int get_top(sqstack s, elemtype *e)
{
if (s.top == s.base)
return ERROR;
*e = *(s.top - 1);
return OK;
}
- 元素进栈
int push_sqstack(sqstack *s, elemtype e)
{
if (s->top-s->base >= s->stacksize) {
s->base = (elemtype *) realloc (s->base,
(s->stacksize+STACK_ADD_SIZE) * sizeof(elemtype));
if (!s->base)
return OVERFLOW;
s->top = s->base + s->stacksize;
s->stacksize += STACK_ADD_SIZE;
}
*s->top++ = e;
return OK;
}
进栈之前先判断栈是否已满,如果已满要增加空间。top指针指向栈顶元素的下一个空间,进栈时先将元素赋值给top所指空间,再将栈顶下一个地址付给top。
- 元素出栈
int pop_sqstack(sqstack *s, elemtype *e)
{
if (s->top == s->base)
return ERROR;
*e = * --s->top;
return OK;
}
- 总结
栈的操作和线性表的操作类似,并且要简单得多,由于操作受限,时间复杂度也小得多。
- 源码实现