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

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

一、引言

🎄栈(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--;
}

注意:

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

🍃查看栈顶元素

  • 对形参判空
  • 对栈判空
  • 返回top前一个位置的元素
// 获取栈顶元素 
STDataType StackTop(Stack* ps)
{
  assert(ps);
  assert(ps->top);
  return ps->a[ps->top-1];
}

🍃对栈判空

  • 对形参判空
  • 返回top==0的结果(因为这里top指向的是栈顶元素的下一个元素,所以栈空时top==0)
// 检测栈是否为空,如果为空返回非零结果,如果不为空返回0 
int StackEmpty(Stack* ps)
{
  assert(ps);
 
  return ps->top == 0;
}

🍃获取有效数据个数

  • 对形参判空
  • 返回top  (top对应的下标是栈顶的下一个元素,top就是元素的个数)
// 获取栈中有效元素个数 
int StackSize(Stack* ps)
{
  assert(ps);
 
  return ps->top;
}

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

stack.h 栈的头文件

#include<stdio.h>
#include<stdlib.h>
#include<assert.h>
 
// 支持动态增长的栈
typedef int STDataType;//对数据类型重命名,方便后期修改类型
typedef struct Stack
{
  STDataType* a;
  int top;    // 栈顶
  int capacity;  // 容量 
}Stack;//定义结构同时重命名
 
// 初始化栈 
void StackInit(Stack* ps);
// 入栈 
void StackPush(Stack* ps, STDataType data);
// 出栈 
void StackPop(Stack* ps);
// 获取栈顶元素 
STDataType StackTop(Stack* ps);
// 获取栈中有效元素个数 
int StackSize(Stack* ps);
// 检测栈是否为空,如果为空返回非零结果,如果不为空返回0 
int StackEmpty(Stack* ps);
// 销毁栈 
void StackDestroy(Stack* ps);

stack.c 栈的实现源文件

#include"stack.h"
 
// 初始化栈 
void StackInit(Stack* ps)
{
  assert(ps);
  ps->a = NULL;
  ps->top = ps->capacity = 0;
}
 
// 入栈 
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++;
}
 
// 出栈 
void StackPop(Stack* ps)
{
  assert(ps);
  assert(ps->top);
 
  ps->top--;
}
 
// 获取栈顶元素 
STDataType StackTop(Stack* ps)
{
  assert(ps);
  assert(ps->top);
  return ps->a[ps->top-1];
}
 
// 获取栈中有效元素个数 
int StackSize(Stack* ps)
{
  assert(ps);
 
  return ps->top;
}
 
// 检测栈是否为空,如果为空返回非零结果,如果不为空返回0 
int StackEmpty(Stack* ps)
{
  assert(ps);
 
  return ps->top == 0;
}
 
// 销毁栈 
void StackDestroy(Stack* ps)
{
  assert(ps);
  free(ps->a);
  ps->a = NULL;
  ps->top = ps->capacity = 0;
}

test.c  主函数测试文件

#include"stack.h"
 
void test1()
{
  Stack st ;
  StackInit(&st);
  if (StackEmpty(&st))
  {
    printf("栈空\n");
  }
  else
  {
    printf("栈非空\n");
  }
  StackPush(&st, 1);
  StackPush(&st, 2);
  StackPush(&st, 3);
  StackPush(&st, 4);
  if (StackEmpty(&st))
  {
    printf("栈空\n");
  }
  else
  {
    printf("栈非空\n");
  }
  printf("栈中元素个数:%d\n", StackSize(&st));
 
  printf("%d\n", StackTop(&st));
  StackPop(&st);
  printf("%d\n", StackTop(&st));
  StackPop(&st);
  printf("%d\n", StackTop(&st));
  StackPop(&st);
  printf("%d\n", StackTop(&st));
  StackPop(&st);
  if (StackEmpty(&st))
  {
    printf("栈空\n");
  }
  else
  {
    printf("栈非空\n");
  }
 
  StackDestroy(&st);
 
}
 
int main()
{
  test1();
 
  return 0;
}

测试结果

五、栈的应用

  1. 函数调用栈:在程序执行过程中,函数调用是通过栈来实现的。每个函数调用时,其返回地址、局部变量和参数等信息都会被压入栈中,当函数返回时,这些信息会被弹出栈。
  2. 表达式求值:在编译器中,表达式求值通常使用栈来实现。例如,在解析算术表达式时,可以使用两个栈:一个用于存储操作数,另一个用于存储操作符。
  3. 浏览器历史记录:浏览器的“前进”和“后退”功能通常使用栈来实现。用户浏览的网页会被压入栈中,当用户点击“后退”按钮时,会从栈中弹出并显示上一个网页。
  4. 撤销操作:在许多图形编辑器和文本编辑器中,撤销操作通常使用栈来实现。每次编辑操作(如剪切、复制、粘贴等)都会被压入一个撤销栈中,当用户点击“撤销”按钮时,会从栈中弹出并执行相反的操作以撤销上一次编辑。

