数据结构之栈

目录

栈的定义

 栈的相关操作

栈的性质及相关例题 

栈的实现以及相关接口函数

栈的实现

栈的初始化

栈的销毁

元素的入栈

 元素的出栈

 返回栈顶的元素

求栈中元素的个数

判断栈是否为空

---

栈的定义

什么是栈？我们先来看看维基百科给出的定义：

堆栈（stack）又称为栈或堆叠，是计算机科学中的一种抽象资料类型，只允许在有序的线性资料集合的一端（称为堆栈顶端，top）进行加入数据（push）和移除数据（pop）的运算。因而按照后进先出（LIFO, Last In First Out）的原理运作，堆栈常用一维数组或链接串列来实现。常与另一种有序的线性资料集合队列相提并论。

 栈的相关操作

 基于栈的结构，栈总共有两种操作，入栈和出栈，栈的结构分为栈顶和栈底，入栈和出栈都在栈顶进行。入栈我们也称作压栈（push），出栈我们也称弹栈（pop）。

 栈的图示如下： 

栈的性质及相关例题 

对于栈而言，因为是从栈顶入元素，且从栈顶出元素，所以就会导致先入后出，这也是栈比较重要的一个性质。

解析： 这个题目主要考察栈的相关性质，我们知道栈的性质是先入后出，所以根据这个性质，不难看出，出栈的顺序就是入栈顺序的逆置，所以此题选b

 解析：主要考察栈的相关性质，入栈的顺序是1234；

对于A选项：要出1，我们得先进1，符合进栈的顺序，接着要出4，3，2，我们就得先进2，3，4，显然，也符合进栈的顺序。所以总体来说就是先进1然后出1，然后进234，最后出432

对于B选项：要出2，就得先进1，2，显然符合进栈的顺序，接着要出3我们得先进3，然后再出3，接着我们要出4，就得先进4，接着要出1，栈中刚好剩了1。总体来说就是，先进1,2，然后再出2，然后进3出3，进4出4，最后再出1

对于C选项：要出3，必然先进1,2,3，然后再出3，接着要出1，显然是不可能的，只能先出2，所以C选项是不可能的。

对于D选项：要出3，得先进1,2,3，然后出3，接着要出4，得先进4，最后再出4，接着要出2,1，栈中刚好剩下了1,2，接着再出2,1符合选项。

栈的实现以及相关接口函数

分析：栈分为数组栈和链栈，之前我们分析了顺序表与链表的区别，我们知道顺序表是一次开辟了所有的空间，需要扩容时我们草需要继续申请开辟空间，而链表就比较麻烦，需要使用时才开辟一个结点的空间，这样就显得比较麻烦，所以我们一般情况下使用数组栈，因为开辟好一次空间后我们就不需要再频繁地开辟空间。

栈的实现

typedef int SDataType;
typedef struct Stack
{
	SDataType* a;	//指向了动态开辟的数组
	int top;	//如果top的初始值是0，top就是栈顶元素的下一个元素的下标;如果top的初始值是-1，那么top就是栈顶元素的下标。
	int capacity;	//栈可以容纳的元素的个数
}ST;

栈的初始化

void StackInit(ST* p)
{
	assert(p);
	p->a = NULL;
	p->top = p->capacity = 0;
}

栈的销毁

void StackDestroy(ST* p)
{
	assert(p);
	free(p->a);
	p->a = NULL;
	p->top = p->capacity = 0;
}

元素的入栈

void StackPush(ST* p, SDataType x)
{
	assert(p);
	//判断栈空间是否充足，如果不充足就需要进行扩容
	if (p->top == p->capacity == 0)
	{
		int newcapacity = p->capacity == 0 ? 4 : p->capacity * 2;
		SDataType* ps = (SDataType*)realloc(p->a,sizeof(SDataType) * newcapacity);
		if (ps == NULL)
		{
			printf("realloc fail\n");
			exit(-1);
		}
		p->a= ps;
		p->capacity = newcapacity;
	}
	p->a[p->top ] = x;	
	p->top++;
}

注意：虽然说，当top的初始值是0时，top就是栈顶元素下一个元素的下标， 但是这不妨碍当top=0时，top可以当做栈顶元素的下标。

 元素的出栈

void StackPop(ST* p)
{
	assert(p);
	assert(p->top > 0);
	p->top--;
}

 返回栈顶的元素

SDataType StackTop(ST* p)
{

	assert(p);
	assert(p->top > 0);		//保证栈不为空
	return p->a[p->top - 1];
}

注意：因为top的初始值是0，所以top表示栈顶元素下一个元素的下标，所以栈顶元素的下标就是top-1 

求栈中元素的个数

int StackNum(ST* p)
{
	assert(p);
	return p->top;
}

注意：因为top表示栈顶元素下一个元素的下标，所以栈顶元素的下标就是top-1，所以栈元素的下标就是0——top-1，所以总共含有top个元素，所以当top的初始值是0时，top就是栈的元素个数。 

判断栈是否为空

bool StackEmpty(ST* p)
{
	assert(p);
	if (p->top == 0)
	{
		return true;
	}
	else
	{
		return false;
	}
}

本期内容需要重点关注栈的先进后出的性质以及栈的相关函数的实现。

 本期内容到此结束！^_^