【数据结构】栈详解

1、什么是栈

1.1栈的概念及结构

栈：只允许在固定的一端进行插入和删除元素操作的特殊线性表。进行数据插入和删除操作的一端称为栈顶，另一端称为栈底。栈中元素遵循后进先出LIFO（Last In First Out）的原则。
压栈：栈的插入操作叫做进栈/压栈/入栈，入数据在栈顶。
出栈：栈的删除操作叫做出栈，出数据也在栈顶。

2、栈的实现

2.1栈的结构

从结构角度看，栈既可以使用顺序表也可以使用链表实现。
但是从实现角度观察，我们最优选择是顺序表。

原因：

1. 栈只对栈顶的元素进行操作，由此可知顺序表的表尾可以作为栈顶，效率O(1))不比链表差。
2. 顺序表支持随机访问，且其缓存利用率更高。

2.2创建结构体

结构体内的top值，代表的是栈顶元素下标，在使用时需要注意其位置。
若top下标为栈顶的下一个位置时，在压栈结束后，top++；
若top下标为栈顶位置时，先++top，再压栈。
否则top值会失去其意义。

//创建结构体
typedef int STDataType;
typedef struct Stack
{
	STDataType* a; //栈
	int capacity;  //容量
	int top;       //栈顶位置下标
}ST;

2.3栈接口

//初始化
void StackInit(ST* ps);
//销毁
void StackDestroy(ST* ps);
//压栈
void StackPush(ST* ps, STDataType x);
//出栈
void StackPop(ST* ps);
//获取栈顶元素
STDataType StackTop(ST* ps);
//判空
bool StackEmpty(ST* ps);
//获取栈中有效元素个数
STDataType StackSize(ST* ps);

2.4初始化栈

//初始化
void StackInit(ST* ps)
{
	assert(ps);

	//方式1
	ps->a = (STDataType*)malloc(sizeof(STDataType)*4); //申请栈初始空间
	if (ps->a == NULL)
	{
		perror("malloc fail");
		exit(-1);
	}
	ps->capacity = 4; //初始容量
	ps->top = 0;      //栈中无元素，为0
	//方式2
	//ps->top = 0;
	//ps->capcity = 0;
	//ps->st = NULL;
}

方式1：初始化时，便向内存申请空间；
方式2：初始化容量为0，存放数据的数组置空，入栈时再赋值，开辟空间。

2.5压栈

压栈时，首先需要判断栈空间是否有空余，否则扩容，每增加一个元素，栈顶位置需要移动（上移）一位。

//压栈
void StackPush(ST* ps, STDataType x)
{
	assert(ps);

	//扩容
	if (ps->top == ps->capacity)
	{
		STDataType* tmp = (STDataType*)realloc(ps->a, ps->capacity * 2 * sizeof(STDataType));
		if (tmp == NULL)
		{
			perror("realloc fail");
			exit(-1);
		}
		ps->a = tmp;
		ps->capacity *= 2;
	}
	ps->a[ps->top] = x; //栈顶存放x
	ps->top++;   		
}

2.6出栈

出栈操作只需要将栈顶位置下移即可，但是需要判断栈内是否有元素。这样操作后再压栈会将之前的数据覆盖掉。

//出栈
void StackPop(ST* ps)
{
	assert(ps);
	assert(ps->top > 0);

	ps->top--;
}

2.7获取栈顶元素

//获取栈顶元素
STDataType StackTop(ST* ps)
{
	assert(ps);
	assert(!StackEmpty(ps));

	return ps->a[ps->top - 1]; //返回值需注意top所在的下标位置
}

2.8检查栈是否为空

//判空
bool StackEmpty(ST* ps)
{
	assert(ps);

	return ps->top == 0; //直接判断栈顶位置是否为0
}

2.9获取栈中有效元素个数

//元素个数
STDataType StackSize(ST* ps)
{
	assert(ps);

	return ps->top; //栈顶是多少，元素个数就是多少
}

2.10销毁栈

栈的 内存空间是向内存申请的，所以需要释放，否则会发生内存泄漏。

//销毁
void StackDestroy(ST* ps)
{
	assert(ps);

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