栈和队列详解（一）

栈

1.1栈的概念及结构

栈是什么东西呢？

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

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

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

1.2栈的实现

栈用数组和链表都可以实现，但是用数组更好。

其原因是因为数组尾插尾删效率很高，并且由于是一块连续存放的内存，CPU的缓存命中率更高。

栈用数组的形式表达，其实和顺序表差不多，也分为了静态和动态两种。这里就不一一列举了。

基本栈的构建

typedef int STDataType;
typedef struct Stack
{
	STDataType* a;
	int top;
	int capacity;
}ST;

这里的top为栈顶元素的下标，capacity为动态数组的容量。

栈的初始化

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

栈的初始化很简单，这里就不多赘述了。但是为什么要将top设置为-1，之后会有提到。

栈的销毁

和链表不同，栈的销毁不需要对每个元素进行销毁。直接销毁即可

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

在栈中插入一个元素

和顺序表相似，在栈中插入一个元素，在插入之前，要先判断空间是否足够，如果空间已经满了，需要扩容后再插入。

void StackPush(ST* ps, STDataType x)
{
	if (ps->top+1 == ps->capacity)
	{
		int newcapacity = ps->capacity== 0 ? 4:ps->capacity * 2;
		ST*tmp = (int*)realloc(ps->a,sizeof(ST) * newcapacity);
		if (tmp == NULL)
		{
			perror("relloc::tmp");
			exit(-1);
		}
		ps->a = tmp;
		ps->capacity = newcapacity;
	}
	ps->a[ps->top + 1] = x;
	ps->top++;
}

这里的top和之前的初始化是相关联的，在判断栈是否为满或为插入新元素这些细节问题的时候，一定要注意top代表的意思是什么。

删除栈中的一个元素

void StackPop(ST* ps)
{
	assert(ps);
	assert(!StackEmpty(ps));
	ps->top--;
}

很简单，但是别忘了要先判断栈是否为空以及传进来的指针是否为空指针。

判断栈是否为空

bool StackEmpty(ST* ps)
{
	assert(ps);
	return ps->top == -1 ;
}

这里的代码很简单，唯一要注意的就是判断是否为空的top所对应的值。

获取栈中有多少个数据

int StackSize(ST* ps)
{
	assert(ps);
	return ps->top + 1;
}

这个就很简单了。

取栈顶的元素

STDataType StackTop(ST* ps)
{
	return ps->a[ps->top];
}

到这里为止，有关栈的相关操作就结束了。栈其实本质上就是顺序表，但不同之处在于栈的特性是后入先出，这就导致在操作上有一定的差异。