数据结构与算法（六）——栈

目录

一、前情提要

二、栈ADT的介绍与分析

（一）什么是栈？      

（二）栈的抽象数据类型

（三）栈的存储结构

       栈的顺序存储结构

       栈的链式存储结构

三、代码展示

---

一、前情提要

        在讲链表之前，我曾提到过“抽象数据类型”，也叫ADT。这篇文章所说的栈也是一种抽象数据类型。并且栈具有线性结构性质，所以栈是一种特殊的线性表。本篇会讲述栈的一系列操作，并给出代码。

二、栈ADT的介绍与分析

（一）什么是栈？      

               栈是限制插入和删除只能在一个位置上进行的表，该位置是表的末端，叫做栈顶。

                                                                                                    ————《数据结构与算法分析》

               书中这段话解释的非常清楚，只能对表的末尾进行操作的表就是栈。

               所以它的基本操作就只有两种：Push（进栈）、Pop（出栈）。前者相当于插入，后者则相当于删除最后一个元素。

    看懂这张图，栈的定义就明白了。只能从栈顶进或者出。

    我们把允许插入和删除的一端称为栈顶（top），另一端称为栈底（bottom），不含任何数据元素的栈称为空栈。栈又称为后进先出的线性表（Last In First Out），简称LIFO结构。

注意一下几点：

   1.首先栈是一个线性表，也就是说，栈元素具有线性关系，即前驱后继关系。只不过它是一种特殊的线性表而已。定义中说是在线性表的表尾进行插入和删除操作，这里表尾是指栈顶，而不是栈底。

   2.它的特殊之处就在于限制了这个线性表的插入和删除位置，它始终只在栈顶进行。这也就使得：栈底是固定的，最先进栈的只能在栈底。

   3.栈的插入操作，叫做进栈，也叫压栈、入栈。Push

   4.栈的删除操作，叫做出栈，也叫弹栈。Pop

（二）栈的抽象数据类型

        因为我们之前说了，栈是一种抽象数据类型。抽象数据类型是一系列操作的集合。所以我们可以列出它的操作。

ADT  栈（stack）
Data
     同线性表。元素具有相同的类型，相邻元素具有前驱和后继关系。
	 
Operation
     InitStack():初始化操作，建立一个空栈。
	 DestroyStack(*S):若栈存在，则销毁它。
	 ClearStack(*S):将栈清空。
	 StackEmpty(*S):若栈为空，返回true，否则返回false。
	 GetTop(*S)：若栈存在且非空，返回S的栈顶元素。
	 Push(*S,e):若栈S存在，插入新元素e到栈S中并成为栈顶元素。
	 Pop(*S):删除栈S中栈顶元素。
	 StackLength(S):输出栈S的元素个数。

endADT

（三）栈的存储结构

       和前面一样，栈也有两种存储结构，一种是顺序存储结构，另一种则是链式存储结构。

       栈的顺序存储结构

      1. 既然栈是线性表的特例，那么栈的顺序存储其实也是线性表顺序存储的简化，我们简称为顺序栈。

      2.顺序表是用数组来实现的，那么对于栈这种只能一头插入和删除的线性表来说，用数组下标为0的那一端作为栈底最好，因为首元素都存在栈底，变化最小，最为合适。相反另一端则作为栈顶。

      3.我们通常定义一个top变量来指示栈顶元素在数组中的位置。如果存储栈的长度为StackSize，则栈顶位置top一定小于StackSize。当栈顶存在一个元素的时候，top==0，因此通常把空栈的判定条件定为top等于-1。

     栈的链式存储结构

     1.栈的链式存储结构，简称为链栈。

     2.在链式存储结构中，比较好的方法就是将栈顶放在单链表的头部。因为有头指针的作用，方便头插和删除。另外有了栈顶在头部了。所以说入栈就是头插。

     3.对于链栈来说，几乎不存在栈满的情况，除非电脑内存不够。

     4,对于空栈来说，链表原定头指针指向空，那么链栈的空其实就是top==NULL的时候。

三、代码展示

（一）顺序栈代码

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

#define MaxSize 10

typedef struct
{
	int* Data;//栈中元素 
	int Top; //用于栈顶指针 
}Sstack; 

Sstack InitStack()
{
	Sstack S;
	S.Data =(int*)malloc(sizeof(int)*MaxSize);
	S.Top=-1;//初始化栈顶指针
	//Top可以等于0也可以给等于-1 
	// =-1,先加后赋值，指针指向栈顶元素
	// =0，先赋值再加，指针指向 栈顶元素的下一个存储单元 
	return S;
} 

void DestroyStack(Sstack* S)//若栈存在，则销毁它。
{
	free(S->Data);
    S->Data=NULL;
    S->Top=-1;
    printf("销毁成功！");
}

