栈的基本概念

1 栈的定义

栈(Stack):只允许在一端进行插入或删除操作的线性表。首先栈是一种线性表,但是限定这种线性表只能在某一端进行插入和删除操作。
栈顶(Top):线性表允许进行插入和删除的那一端。
栈底(Bottom):固定的,不允许进行插入和删除的另一端。
空栈:不含任何元素的空表。
栈的一个明显的操作特性可以概括为后进先出(Last In First Out,LIFO),故又称为后进先出的线性表。

2 栈的基本操作

InistStack(&S):初始化一个空栈S。
StackEmpty(S):判断一个栈是否为空,若栈S为空返回true,否则返回false。
Push(&S,x):进栈,若栈S未满,将x加入使之称为新栈顶。
Pop(&S,&x):出栈,若栈S非空,弹出栈顶元素,并用x返回。
GetTop(S,&x):读栈顶元素,若栈S非空,用x返回栈顶元素。
ClearStack(&S):销毁栈,并释放栈S占用的存储空间。

3 栈的顺序存储结构

(1)动态顺序栈
采用动态一维数组来存储栈。所谓动态,指的是栈的大小可以根据需要增加。
用 bottom 表示栈底指针,栈底固定不变的;栈顶则随着进栈和退栈操作而变化。用 top(称为栈顶指针)指示当前栈顶位置。
用 top=bottom 作为栈空的标记,每次 top 指向栈顶数组中的下一个存储位置。
用 top-bottom = stacksize-1 表示栈满
结点进栈:首先将数据元素保存到栈顶(top指针所指的当前位置),然后执行top加1,使top指向栈顶的下一个存储位置。
结点出栈:首先执行 top 减 1,使 top 指向栈顶元素的存储位置,然后将栈顶元素取出。
基本操作的实现

#include <stdio.h>
#include <stdlib.h>

#define STACK_SIZE 100 /* 栈初始向量大小 */
#define STACKINCREMENT 10 /* 空间分配增量 */
#define ERROR 0
#define OK 1
typedef int Status;
typedef int ElemType;
typedef struct sqstack {
    ElemType *bottom; /* 栈不存在时值为 NULL */
    ElemType *top; /* 栈顶指针 */
    int stacksize; /*当前已分空间,以元素为单位 */
} SqStack;

Status Init_Stack(SqStack *S) {
    S->bottom = (ElemType *) malloc(STACK_SIZE * sizeof(ElemType));
    if (!S->bottom) {
        return ERROR;
    }
    S->top = S->bottom; /*栈空时栈顶和栈底指针相同 */
    S->stacksize = STACK_SIZE;
    return OK;
}

Status push(SqStack *S, ElemType e) {
    if (S->top - S->bottom >= S->stacksize - 1) {
        /*栈满,追加存储空间*/
        S->bottom = (ElemType *) realloc(S->bottom, (STACKINCREMENT + STACK_SIZE) * sizeof(ElemType));
        if (!S->bottom) {
            return ERROR;
        }
        S->top = S->bottom + S->stacksize;
        S->stacksize += STACKINCREMENT;
    }
    *S->top = e;
    S->top++;/*栈顶指针加 1,e 成为新的栈顶 */
    return OK;
}

Status pop(SqStack *S, ElemType *e) /*弹出栈顶元素*/
{
    if (S->top == S->bottom) {
        return ERROR;
    }
    S->top--;
    *e = *S->top;
    return OK;
}

int main() {
    SqStack S;
    Init_Stack(&S);
    push(&S, 1);
    int e;
    pop(&S, &e);
}

(2)静态顺序栈

栈顶指针:S->top,初始时设置为-1;栈顶元素:S->data[S->top]。
进栈操作:栈不满时,栈顶指针先加1,再送值到栈顶元素。
出栈操作:栈非空时,先取栈顶元素值,再将栈顶指针减1。
栈空条件:S->top == -1
栈满条件:S->top == MaxSize - 1
栈长:S->top + 1

