栈（stack）又名堆叠，它是一种运算受限的线性表。其限制是仅允许在表的一端进行插入和删除运算。这一端被称为栈顶，相对地，把另一端称为栈底。向一个栈插入新元素又称作进栈、入栈或压栈，它是把新元素放到栈顶元素的上面，使之成为新的栈顶元素；从一个栈删除元素又称作出栈或退栈，它是把栈顶元素删除掉，使其相邻的元素成为新的栈顶元素。
基本介绍
- 中文名：栈
- 外文名：stack
- 种类：数据结构
- 说法：进栈、出栈
- 堆叠帧：函式的返回地址和参数
- 定义：表头进行插入和删除操作的线性表
- 又名：堆叠
基本概念
定义：栈是限定仅在表头进行插入和删除操作的线性表。要搞清楚这个概念，首先要明白”栈“原来的意思，如此才能把握本质。"栈“者,存储货物或供旅客住宿的地方,可引申为仓库、中转站，所以引入到计算机领域里，就是指数据暂时存储的地方，所以才有进栈、出栈的说法。
首先系统或者数据结构栈中数据内容的读取与插入（压入push和 弹出pop）是两回事！插入是增加数据，弹出是删除数据 ，这些操作只能从栈顶即最低地址作为约束的接口界面入手操作 ，但读取栈中的数据是随便的没有接口约束之说。很多人都误解这个理念从而对栈产生困惑。而系统栈在计算机体系结构中又起到一个跨部件互动的媒介区域的作用 即 cpu 与记忆体的交流通道 ，cpu只从系统给我们自己编写的应用程式所规定的栈入口线性地读取执行指令， 用一个形象的词来形容它就是pipeline（管道线、流水线）。cpu内部互动具体参见 EU与BIU的概念介绍。
栈作为一种数据结构，是一种只能在一端进行插入和删除操作的特殊线性表。它按照先进后出的原则存储数据，先进入的数据被压入栈底，最后的数据在栈顶，需要读数据的时候从栈顶开始弹出数据（最后一个数据被第一个读出来）。栈具有记忆作用，对栈的插入与删除操作中，不需要改变栈底指针。
栈是允许在同一端进行插入和删除操作的特殊线性表。允许进行插入和删除操作的一端称为栈顶(top)，另一端为栈底(bottom)；栈底固定，而栈顶浮动；栈中元素个数为零时称为空栈。插入一般称为进栈（PUSH），删除则称为退栈（POP）。栈也称为后进先出表。
栈可以用来在函式调用的时候存储断点，做递归时要用到栈！
以上定义是在经典计算机科学中的解释。
在计算机系统中，栈则是一个具有以上属性的动态记忆体区域。程式可以将数据压入栈中，也可以将数据从栈顶弹出。在i386机器中，栈顶由称为esp的暂存器进行定位。压栈的操作使得栈顶的地址减小，弹出的操作使得栈顶的地址增大。
栈在程式的运行中有着举足轻重的作用。最重要的是栈保存了一个函式调用时所需要的维护信息，这常常称之为堆叠帧或者活动记录。堆叠帧一般包含如下几方面的信息：
1．函式的返回地址和参数
2． 临时变数：包括函式的非静态局部变数以及编译器自动生成的其他临时变数。
栈的模型基本算法
1．进栈（PUSH）算法
①若TOP≥n时，则给出溢出信息，作出错处理（进栈前首先检查栈是否已满，满则溢出；不满则作②）；
②置TOP=TOP+1（栈指针加1，指向进栈地址）；
③S(TOP)=X，结束（X为新进栈的元素）；
2．退栈（POP）算法
①若TOP≤0，则给出下溢信息，作出错处理(退栈前先检查是否已为空栈， 空则下溢；不空则作②)；
②X=S(TOP)，（退栈后的元素赋给X）：
③TOP=TOP-1，结束（栈指针减1，指向栈顶）。
实现
栈分顺序栈和链式栈，下面程式介绍了顺序栈的实现。
pascal
1．数组型
Const
m=栈表目数的上限；
Type
stack=array[1..m] of stype; {栈类型}
Var
s:stack;{栈}
top:integer;
2．记录型
const
m=栈表目数的上限；
type
stack=record
elem: array[1..m] of elemtp;
top:0..m; {栈顶指针}
end;
Var
s:stack;{栈}
C++代码
#include<iostream>classSqStack{private:enum{MaxSize=100};intdata[MaxSize];inttop;public:SqStack();~SqStack();boolisEmpty();voidpushInt(intx);intpopInt();intgetTop();voiddisplay();};SqStack::SqStack(){top=-1;}SqStack::~SqStack(){}boolSqStack::isEmpty()//判断栈为空{return(top==-1);}voidSqStack::pushInt(intx)//元素进栈{if(top==MaxSize-1){std::cout<<"栈上溢出！"<<std::endl;}else{++top;data[top]=x;}}intSqStack::popInt()//退栈{inttmp=0;if(top==-1){std::cout<<"栈已空！"<<std::endl;}else{tmp=data[top--];}returntmp;}intSqStack::getTop()//获得栈顶元素{inttmp=0;if(top==-1){std::cout<<"栈空！"<<std::endl;}else{tmp=data[top];}returntmp;}voidSqStack::display()//列印栈里元素{std::cout<<"栈中元素："<<std::endl;for(intindex=top;index>=0;--index){std::cout<<data[index]<<std::endl;}}intmain(){SqStackst;std::cout<<"栈空："<<st.isEmpty()<<std::endl;for(inti=1;i<10;i++){st.pushInt(i);}st.display();std::cout<<"退一次栈"<<std::endl;st.popInt();std::cout<<"栈顶元素:"<<st.getTop()<<std::endl;st.popInt();st.display();return0;}C代码
#include<stdio.h>#include<malloc.h>#defineDataTypeint#defineMAXSIZE1024typedefstruct{DataTypedata[MAXSIZE];inttop;}SeqStack;SeqStack*Init_SeqStack()//栈初始化{SeqStack*s;s=(SeqStack*)malloc(sizeof(SeqStack));if(!s){printf("空间不足\n");returnNULL;}else{s->top=-1;returns;}}intEmpty_SeqStack(SeqStack*s)//判栈空{if(s->top==-1)return1;elsereturn0;}intPush_SeqStack(SeqStack*s,DataTypex)//入栈{if(s->top==MAXSIZE-1)return0;//栈满不能入栈else{s->top++;s->data[s->top]=x;return1;}}intPop_SeqStack(SeqStack*s,DataType*x)//出栈{if(Empty_SeqStack(s))return0;//栈空不能出栈else{*x=s->data[s->top];s->top--;return1;}//栈顶元素存入*x，返回}DataTypeTop_SeqStack(SeqStack*s)//取栈顶元素{if(Empty_SeqStack(s))return0;//栈空elsereturns->data[s->top];}intPrint_SeqStack(SeqStack*s){inti;printf("当前栈中的元素:\n");for(i=s->top;i>=0;i--)printf("%3d",s->data[i]);printf("\n");return0;}intmain(){SeqStack*L;intn,num,m;inti;L=Init_SeqStack();printf("初始化完成\n");printf("栈空：%d\n",Empty_SeqStack(L));printf("请输入入栈元素个数：\n");scanf("%d",&n);printf("请输入要入栈的%d个元素：\n",n);for(i=0;i<n;i++){scanf("%d",&num);Push_SeqStack(L,num);}Print_SeqStack(L);printf("栈顶元素：%d\n",Top_SeqStack(L));printf("请输入要出栈的元素个数（不能超过%d个）：\n",n);scanf("%d",&n);printf("依次出栈的%d个元素：\n",n);for(i=0;i<n;i++){Pop_SeqStack(L,&m);printf("%3d",m);}printf("\n");Print_SeqStack(L);printf("栈顶元素：%d\n",Top_SeqStack(L));return0;}定义stack的简单代码：
stack<int> sta;
入栈：sta.push(x);
出栈：sta.pop();
判断栈的大小： sta.size();
判断栈是否为空：sta.empty();