栈的定义

栈(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;
}
上一篇:Java ★ 灵魂拷问:到底要不要写单元测试,如何正确进行单元测试?


下一篇:Pytorch数据操作和数据预处理