void ClearStack(Sstack* S)//将栈清空。
{
    S->Top=-1;
}

bool StackEmpty(Sstack* S)//若栈为空，返回true，否则返回false。
{
	if(S->Top==-1) return true;
	else return false;
}
	 
void GetTop(Sstack* S)//若栈存在且非空，输出S的栈顶元素。
{
    if(S->Top==-1)
	{
		printf("栈空\n");//栈空报错，不能输出 
	    return;
	} 
	else
	{ 
	 	printf("%d\n",S->Data[S->Top]);
	} 
}
	 
void Push(Sstack* S,int e)//若栈S存在，插入新元素e到栈S中并成为栈顶元素。
{
	if(S->Top==MaxSize-1)
	{
		printf("栈空间已满");
		return; 
	}
	else
	{
		S->Top++;  //指针向后移一位 
		S->Data[S->Top]=e;//输入数据 
	}
}
	 
void Pop(Sstack *S)//删除栈S中栈顶元素。
{
	if(S->Top==-1)
	{
		printf("栈为空");
	}
	else
	{
		S->Top--;//指针前移一位，现在Top指向新的栈顶 
	}            //旧栈顶的元素会被覆盖，不需要管它。 
}
	 
void StackLength(Sstack* S)//输出栈S的元素个数。
{
	printf("%d\n",S->Top+1);
}

int main()
{
	Sstack S=InitStack();
	Push(&S,1);
	Push(&S,2);
	Push(&S,3);
	Push(&S,4);
	GetTop(&S);//输出4 
	StackLength(&S); //输出4 
	Pop(&S);    
	GetTop(&S);//输出3 
	StackLength(&S); //输出3 
	ClearStack(&S);
	
	if(StackEmpty(&S)) printf("此栈为空栈\n");
	DestroyStack(&S);
	return 0;
}

（二）链栈代码

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

///链栈--单链表实现栈///
typedef struct ListackNode{//链栈结点 
	int Date;//链栈结点中元素 
	struct ListackNode* next;//指针 	
}Sstack,*Listack;
//此处的listack与链表代码中的 linklist类似
//Listack==Sstack*;
//使用 Listack 声明链栈中的结点指针，意在强调操作对象是栈； 
//使用 Sstack* 声明链栈中的结点指针，意在强调操作对象是栈中的某个结点 

Listack InitStack()
{
   	Listack S=(Listack)malloc(sizeof(Sstack));
   	S->next=NULL;
   	return S;
} 

void ClearStack(Listack S)//将栈清空,只保留一个头结点。 
{
	Sstack* P;
	Sstack* Q=S->next;
	while(Q->next)
	{
		P=Q;
		Q=Q->next;
		free(P);
	}
	S->next=NULL;
}

bool StackEmpty(Listack S)//若栈为空，返回true，否则返回false。
{
	if(S->next==NULL) return true;
	else return false;
}
	 
void GetTop(Listack S)//若栈存在且非空，输出S的栈顶元素。
{
	//判空，还有没有的读取 
	if(S->next==NULL)
	{
		printf("栈为空\n");//栈空报错，不能删除	 
	} 
	else
	{
		printf("%d\n",S->next->Date); //就是输出首元结点的值 
	} 
}
	 
void Push(Listack S,int e)//若栈S存在，插入新元素e到栈S中并成为栈顶元素。
{
	//头插法插入结点，实现入栈 
	Sstack* New_S=(Sstack*)malloc(sizeof(Sstack)); //创建新的结点 
	New_S->Date=e;      //赋值 
	
	New_S->next=S->next;//和单链表一样链接 
	S->next=New_S;      
}
	 
void Pop(Listack S)//删除栈S中栈顶元素。
{
	//删除之前判空，还有没有的删
	if(S->next==NULL)
	{
		printf("栈为空\n");//栈空报错，不能删除 
		return; 
	} 
	else
	{
	 Sstack* Tar_Node=S->next ;//让p指向待删除的首元结点
	 
	 S->next =Tar_Node->next;//头结点直接指向待删除结点的后一位 
	 free(Tar_Node); //删除结点，相当于删除栈顶元素 
	} 
}
	 
void StackLength(Listack S)//输出栈S的元素个数。
{
	int Count=0;
	Listack P=S;
	while(P->next!=NULL) 
	{
		Count++;
		P=P->next;
	} 
	
	printf("%d\n",Count);
}

int main()
{
	Listack S=InitStack(); 
	Push(S,1);
	Push(S,2);
	Push(S,3);
	Push(S,4);
	GetTop(S);//输出4 
	StackLength(S); //输出4 
	Pop(S);    
	GetTop(S);//输出3 
	StackLength(S); //输出3 
	ClearStack(S);
	
	if(StackEmpty(S)) printf("此栈为空栈\n");
	return 0;
}