六、总结

  1. 使用数组实现栈是一种简单且高效的方法,能够充分利用数组的特性来实现栈的基本操作。
  2. 在实际应用中,栈具有广泛的应用场景,如函数调用栈、浏览器的前进后退功能以及表达式求值等。 
相关文章
|
2月前
|
消息中间件 缓存 NoSQL
Redis各类数据结构详细介绍及其在Go语言Gin框架下实践应用
这只是利用Go语言和Gin框架与Redis交互最基础部分展示;根据具体业务需求可能需要更复杂查询、事务处理或订阅发布功能实现更多高级特性应用场景。
273 86
|
4月前
|
存储 监控 安全
企业上网监控系统中红黑树数据结构的 Python 算法实现与应用研究
企业上网监控系统需高效处理海量数据,传统数据结构存在性能瓶颈。红黑树通过自平衡机制,确保查找、插入、删除操作的时间复杂度稳定在 O(log n),适用于网络记录存储、设备信息维护及安全事件排序等场景。本文分析红黑树的理论基础、应用场景及 Python 实现,并探讨其在企业监控系统中的实践价值,提升系统性能与稳定性。
150 1
|
4月前
|
存储 监控 算法
公司员工泄密防护体系中跳表数据结构及其 Go 语言算法的应用研究
在数字化办公中,企业面临员工泄密风险。本文探讨使用跳表(Skip List)数据结构优化泄密防护系统,提升敏感数据监测效率。跳表以其高效的动态数据处理能力,为企业信息安全管理提供了可靠技术支持。
120 0
|
5月前
|
编译器 C语言 C++
栈区的非法访问导致的死循环(x64)
这段内容主要分析了一段C语言代码在VS2022中形成死循环的原因,涉及栈区内存布局和数组越界问题。代码中`arr[15]`越界访问,修改了变量`i`的值,导致`for`循环条件始终为真,形成死循环。原因是VS2022栈区从低地址到高地址分配内存,`arr`数组与`i`相邻,`arr[15]`恰好覆盖`i`的地址。而在VS2019中,栈区先分配高地址再分配低地址,因此相同代码表现不同。这说明编译器对栈区内存分配顺序的实现差异会导致程序行为不一致,需避免数组越界以确保代码健壮性。
116 0
栈区的非法访问导致的死循环(x64)
232.用栈实现队列,225. 用队列实现栈
在232题中,通过两个栈(`stIn`和`stOut`)模拟队列的先入先出(FIFO)行为。`push`操作将元素压入`stIn`,`pop`和`peek`操作则通过将`stIn`的元素转移到`stOut`来实现队列的顺序访问。 225题则是利用单个队列(`que`)模拟栈的后入先出(LIFO)特性。通过多次调整队列头部元素的位置,确保弹出顺序符合栈的要求。`top`操作直接返回队列尾部元素,`empty`判断队列是否为空。 两题均仅使用基础数据结构操作,展示了栈与队列之间的转换逻辑。
|
9月前
|
算法 调度 C++
STL——栈和队列和优先队列
通过以上对栈、队列和优先队列的详细解释和示例,希望能帮助读者更好地理解和应用这些重要的数据结构。
226 11
|
9月前
|
DataX
☀☀☀☀☀☀☀有关栈和队列应用的oj题讲解☼☼☼☼☼☼☼
### 简介 本文介绍了三种数据结构的实现方法:用两个队列实现栈、用两个栈实现队列以及设计循环队列。具体思路如下: 1. **用两个队列实现栈**: - 插入元素时,选择非空队列进行插入。 - 移除栈顶元素时,将非空队列中的元素依次转移到另一个队列,直到只剩下一个元素,然后弹出该元素。 - 判空条件为两个队列均为空。 2. **用两个栈实现队列**: - 插入元素时,选择非空栈进行插入。 - 移除队首元素时,将非空栈中的元素依次转移到另一个栈,再将这些元素重新放回原栈以保持顺序。 - 判空条件为两个栈均为空。
|
1月前
|
机器学习/深度学习 算法 机器人
【水下图像增强融合算法】基于融合的水下图像与视频增强研究(Matlab代码实现)
【水下图像增强融合算法】基于融合的水下图像与视频增强研究(Matlab代码实现)
185 0
|
1月前
|
数据采集 分布式计算 并行计算
mRMR算法实现特征选择-MATLAB
mRMR算法实现特征选择-MATLAB
140 2
|
2月前
|
传感器 机器学习/深度学习 编解码
MATLAB|主动噪声和振动控制算法——对较大的次级路径变化具有鲁棒性
MATLAB|主动噪声和振动控制算法——对较大的次级路径变化具有鲁棒性
192 3

热门文章

最新文章