栈(stack)是限定仅在表尾进行插入和删除操作的线性表。
我们把允许插入和删除的一端称为栈顶( top),另一端称为栈底(bottom),不含任何数据元素的栈称为空栈。栈又称为后进先出(Last In First Out)的线性表,简称LIFO结构。
理解栈的定义需要注意:
首先它是一个线性表,也就是说,栈元素具有线性关系,即前驱后继关系。只不过它是一种特殊的线性表而已。定义中说是在线性表的表尾进行插入和删除操作,这里表尾是指栈顶,而不是栈底。
它的特殊之处就在于限制了这个线性表的插入和删除位置,它始终只在栈顶进行。这也就使得:栈底是固定的,最先进栈的只能在栈底。
栈的插入操作,叫作进栈,也称压栈、入栈。
栈的删除操作,叫作出栈,也有的叫作弹栈。
ADT 栈(stack) DATA 同线性表 OPERATION Init_Stack(*S);//初始化操作 Destroy_Stack(*S);//摧毁一个栈 Clear_Stack(*S);//清空一个栈 IsEmpty_Stack(*S);//判空 Top_Stack(*S);//非空,则返回栈顶 Pop_Stack(*S);//弹出栈顶 Push_Stack(*S,e);//压入一个数据 Size_Stack(*S);//返回栈大小
由于栈是一个表,因此任何实现表的方法都能实现栈。99%的情况下,它们都是最合理的选择。有时候为特殊目的而设计的实现可以运行得更快。由于栈的所有操作都是常量时间的操作,所以,除非是在很特别的环境下,否则不太可能会有明显的改进。
除此之外,我们也可以在对顺序表进行二次封装来实现栈。
这里我们选择稍微修改顺序表的代码来实现
#define INITSIZE 20 //初始化的大小 #define EXPANDTIMES 2 //每次的扩容倍数 typedef int ELemType;//用int来模拟数据项类型 typedef struct { ELemType* data; //存储数据的初始位置 int capacity; //容量(总共的:未使用的+已经使用的) int size;//已经使用的 }Stack;
可以把栈看作一个立起来的数组,我们只能操作最后一个元素。
bool Init_Stack(Stack* S) { assert(S != NULL);//对输入也检测一下,使用空指针可能会导致程序奔溃,具体原因自己去搜,后续不解释 S->data = (int*)malloc(sizeof(ELemType) * INITSIZE);//申请一段堆空间来存储元素 //assert(L->data != NULL);//因为malloc可能会申请失败,判断一下 if (S->data == NULL) { return false; } else { S->capacity = INITSIZE;//初始容量通过宏定义设定 S->size = 0;//初始使用的大小当然是0喽 return true; } }
bool IsEmpty_Stack(Stack* S) { assert(S != NULL); return S->size == 0;//只用检测一下使用的大小为不为0,就ok }
bool Clear_Stack(Stack* S) { assert(S != NULL); free(S->data);//因为空间是malloc来的,不用就free掉 Init_Stack(S);//最简单的做法,重新给他初始化下,就消除了数据,也缩小了容量 //S->size = 0;//最最最简单的方法因为数据是否有效,我们说了算,容量没变 return true; }
bool Destroy_Stack(Stack* S) { S->capacity = 0; S->size = 0; free(S->data);//Destroy以后就彻底不能用了,因为0乘以任何数还是0 S->data = NULL; return true; }
ELemType Top_Stack(Stack* S) { assert(S != NULL); if (S->size == 0) { printf(" stack is empty \n"); return -1; } return S->data[S->size-1]; }
bool Pop_Stack(Stack* S) { assert(S != NULL); S->size = S->size == 0 ? 0 : S->size - 1; if (S->capacity > INITSIZE && S->size < S->capacity / EXPANDTIMES) Change_Stack(S, -1); return true; }
bool Push_Stack(Stack* S, ELemType e) { assert(S != NULL);//为满足线性表的定义,应对下标进行检测 if (S->capacity == S->size) { if (!Change_Stack(S, 1)) { return false; } } S->data[S->size] = e; S->size++; return true; }
int Size_Stack(Stack* S) { assert(S != NULL); return S->size; }
我使用的带头结点,图可能有些出入
typedef int ELemType; //用int来模拟数据项类型 typedef struct Node//数据节点/头节点公用 { ELemType data; struct Node* next; }Stack;
bool Init_Stack(Stack* S) { assert(S != NULL); S->data = 0;//头节点的数据项我们拿来存大小/长度 S->next = NULL; return true; }
bool IsEmpty_Stack(Stack* S)//线性表为空则返回true,否则false { assert(S != NULL); return S->data == 0; }
bool Clear_Stack(Stack* S)//清空L; { while (!IsEmpty_Stack(S)) { Pop_Stack(S); } return true; }
ELemType Top_Stack(Stack* S) { assert(S != NULL); if (S->data == 0) { printf("Stack is Empty\n"); return -1; } else { return S->next->data; } }
bool Pop_Stack(Stack* S) { assert(S != NULL); if (S->data == 0) { return true; } else { S->data = S->data - 1; Node* pt = S->next; S->next = pt->next; free(pt); return true; } }
bool Push_Stack(Stack *S, ELemType e) { assert(S != NULL); Node* temp = (Node*)malloc(sizeof(Node)); if (temp == NULL) { return false; } else { S->data++; temp->next = S->next; temp->data = e; S->next = temp; return true; } }
int Size_Stack(Stack* S) { assert(S != NULL); return S->data; }