数据结构-栈的概念与实现讲解

目录

栈的概念：

顺序栈的实现：

1.顺序栈的初始化与销毁：

2.顺序栈的插入删除：

3.顺序栈的其他功能：

4.测试用例及注意事项：

---

栈的概念：

        栈：一种特殊的线性表，其只允许在固定的一端进行插入和删除元素操作。

        进行数据插入和删除操作的一端 称为栈顶，另一端称为栈底。栈中的数据元素遵守后进先出的原则。

概念图如下：

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

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

        对于栈实现的功能来讲，后进先出，就相当于尾插尾删，而在实现上显然用数组实现尾插尾删更为方便一些，所以下面为实现顺序栈，当然用链式结构也一样可以达到相同的效果，只不过二者相比数组栈的实现更为简便一些。

顺序栈的实现：

首先是头文件的定义：

typedef struct Stack
{
	STDataType* a;
	int top;		// 标识栈顶位置
	int capacity;	//容量
}ST;

// 栈的初始化与销毁
void STInit(ST* pst);
void STDestroy(ST* pst);

// 栈顶插入删除
void STPush(ST* pst, STDataType x);
void STPop(ST* pst);

// 返回栈顶元素
STDataType STTop(ST* pst);

// 判断栈是否为空
bool STEmpty(ST* pst);

//返回栈中存储的元素个数
int STSize(ST* pst);

1.顺序栈的初始化与销毁：

初始化：

        在进行顺序栈的初始化时需要注意的是如下top的定义，为了避免会混淆栈数组下标概念的情况可以将top定义为0，表示指向栈顶元素的下一个位置，或者定义为-1，表示top指向栈顶元素。不同的定义在进行其他操作时注意也要对返回结果进行相应的更改。

销毁：

        在进行顺序栈的销毁时只需注意置空pst->a，避免出现野指针即可。

// 初始化
void STInit(ST* pst)
{
	assert(pst);

	pst->a = NULL;
	pst->capacity = 0;
	pst->top = 0;    //指向栈顶元素的下一个位置

} 

// 销毁
void STDestroy(ST* pst)
{
	assert(pst);

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

2.顺序栈的插入删除：

        实现顺序栈的插入删除操作实际上就是复现顺序表的尾插尾删操作，需要注意的点几乎相同。

// 插入
void STPush(ST* pst, STDataType x)
{
	assert(pst);

	if (pst->top == pst->capacity)
	{
		int newcapacity = pst->capacity == 0 ? 4 : pst->capacity * 2;
		STDataType* tmp = (STDataType*)realloc(pst->a, sizeof(STDataType) * newcapacity);
		if (tmp == NULL)
		{
			perror("realloc fail");
			return;
		}

		pst->a = tmp;
		pst->capacity = newcapacity;
	}

	pst->a[pst->top] = x;
	pst->top++;
}

// 删除
void STPop(ST* pst)
{
	assert(pst);
	assert(pst->top > 0);

	pst->top--;
}

3.顺序栈的其他功能：

返回栈顶元素：

        返回栈顶元素时需要确保栈中有元素才能返回，因为在定义时top是指向栈顶元素的下一个，所以在返回栈顶元素时需要top-1。

判空：

        判空时可以直接简化如下，结果为：如果栈为空返回非零结果，如果栈不为空返回0。

返回栈中的元素个数：

        返回顺序栈中元素的个数实际上就是返回top即可，因为在定义时定义的时top指向栈顶元素的下一个，对应数组中最后一个元素的下标+1，也就是数组元素的个数。

// 返回栈顶元素
STDataType STTop(ST* pst)
{
	assert(pst);
	assert(pst->top > 0);

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

// 判别栈是否为空
bool STEmpty(ST* pst)
{
	assert(pst);
	return pst->top == 0;
}

// 返回栈里元素的个数
int STSize(ST* pst)
{
	assert(pst);

	return pst->top;
}

4.测试用例及注意事项：

void test1()
{
	ST s;
	STInit(&s);
	// 压栈
	STPush(&s, 1);
	STPush(&s, 2);
	STPush(&s, 3);
	STPush(&s, 4);
	STPush(&s, 5);
	while (!STEmpty(&s))
	{
		// 出栈
		printf("%d ", STTop(&s));
		STPop(&s);
	}
	printf("\n");
}

注意事项：

栈的后进先出原则是相对的，如果是1，2，3(取出删除)，4，5。则打印是35421。入栈顺序和出栈顺序是一对多的关系，入栈只有一种方式，而出栈是多种。