栈(stack)是限定仅在表尾进行插入或删除操作的线性表。
对栈来说,表尾端称为栈顶 (top), 表头端称为栈底 (bottom),不含元素的空表称为空栈。
假设栈 S = ( a 1 , a 2 , a 3 , ⋯ , a n ) S=(a_1,a_2,a_3,\cdots,a_n) S=(a1,a2,a3,⋯,an) , 则称 a 1 a_1 a1为栈底元素, a n a_n an为栈顶元素,插入元素到栈顶(即表尾)的操作称为入栈 , 从栈顶(即表尾)删除最后一个元素的操作称为出栈 。栈元素的修改是按后进先出的原则进行的,因此栈又称为后进先出 (Last In First Out, LIFO)的线性表。
由于栈固有的后进先出特性,使得栈称为程序设计中的有用工具,另外,如果问题求解的过程具有"后进先出"的天然特性的话,则求解的算法中也需要利用"栈", 如:
- 数制转换
 - 表达式求值
 - 括号匹配的检验
 - 八皇后问题
 - 行编辑程序
 - 函数调用
 - 迷宫求解
 - 递归调用的实现
 
抽象数据类型定义
ADT Stack{ 数据对象: D = { a i ∣ a i ∈ E l e m S e t , i = 1 , 2 , 3 , ⋯ , n , n ≥ 0 } D=\{{a_i}| a_i \in ElemSet, i=1,2,3,\cdots,n, n \geq 0\} D={ai∣ai∈ElemSet,i=1,2,3,⋯,n,n≥0}
 数据关系: R = { < a i − 1 , a i > ∣ a i − 1 , a i ∈ D , i = 1 , 2 , 3 , ⋯ , n } R=\{<a_{i-1}, a_i> | a_{i-1},a_i \in D, i = 1,2,3,\cdots,n\} R={<ai−1,ai>∣ai−1,ai∈D,i=1,2,3,⋯,n}
 约定 a n a_n an 端为栈顶, a 1 a_1 a1 端为栈底。
 基本操作:
InitStack(&S) 操作结果:构造一个空栈 S S S
DestroyStack(&S) 初始条件:栈 S S S已经存在
 操作结果:栈 S S S被销毁
ClearStack(&S) 初始条件:栈 S S S已经存在
 操作结果:将栈 S S S 清空
StackEmpty(&S) 初始条件:栈 S S S已经存在
 操作结果:若栈 S S S 为空栈,则返回
true, 否则返回false
StackLength(&S) 初始条件:栈 S S S已经存在
 操作结果:返回栈 S S S 的元素个数,即栈的长度
GetTop(&S) 初始条件:栈 S S S已经存在且非空
 操作结果:返回栈 S S S 的栈顶元素
Push(&S,e) 初始条件:栈 S S S已经存在
 操作结果:插入元素
e为新的栈顶元素
Pop(&S,e) 初始条件:栈 S S S已经存在且非空
 操作结果:删除
S的栈顶元素,并且用e返回其值
StackTraverse(&S,e) 初始条件:栈 S S S已经存在且非空
 操作结果:从栈底到栈顶一次对
S的每个数据元素进行访问
}ADT Stack
顺序栈
顺序栈是指利用顺序存储结构实现的栈。
初始化
            
            
              c++
              
              
            
          
          bool InitStack(SqStack &S)
{
    S.base = new SElemType[MaxSize];
    if (!S.base)
    {
        std::cerr << "内存分配失败" << std::endl;
        return false;
    }
    S.front = S.base;
    S.stacksize = MaxSize;
    return true;
}
        销毁
            
            
              c++
              
              
            
          
          bool DestroyStack(SqStack &S)
{
    if (S.base)
    {
        delete[] S.base;
        S.stacksize = 0;
        S.base = S.front = nullptr;
        return true;
    }
    return false;
}
        清空
            
            
              c++
              
              
            
          
          bool ClearStack(SqStack &S)
{
    if (S.base)
    {
        S.front = S.base;
        return true;
    }
    return false;
}
        是否为空栈
            
            
              c++
              
              
            
          
          bool StackEmpty(const SqStack &S)
{
    return S.base == S.front;
}
        栈长度
            
            
              c++
              
              
            
          
          int StackLength(const SqStack &S)
{
    return S.front - S.base;
}
        入栈
            
            
              c++
              
              
            
          
          bool Push(SqStack &S, const SElemType &e)
{
    if (S.front - S.base == S.stacksize)
    {
        std::cerr << "顺序栈已满,无法插入新元素" << std::endl;
        return false;
    }
    *(S.front) = e;
    S.front++;
    return true;
}
        出栈
            
            
              c++
              
              
            
          
          bool Pop(SqStack &S, SElemType &e)
{
    if (StackEmpty(S))
    {
        std::cerr << "空栈无法取值" << std::endl;
        return false;
    }
    S.front--;
    e = *(S.front);
    return true;
}
        获取栈顶元素
            
            
              c++
              
              
            
          
          SElemType GetTop(const SqStack &S)
{
    if (StackEmpty(S))
    {
        std::cerr << "空栈无法取值" << std::endl;
        return false;
    }
    return *(S.front - 1);
}
        遍历栈元素
            
            
              c++
              
              
            
          
          void StackTraverse(const SqStack &S)
{
    for (int i = 0; i < S.front - S.base; i++)
    {
        std::cout << "第 " << i + 1 << " 个元素为: " << S.base[i] << std::endl;
    }
}
        头文件
            
            
              c++
              
              
            
          
          #pragma once
