栈的实现及相关操作

栈

栈的概念

栈，是一种特殊的线性表，其只允许在固定的一端进行插入和删除元素操作。进行数据插入和删除操作的一端称为栈顶，另一端称为栈底。栈中的数据元素遵守后进先出的原则

压栈：栈的插入操作叫做进栈/压栈/入栈，入数据在栈顶

出栈：栈的删除操作叫做出栈。出数据也在栈顶

例如：1、2、3、4四个数据先后进入栈中，那么出来的顺序一定只能是4、3、2、1

要注意的是，后进先出规范的是已经在栈里的数据，已经出栈的数据不管了

栈的实现

栈可以用数组实现即数组栈，也可以用链表实现即链式栈

数组栈的话，就将数组的起始位置作为栈底。虽然需要扩容，但压栈、出栈实现起来很方便

链式栈的话，将链表的最后一个结点当作栈底，压栈的话则依靠头插来实现

相对而言数组的结构实现更优一些。因为数组在尾上插入数据的代价比较小

栈的定义

typedef int STDataType;

typedef struct Stack
{
	STDataType* a;		
	int capacity;				//栈的容量
	int top;					//表示指向栈顶元素的下一个位置
}ST;

这里和顺序表不同的是，这里没有size来表示栈的有效长度。取而代之的是top。

栈的初始化

void StackInit(ST* st)
{
	assert(st);

	st->a = (STDataType*)malloc(sizeof(STDataType)*4);
	if (st->a == NULL)
	{
		perror("malloc fail");
		exit(-1);
	}

	st->capacity = 4;
	st->top = 0;
}

关于top的初始化：

可以有两种初始化的选择。不同的选择，top的含义不同

上面一个是先放数据再++，下面一个是先++再放数据

一般是将top初始化为0的，此时top也可以代表栈的有效长度

压栈

要检查是否需要扩容

void StackPush(ST* st, STDataType x)
{
	assert(st);

	//考虑扩容问题
	if (st->capacity == st->top)
	{
		STDataType* tmp = (STDataType*)realloc(st->a, st-> capacity * sizeof(STDataType) * 2);
		if (tmp == NULL)
		{
			perror("realloc fail");
			exit(-1);
		}
		else
		{
			st->a = tmp;
			st->capacity *= 2;
		}
	}

	//压栈
	st->a[st->top ] = x;
	st->top++;
}

注意这里扩容不是追加！！！是用新大小代替原大小

我们这里的目的是将容量变为原来的两倍，所以操作是：在原内存大小st->capacity*sizeof(STDataType)乘上2

出栈

要注意，当栈里没数据了，就不能再删了

void StackPop(ST* st)
{
	assert(st);

	//当空栈时不能再出栈
	assert(!StackEmpty(st));
    //当栈为空时,StackEmpty(st)返回true,再逻辑反为false，所以assert报警

	st->top--;
}

获取栈顶元素

要注意，栈不能为空，为空就获取不了了

STDataType StackTop(ST* st)
{
	assert(st);

	//注意栈不能为空
	assert(!StackEmpty(st));

	return st->a[st->top - 1];
}

判断栈是否为空

bool StackEmpty(ST* st)
{
	assert(st);

	return st->top == 0;
}

C语言中并没有bool类型。但可以通过引用头文件#include<stdbool.h>来使用bool类型

获取栈的长度

int StackSize(ST* st)
{
	assert(st);

	return st->top;
}

销毁栈

void StackDestroy(ST* st)
{
	assert(st);

	free(st->a);
	st->a=NULL;
	st->capacity = 0;
	st->top = 0;
}