【数据结构与算法】使用数组实现栈：原理、步骤与应用

            💓 博客主页：倔强的石头的CSDN主页

           📝Gitee主页：倔强的石头的gitee主页

⏩ 文章专栏：《数据结构与算法》

    期待您的关注

一、引言

🎄栈（Stack）是什么？

🎄为什么使用数组实现栈？

二、定义栈结构

🎄栈的结构

🎄栈顶位置的指向

三、实现栈的基本操作

🍃初始化

🍃销毁

🍃入栈

🍃出栈

🍃查看栈顶元素

🍃对栈判空

🍃获取有效数据个数

四、使用数组实现栈的C语言代码

stack.h 栈的头文件

stack.c 栈的实现源文件

test.c 主函数测试文件

测试结果

五、栈的应用

六、总结

一、引言

🎄栈（Stack）是什么？

栈是一种后进先出（LIFO, Last In First Out）的数据结构。
栈是一种只能在一端进行插入和删除操作的线性表。
允许进行插入和删除操作的一端称为栈顶（top），另一端称为栈底（bottom）。
栈中没有元素时，称为空栈。
栈的基本操作包括：push（入栈）、pop（出栈）、peek（查看栈顶元素）和isEmpty（判断栈是否为空）等。

🎄为什么使用数组实现栈？

数组是一种线性数据结构，能够连续存储数据，且通过索引可以方便地访问任意位置的元素。
因为栈只在栈顶增删，所以基于数组实现，既避免了插入需要移动数据的劣势，又保持了数组访问数据的优势，可以实现高效的栈操作。

二、定义栈结构

🎄栈的结构

指向数组的指针（动态开辟的空间）
标记栈顶位置的变量 top
标记栈的大小的变量 capacity

// 支持动态增长的栈
typedef int STDataType;//对数据类型重命名，方便后期修改类型
typedef struct Stack
{
	STDataType* a;
	int top;		// 栈顶
	int capacity;  // 容量 
}Stack;//定义结构同时重命名

🎄栈顶位置的指向

需要注意的是：top的指向应该始终保持一致性

1.如果top指向栈顶元素，初始不能为0，应该指向-1

2.如果top初始为0，其应该指向栈顶元素的下一个元素

对应的判定栈满和栈空有所不同

三、实现栈的基本操作

🍃初始化

对形参判空
数组指针初始指向空
top和capacity初始化为0（这里top指向的是栈顶元素的下一个位置）

// 初始化栈 
void StackInit(Stack* ps)
{
	assert(ps);
	ps->a = NULL;
	ps->top = ps->capacity = 0;
}

🍃销毁

对形参判空
释放数组空间
数组指针指向空
top和capacity改为0

// 销毁栈 
void StackDestroy(Stack* ps)
{
	assert(ps);
	free(ps->a);
	ps->a = NULL;
	ps->top = ps->capacity = 0;
}

🍃入栈

判空
判断是否需要扩容（top和capacity相等）
扩容步骤: 空间二倍增长，更新数组指针和容量

数据插入到top位置，top位置++

// 入栈 
void StackPush(Stack* ps, STDataType data)
{
	assert(ps);
	//判断是否需要扩容
	if (ps->top == ps->capacity)
	{
		int newcapa = ps->capacity == 0 ? 4 : 2 * (ps->capacity);
		STDataType* tmp = (STDataType*)realloc(ps->a, sizeof(STDataType) * newcapa);
		if (tmp == NULL)
		{
			perror("realloc\n");
			exit(1);
		}
		ps->a = tmp;
		ps->capacity = newcapa;
	}
	//确定空间足够之后再插入数据
	ps->a[ps->top] = data;
	ps->top++;
}

🍃出栈

对形参判空
对栈判空
top--

（该方法对于栈只存在一个元素的情况也可以正确处理）

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

	ps->top--;
}

注意：

即使函数只有一两条语句也还是建议封装成函数，这样可以提高程序的可维护性和可读性