#include <stdio.h>
#include <stdlib.h>

#define ERROR 0
#define OK 1
typedef int ElemType;
typedef int Status;
#define MAXSIZE 100
typedef struct {
    ElemType data[MAXSIZE];
    int top;
} SqStack;

void InitStack(SqStack *S) {
    S->top = -1;
}

Status StackEmpty(SqStack *S) {
    if (S->top == -1) {
        return OK;
    } else {
        return ERROR;
    }
}

Status Push(SqStack *S, ElemType x) {
    if (S->top == MAXSIZE - 1) {
        return ERROR;
    }
    S->data[++S->top] = x;
    return OK;
}

Status Pop(SqStack *S, ElemType *x) {
    if (S->top == -1) {
        return ERROR;
    }
    *x = S->data[S->top--];
    return OK;
}

Status GetTop(SqStack *S, ElemType *x) {
    if (S->top == -1) {
        return ERROR;
    }
    *x = S->data[S->top];
    return OK;
}

int main() {
    SqStack S;
    InitStack(&S);
    ElemType e = 1;
    Push(&S, e);
    ElemType a;
    Pop(&S, &a);
    printf("%d", a);
}

4 栈的链式存储结构

采用链式存储的栈称为链栈,链栈的优点是便于多个栈共享存储空间和提高效率,且不存在栈满上溢的情况。通常采用单链表来实现,并规定所有操作都是在单链表的表头进行的。这里规定链栈没有头结点,Lhead指向栈顶元素。
栈的链式存储类型可描述为

#include <stdio.h>
#include <stdlib.h>

#define ERROR 0
#define OK 1
typedef int ElemType;
typedef int Status;
typedef struct Stack_Node {
    ElemType data;
    struct Stack_Node *next;
} Stack_Node;

Stack_Node *Init_Link_Stack(void) {
    Stack_Node *top;
    top = (Stack_Node *) malloc(sizeof(Stack_Node));
    top->next = NULL;
    return (top);
}

Status push(Stack_Node *top, ElemType e) {
    Stack_Node *p;
    p = (Stack_Node *) malloc(sizeof(Stack_Node));
    if (!p) {
        /* 申请新结点失败,返回错误标志 */
        return ERROR;
    }

    p->data = e;
    p->next = top->next;
    top->next = p; /* 钩链 */
    return OK;
}

Status pop(Stack_Node *top, ElemType *e) /* 将栈顶元素出栈 */
{
    Stack_Node *p;
    if (top->next == NULL) {
        /*栈空,返回错误标志 */
        return ERROR;
    }
    p = top->next;
    *e = p->data; /*取栈顶元素*/
    top->next = p->next; /*修改栈顶指针*/
    free(p);
    return OK;
}

int main() {
    Stack_Node *S;
    S = Init_Link_Stack();
    ElemType e = 4;
    push(S, e);
    ElemType a;
    pop(S, &a);
    printf("%d", a);
}

5 共享栈

利用栈底位置相对不变的特性,可以让两个顺序栈共享一个一维数据空间,将两个栈的栈底分别设置在共享空间的两端,两个栈顶向共享空间的中间延伸。



两个栈的栈顶指针都指向栈顶元素,top0 = -1时0号栈为空,top1 = MaxSize时1号栈为空;仅当两个栈顶指针相邻(top1 - top0 = 1)时,判断为栈满。当0号栈进栈时top0先加1再赋值,1号栈进栈时top1先减1再赋值;出栈时刚好相反。
共享栈是为了更有效地利用存储空间,两个栈的空间相互调节,只有在整个存储空间被占满时才发生上溢。其存储数据的时间复杂度均为O(1),所以对存取效率没有什么影响。

最后编辑于
©著作权归作者所有,转载或内容合作请联系作者
平台声明:文章内容(如有图片或视频亦包括在内)由作者上传并发布,文章内容仅代表作者本人观点,简书系信息发布平台,仅提供信息存储服务。