数据结构---栈的认识与实现

一、栈的认识

1、栈的概念

  要搞清楚这个概念，首先要明白“栈”原来的意思，如此才能把握本质。栈，存储货物或供旅客住宿的地方，可引申为仓库、中转站，所以引入到计算机领域里，就是指数据暂时存储的地方，所以才有进栈、出栈的说法。

  在数据结构当中，栈是一种只能在一端进行插入和删除操作的特殊线性表。它按照后进先出的原则存储数据，先进入的数据被压入栈底，最后的数据在栈顶，需要读数据的时候从栈顶开始弹出数据（最后一个数据被第一个读出来）。

  栈又名堆栈，它是一种运算受限的线性表。限定仅在表尾进行插入和删除操作的线性表。这一端被称为栈顶，相对地，把另一端称为栈底。向一个栈插入新元素又称作进栈、入栈或压栈，它是把新元素放到栈顶元素的上面，使之成为新的栈顶元素；从一个栈删除元素又称作出栈或退栈，它是把栈顶元素删除掉，使其相邻的元素成为新的栈顶元素。

  综上，栈只有进栈与出栈两个功能。

---

2、顺序表和链表的选择

这里我们需要说一下两者的优缺点：

顺序表：

优：能通过下标访问

缺：1、只适合尾插，在其他的地方插入需要挪动数据，消耗时间。

       2、不能按需申请，可能会造成空间浪费。

链表：

优：1、插入方便，在任何位置插入时间复杂度都是O(1)。

       2、按需申请释放，不存在空间浪费。

缺：不能够用下标进行访问。

---

我们通过对栈的了解后知道，栈只有进栈和出栈两个功能，我们进栈和出栈的那端叫栈顶，另一端叫做栈尾，我们只需要用一端插入和删除数据即可，并且我们也不会经常申请空间，从这两点来看似乎用哪一个都可以，但是顺序表有一个极具诱惑力的优点就是能通过下标访问！并且过程比链表略简单，所以我们实现时选择用顺序表。                

二、栈的实现

1、代码实现的必备三件套

2、头文件Stack.h中定义与声明

#include<stdio.h>
#include<stdlib.h>
#include<stdbool.h>
#include<assert.h>
typedef int STDataType;
typedef struct Stack
{
	STDataType* a;
	int top;
	int capacity;
}ST;
void StInit(ST* st);
void StPush(ST* st, STDataType x);
void StDestroy(ST* st);
void StPop(ST* st);
STDataType StTop(ST* st);
bool StEmpty(ST* st);
int StSize(ST* st);

我们接下来会一一对栈的各个功能函数进行实现。

---

3、Stack.c中功能代码实现

一、初始化函数

void STInit(ST* st)
{
	assert(st);
	st->a = NULL;
	st->top = 0;//表示top指向栈顶元素的下一个位置
    st->capacity = 0;
}

这里有一个问题需要注意，top的值到底应该是多少？

这里有两种方式：

1、top指向栈顶元素

  要注意，top指向栈顶元素时，top是下标。我们初始化后，当前栈为空，如果我们top的初始值为0的话，就证明top为0时栈为空。 然而你想让top指向栈顶元素时，top为0时栈里面应该是有一个元素的，所以会矛盾。

  所以当top指向当前元素时，top的初始值应该是-1，一是我们要存下一个元素时需要先++top，再去存放该元素，这样才会存放下一个元素的值。再是如果我们初始值为0，也就是说top=0时对应的有一个元素，那我们应该怎么区分栈为空和栈中有一个元素的时候呢？top为0不应该栈为空吗？因为会产生这个问题，所以我们将top初始值设置为-1，

2、top指向栈顶元素的下一个

这时top指向栈顶元素的下一个，top就不是下标了。如果top指向栈顶元素下一个的话，我们操作时需要先将值存下，再++top让它指向下一个元素。

当栈中没有元素时，我们top指向的就是top为0的位置，初始化时，top=0，也正是栈为空的情况，所以不会与栈为空这种情况引起冲突。

二、销毁函数

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

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

三、Push入栈函数

void STPush(ST* st,STDataType x)
{
	assert(st);
	if (st->top == st->capacity)
	{
		int newcapacity = st->capacity == 0 ? 4 : 2 * st->capacity;
		STDataType* tmp = (STDataType*)realloc(st->a, newcapacity * sizeof(STDataType));
		if (tmp == NULL)
		{
			perror("realloc fail");
			return;
		}
		st->capacity = newcapacity;
		st->a = tmp;
	}
	st->a[st->top] = x;
	st->top++;
}

四、Pop出栈函数

void STPop(ST* st)
{
	assert(st);
	// 不为空
	assert(st->top > 0);

	st->top--;
}

五、返回栈顶元素

STDataType STTop(ST* st)
{
	assert(st);
	// 不为空
	assert(st->top > 0);

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

六、判断栈是否为空

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

	return st->top == 0;//栈为空返回true，不为空返回false
}

七、返回栈内元素个数

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

	return st->top;
}

---

4、main.c栈的运用

#include"Stack.h"
int main()
{
	ST st;
	STInit(&st);
	STPush(&st, 1);
	STPush(&st, 2);
	STPush(&st, 3);
	STPush(&st, 4);
	//插入四个元素
	while (!STEmpty(&st))//不为空则继续
	{
		printf("%d ", STTop(&st));//打印栈顶元素
		STPop(&st);//删除栈顶元素，其相邻元素成为栈顶元素，让下次打印的是新的栈顶元素
	}
	printf("\n");
	STPush(&st, 5);
	STPush(&st, 6);
	STPush(&st, 7);
	STPush(&st, 8);
	//重新插入四个元素
	printf("%d", STSize(&st));//计算栈内元素个数
	return 0;
}