#include <iostream>
const int MaxSize = 100;
typedef int SElemType;
typedef struct _SqStack
{
    SElemType *base;  // 栈底
    SElemType *front; // 栈顶
    int stacksize;    // 栈可用的最大容量
} SqStack;
bool InitStack(SqStack &S);
bool DestroyStack(SqStack &S);
bool ClearStack(SqStack &S);
bool StackEmpty(const SqStack &S);
int StackLength(const SqStack &S);
bool Push(SqStack &S, const SElemType &e);
bool Pop(SqStack &S, SElemType &e);
void StackTraverse(const SqStack &S);
SElemType GetTop(const SqStack &S);
        测试文件
            
            
              c++
              
              
            
          
          #include "include/stack.h"
int main()
{
    SqStack S;
    InitStack(S);
    Push(S, 1);
    Push(S, 2);
    Push(S, 3);
    Push(S, 4);
    StackTraverse(S);
    SElemType top = GetTop(S);
    std::cout << "栈顶元素为: " << top << std::endl;
    int stack_len = StackLength(S);
    std::cout << "栈长度: " << stack_len << std::endl;
    Pop(S, top);
    StackTraverse(S);
    std::cout << "++++++++++++++" << std::endl;
    ClearStack(S);
    StackTraverse(S);
    DestroyStack(S);
    return 0;
}
        链栈
链栈是指采用链式存储结构实现的栈。通常使用单链表来表示,由于栈的主要操作是在栈顶插入和删除,为了方便,这里将链表的头结点作为栈顶,且不需要头结点。
初始化
            
            
              c++
              
              
            
          
          bool InitStack(LinkStack &S)
{
    S = nullptr;
    return true;
}
        销毁
            
            
              c++
              
              
            
          
          bool DestroyStack(LinkStack &S)
{
    while (S)
    {
        StackNode *tmp = S->next;
        S = S->next;
        delete tmp;
    }
    return true;
}
        清空
            
            
              c++
              
              
            
          
          bool ClearStack(LinkStack &S)
{
    DestroyStack(S->next);
    S = nullptr;
    return true;
}
        是否为空栈
            
            
              c++
              
              
            
          
          bool StackEmpty(const LinkStack &S)
{
    return !S;
}
        栈长度
            
            
              c++
              
              
            
          
          int StackLength(const LinkStack &S)
{
    int len = 0;
    StackNode *tmp = S;
    while (tmp)
    {
        len++;
        tmp = tmp->next;
    }
    return len;
}
        入栈
            
            
              c++
              
              
            
          
          bool Push(LinkStack &S, const ElemType &e)
{
    StackNode *p = new StackNode;
    p->data = e;
    p->next = S;
    S = p;
    return true;
}
        出栈
            
            
              c++
              
              
            
          
          bool Pop(LinkStack &S, ElemType &e)
{
    if (S)
    {
        e = S->data;
        StackNode *tmp = S;
        S = S->next;
        delete tmp;
        return true;
    }
    return false;
}
        获取栈顶元素
            
            
              c++
              
              
            
          
          ElemType GetTop(const LinkStack &S)
{
    if (S)
        return S->data;
    else{
        return 0;
    }
}
        遍历栈元素
            
            
              c++
              
              
            
          
          void StackTraverse(const LinkStack &S)
{
    StackNode *tmp = S;
    int i = 0;
    while (tmp)
    {
        i++;
        std::cout << "第 " << i << " 个元素为: " << tmp->data << std::endl;
        tmp = tmp->next;
    }
}
        文章参考 严蔚敏老师《数据结构 C语言版 第2版》和青岛大学王卓数据结构视频课