[数据结构]—栈和队列

简介: [数据结构]—栈和队列

💓1.栈



💞1.栈的概念及结构


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

称为栈顶,另一端称为栈底。栈中的数据元素遵守后进先出LIFO(Last In First Out)的原则。

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

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

image.png

image.png

💞2.栈的实现


栈的实现一般可以使用数组或者链表实现,相对而言数组的结构实现更优一些。因为数组在尾上插入数据的代价比较小。

image.png

image.png

💞 3.代码实现

💘1.总体实现

1.栈的初始化

void STInit(ST* pst);

2.释放了动态数组中的空间

void STDestroy(ST* pst);

3.入栈操作

void STPush(ST* pst, STDataType x);

4. 栈顶元素删除

void STPop(ST* pst);

5.获取栈顶元素

STDataType STTop(ST* pst);

6.判断栈(ST)是否为空

bool STEmpty(ST* pst);

7.获取栈大小

int STSize(ST* pst);

💘2.详细解析

💔1.栈的初始化

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

这是一个栈的初始化函数,函数定义如下:

void STInit(ST* pst);

其中,ST是一个结构体类型,包含栈元素的数组指针a,栈的容量capacity,以及指向栈顶元素的下一个位置的指针top。

函数内部的实现如下:


assert(pst);  // 检查指针参数是否为NULL
pst->a = NULL;  // 初始化栈元素数组指针为NULL
pst->capacity = 0;  // 初始化栈的容量为0
// 表示top指向栈顶元素的下一个位置
pst->top = 0;
// 表示top指向栈顶元素
//pst->top = -1;


函数内部的注释提供了两种实现方式,表示top指针的指向方式:

pst->top = 0; 表示top指向栈顶元素的下一个位置。例如,初始状态下栈被认为是空的,因此top指向数组的第一个位置(即下标为0的位置)。

pst->top = -1; 表示top指向栈顶元素。例如,初始状态下栈被认为是空的,因此top指向数组最后一个位置(即下标为capacity-1的位置)。在这种情况下,当向栈中压入第一个元素时,需要先将top指向0,表示栈中有一个元素,而不是-1。

💔2.释放了动态数组中的空间

void STDestroy(ST* pst)
{
  assert(pst);
  free(pst->a);
  pst->a = NULL;
  pst->top = pst->capacity = 0;
}

该函数释放了动态数组中的空间,并将栈中保存的指针置为 NULL,防止出现悬挂指针的情况。

具体分析:

assert(pst);

该语句使用 assert 宏函数判断传入的指针 pst 是否为空,如果为空将会出现错误。

free(pst->a);

该语句使用 free 函数释放了动态数组 a 所占用的空间。

pst->a = NULL;

将栈中保存的数组指针 a 置为 NULL,防止出现悬挂指针的情况。

pst->top = pst->capacity = 0;

将栈中保存的元素数量 top 和数组容量 capacity 置为 0,表示栈已经被清空了。

💔3.入栈操作

该函数用于将元素x压入栈中。

函数中的assert(pst)用于确保输入的栈指针pst不为空。

当栈已满时,需要重新分配更大的内存空间以存储更多的元素。在这里,使用动态内存分配函数realloc()来重新分配空间。如果分配失败,则会输出错误信息并返回。

当空间分配成功后,元素x将被添加到栈的顶部,pst->top会自增,表示该栈顶指针已向上移动一位。

最后,该函数会在操作完成后返回。


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++;
}

💔4. 栈顶元素删除

首先使用assert宏函数对传入的指针pst进行断言,确保其不为空。然后再次使用assert宏函数,判断栈顶指针top是否大于0,确保栈中有元素可以弹出。最后将top指针减1,实现弹出栈顶元素的操作。

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

💔 5.获取栈顶元素

首先使用断言(assert)判断指针是否为空,如果为空则程序会崩溃。

接着判断栈顶是否大于0,如果不大于0则说明栈中无元素,也会导致程序崩溃。

最后返回栈顶元素,由于是取栈顶元素,所以要使用栈顶指针(top)减1来访问栈顶元素。

STDataType STTop(ST* pst)
{
  assert(pst);
  // 不为空
  assert(pst->top > 0);
  return pst->a[pst->top - 1];
}

💔6.判断栈(ST)是否为空

函数中的参数 pst 是一个指向栈的指针,使用 assert 宏对其进行断言,确保其不为空。

这个函数主要通过判断栈顶指针(top)是否为 0 来确定栈是否为空。如果 top 等于 0,那么栈中没有任何元素,函数返回 true,表示栈为空;否则返回 false,表示栈中还有元素。

STDataType STTop(ST* pst)
{
  assert(pst);
  // 不为空
  assert(pst->top > 0);
  return pst->a[pst->top - 1];
}

💔7.获取栈大小

栈的大小是指当前栈中元素的数量。

参数pst是一个指向栈的指针,函数内部调用了assert(pst)来判断指针是否为空,如果为空则直接终止程序的执行。

函数返回值为栈的大小,即栈顶指针top的值。在使用该函数之前,需要确保栈已经被初始化。

int STSize(ST* pst)
{
  assert(pst);
  return pst->top;
}

💘3.整体代码

💔1.Stack.h

#pragma once
#include<stdio.h>
#include<assert.h>
#include<stdlib.h>
#include<stdbool.h>
typedef int STDataType;
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);

💔2.Stach.c

#include"Stack.h"
void STInit(ST* pst)
{
  assert(pst);
  pst->a = NULL;
  pst->capacity = 0;
  // 表示top指向栈顶元素的下一个位置
  pst->top = 0;
  // 表示top指向栈顶元素
  //pst->top = -1;
}
void STDestroy(ST* pst)
{
  assert(pst);
  free(pst->a);
  pst->a = NULL;
  pst->top = pst->capacity = 0;
}
// 栈顶插入删除
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--;
}
STDataType STTop(ST* pst)
{
  assert(pst);
  // 不为空
  assert(pst->top > 0);
  return pst->a[pst->top - 1];
}
bool STEmpty(ST* pst)
{
  assert(pst);
  /*if (pst->top == 0)
  {
  return true;
  }
  else
  {
  return false;
  }*/
  return pst->top == 0;
}
int STSize(ST* pst)
{
  assert(pst);
  return pst->top;
}

💔3.test.c

#include"Stack.h"
int main()
{
  ST s;
  STInit(&s);
  STPush(&s, 1);
  STPush(&s, 2);
  STPush(&s, 3);
  printf("%d ", STTop(&s));
  STPop(&s);
  printf("%d ", STTop(&s));
  STPop(&s);
  STPush(&s, 4);
  STPush(&s, 5);
  //    一     对     多
  // 入栈顺序  --  出栈顺序
  while (!STEmpty(&s))
  {
  printf("%d ", STTop(&s));
  STPop(&s);
  }
  printf("\n");
  return 0;
}

💓2.队列



💞1.队列的概念及结构


队列:只允许在一端进行插入数据操作,在另一端进行删除数据操作的特殊线性表,队列具有先进先出

FIFO(First In First Out) 入队列:进行插入操作的一端称为队尾 出队列:进行删除操作的一端称为队头

image.png

💞2.队列的实现


队列也可以数组和链表的结构实现,使用链表的结构实现更优一些,因为如果使用数组的结构,出队列在数组头上出数据,效率会比较低。

image.png

💞3.代码实现

💘1.总体实现

void QueueInit(Queue* pq);

void QueueDestroy(Queue* pq);

void QueuePush(Queue* pq, QDataType x);

void QueuePop(Queue* pq);

QDataType QueueFront(Queue* pq);

QDataType QueueBack(Queue* pq);

bool QueueEmpty(Queue* pq);

int QueueSize(Queue* pq);

💘2. 详细解析

💔1.初始化队列

参数是一个指向Queue结构体的指针。

首先利用assert()函数检查pq指针是否为空,若为空则程序会终止运行,避免出现不可预知的错误。

然后,将队列的头指针phead和尾指针ptail都置为空,即队列初始时是空的。队列的大小size也被初始化为0,表示队列中没有元素。

整个函数的逻辑比较简单,主要目的是将队列的各个成员变量初始化为合适的初始值,以便后续实现队列的相关操作。

void QueueInit(Queue* pq)
{
  assert(pq);
  pq->phead = pq->ptail = NULL;
  pq->size = 0;
}

💔2.销毁队列

参数是一个指向队列的指针。

首先,使用 assert 函数检查指针 pq 是否为空,如果为空则程序直接终止。

然后,定义一个指针 cur 指向队列头部元素。使用 while 循环,遍历整个队列:将 cur 的下一个元素指向 next,再将 cur 释放掉。cur 等于 next,继续遍历。 最后将队列的头部指针 pq->phead 和尾部指针 pq->ptail 都指向 NULL,队列大小 pq->size 置为 0。

这个函数的作用是遍历整个队列,逐个释放节点所占用的空间,防止内存泄漏。


void QueueDestroy(Queue* pq)
{
  assert(pq);
  QNode* cur = pq->phead;
  while (cur)
  {
  QNode* next = cur->next;
  free(cur);
  cur = next;
  }
  pq->phead = pq->ptail = NULL;
  pq->size = 0;
}

💔3.往队列中插入一个元素

函数参数说明:

- pq:指向队列的指针,需要保证指针非空。

- x:插入队列的元素值。

函数实现:

1. 判断指向队列的指针是否为空,如果为空,则直接返回。

2. 申请一个新节点,并判断申请是否成功。如果申请失败,则打印错误信息并返回。

3. 设置新节点的值为要插入的元素值x,将新节点的next指针置为NULL。

4. 如果队列为空,则将队列的头指针和尾指针都指向新节点。

5. 如果队列非空,则将尾节点的next指针指向新节点,然后将尾节点指针指向新节点。

6. 更新队列的元素数量。

7. 函数结束。


void QueuePush(Queue* pq, QDataType x)
{
  assert(pq);
  QNode* newnode = (QNode*)malloc(sizeof(QNode));
  if (newnode == NULL)
  {
  perror("malloc fail");
  return;
  }
  newnode->val = x;
  newnode->next = NULL;
  if (pq->ptail == NULL)
  {
  pq->ptail = pq->phead = newnode;
  }
  else
  {
  pq->ptail->next = newnode;
  pq->ptail = newnode;
  }
  pq->size++;
}

💔4.队列的出队

第一行代码使用断言(assert)来确保队列指针pq的非空性,若为空则会停止程序运行。

第二行代码使用断言(assert)来确保队列头指针(pq->phead)的非空性,若为空则会停止程序运行。

第三行代码定义一个结构体指针del,用来指向将要被删除的节点。

第四行代码将队列头指针(pq->phead)指向下一个节点,即将队头出队,并将该节点的内存释放。

第五至八行代码判断队列是否为空队列,如果是则将队尾指针(pq->ptail)也置为空指针,否则不需要做任何操作。

最后一行代码将队列的大小(size)减少1。


void QueuePop(Queue* pq)
{
  assert(pq);
  // 
  assert(pq->phead);
  QNode* del = pq->phead;
  pq->phead = pq->phead->next;
  free(del);
  del = NULL;
  if (pq->phead == NULL)
  pq->ptail = NULL;
  pq->size--;
}

💔5.获取队列头部元素

输入参数为一个指向队列的指针pq,返回值为队列头部元素的值。其中使用了assert宏来进行断言,确保pq和pq->phead都不为NULL,如果其中任意一个为NULL则会触发断言失败,程序会崩溃。最后返回pq->phead的值。


QDataType QueueFront(Queue* pq)
{
  assert(pq);
  // 
  assert(pq->phead);
  return pq->phead->val;
}

💔6.获取队列最后一个元素

函数签名说明:

QDataType是一个数据类型,用于表示队列中元素的类型;

Queue是一个结构体类型,表示队列;

Queue* pq表示指向队列的指针。

函数实现:

首先,使用assert()宏函数对传入的参数进行断言处理,确保指针pq和队列的尾指针ptail都不为空。

然后,返回队列尾部节点(即最后一个元素)的值,即pq->ptail->val。由于队列的尾指针指向的就是队列的尾部节点,所以可以直接通过ptail获取队列尾部节点的值。

整个函数逻辑简单,实现了获取队列最后一个元素的功能。


QDataType QueueBack(Queue* pq)
{
  assert(pq);
  // 
  assert(pq->ptail);
  return pq->ptail->val;
}

💔7.判断队列是否为空

参数pq是一个指向Queue类型的指针,assert(pq)用于判断pq是否为空。函数返回队列的头节点是否为空,如果为空则队列为空,返回true;否则返回false。

bool QueueEmpty(Queue* pq)
{
  assert(pq);
  return pq->phead == NULL;
}

💔8.获取队列当前元素数量

它接受一个指向队列结构体的指针作为参数。

第一行使用了assert宏,它会检查参数pq是否为空指针,如果是则程序会中止运行并输出错误信息。

第三行直接返回队列结构体中的size成员,即队列当前的元素数量。

int QueueSize(Queue* pq)
{
  assert(pq);
  return pq->size;
}

💘3.整体代码


💔1.Queue.h

#pragma once
#include<stdio.h>
#include<assert.h>
#include<stdlib.h>
#include<stdbool.h>
typedef int QDataType;
typedef struct QueueNode
{
  QDataType val;
  struct QueueNode* next;
}QNode;
typedef struct Queue
{
  QNode* phead;
  QNode* ptail;
  int size;
}Queue;
void QueueInit(Queue* pq);
void QueueDestroy(Queue* pq);
void QueuePush(Queue* pq, QDataType x);
void QueuePop(Queue* pq);
QDataType QueueFront(Queue* pq);
QDataType QueueBack(Queue* pq);
bool QueueEmpty(Queue* pq);
int QueueSize(Queue* pq);

💔2.Queue.c

#include"Queue.h"
void QueueInit(Queue* pq)
{
  assert(pq);
  pq->phead = pq->ptail = NULL;
  pq->size = 0;
}
void QueueDestroy(Queue* pq)
{
  assert(pq);
  QNode* cur = pq->phead;
  while (cur)
  {
  QNode* next = cur->next;
  free(cur);
  cur = next;
  }
  pq->phead = pq->ptail = NULL;
  pq->size = 0;
}
void QueuePush(Queue* pq, QDataType x)
{
  assert(pq);
  QNode* newnode = (QNode*)malloc(sizeof(QNode));
  if (newnode == NULL)
  {
  perror("malloc fail");
  return;
  }
  newnode->val = x;
  newnode->next = NULL;
  if (pq->ptail == NULL)
  {
  pq->ptail = pq->phead = newnode;
  }
  else
  {
  pq->ptail->next = newnode;
  pq->ptail = newnode;
  }
  pq->size++;
}
// 17:10
void QueuePop(Queue* pq)
{
  assert(pq);
  // 
  assert(pq->phead);
  QNode* del = pq->phead;
  pq->phead = pq->phead->next;
  free(del);
  del = NULL;
  if (pq->phead == NULL)
  pq->ptail = NULL;
  pq->size--;
}
QDataType QueueFront(Queue* pq)
{
  assert(pq);
  // 
  assert(pq->phead);
  return pq->phead->val;
}
QDataType QueueBack(Queue* pq)
{
  assert(pq);
  // 
  assert(pq->ptail);
  return pq->ptail->val;
}
bool QueueEmpty(Queue* pq)
{
  assert(pq);
  return pq->phead == NULL;
}
int QueueSize(Queue* pq)
{
  assert(pq);
  return pq->size;
}

💔3.Test.c

#include"Queue.h"
int main()
{
  Queue q;
  QueueInit(&q);
  QueuePush(&q, 1);
  QueuePush(&q, 2);
  QueuePush(&q, 3);
  printf("%d ", QueueFront(&q));
  QueuePop(&q);
  printf("%d ", QueueFront(&q));
  QueuePop(&q);
相关文章
|
6月前
|
前端开发 Java
java实现队列数据结构代码详解
本文详细解析了Java中队列数据结构的实现,包括队列的基本概念、应用场景及代码实现。队列是一种遵循“先进先出”原则的线性结构,支持在队尾插入和队头删除操作。文章介绍了顺序队列与链式队列,并重点分析了循环队列的实现方式以解决溢出问题。通过具体代码示例(如`enqueue`入队和`dequeue`出队),展示了队列的操作逻辑,帮助读者深入理解其工作机制。
178 1
|
4月前
|
编译器 C语言 C++
栈区的非法访问导致的死循环(x64)
这段内容主要分析了一段C语言代码在VS2022中形成死循环的原因,涉及栈区内存布局和数组越界问题。代码中`arr[15]`越界访问,修改了变量`i`的值,导致`for`循环条件始终为真,形成死循环。原因是VS2022栈区从低地址到高地址分配内存,`arr`数组与`i`相邻,`arr[15]`恰好覆盖`i`的地址。而在VS2019中,栈区先分配高地址再分配低地址,因此相同代码表现不同。这说明编译器对栈区内存分配顺序的实现差异会导致程序行为不一致,需避免数组越界以确保代码健壮性。
75 0
栈区的非法访问导致的死循环(x64)
232.用栈实现队列,225. 用队列实现栈
在232题中,通过两个栈(`stIn`和`stOut`)模拟队列的先入先出(FIFO)行为。`push`操作将元素压入`stIn`,`pop`和`peek`操作则通过将`stIn`的元素转移到`stOut`来实现队列的顺序访问。 225题则是利用单个队列(`que`)模拟栈的后入先出(LIFO)特性。通过多次调整队列头部元素的位置,确保弹出顺序符合栈的要求。`top`操作直接返回队列尾部元素,`empty`判断队列是否为空。 两题均仅使用基础数据结构操作,展示了栈与队列之间的转换逻辑。
|
9月前
|
存储 C语言 C++
【C++数据结构——栈与队列】顺序栈的基本运算(头歌实践教学平台习题)【合集】
本关任务:编写一个程序实现顺序栈的基本运算。开始你的任务吧,祝你成功!​ 相关知识 初始化栈 销毁栈 判断栈是否为空 进栈 出栈 取栈顶元素 1.初始化栈 概念:初始化栈是为栈的使用做准备,包括分配内存空间(如果是动态分配)和设置栈的初始状态。栈有顺序栈和链式栈两种常见形式。对于顺序栈,通常需要定义一个数组来存储栈元素,并设置一个变量来记录栈顶位置;对于链式栈,需要定义节点结构,包含数据域和指针域,同时初始化栈顶指针。 示例(顺序栈): 以下是一个简单的顺序栈初始化示例,假设用C语言实现,栈中存储
366 77
|
8月前
|
算法 调度 C++
STL——栈和队列和优先队列
通过以上对栈、队列和优先队列的详细解释和示例,希望能帮助读者更好地理解和应用这些重要的数据结构。
190 11
|
8月前
|
DataX
☀☀☀☀☀☀☀有关栈和队列应用的oj题讲解☼☼☼☼☼☼☼
### 简介 本文介绍了三种数据结构的实现方法:用两个队列实现栈、用两个栈实现队列以及设计循环队列。具体思路如下: 1. **用两个队列实现栈**: - 插入元素时,选择非空队列进行插入。 - 移除栈顶元素时,将非空队列中的元素依次转移到另一个队列,直到只剩下一个元素,然后弹出该元素。 - 判空条件为两个队列均为空。 2. **用两个栈实现队列**: - 插入元素时,选择非空栈进行插入。 - 移除队首元素时,将非空栈中的元素依次转移到另一个栈,再将这些元素重新放回原栈以保持顺序。 - 判空条件为两个栈均为空。
|
9月前
|
存储 C++ 索引
【C++数据结构——栈与队列】环形队列的基本运算(头歌实践教学平台习题)【合集】
【数据结构——栈与队列】环形队列的基本运算(头歌实践教学平台习题)【合集】初始化队列、销毁队列、判断队列是否为空、进队列、出队列等。本关任务:编写一个程序实现环形队列的基本运算。(6)出队列序列:yzopq2*(5)依次进队列元素:opq2*(6)出队列序列:bcdef。(2)依次进队列元素:abc。(5)依次进队列元素:def。(2)依次进队列元素:xyz。开始你的任务吧,祝你成功!(4)出队一个元素a。(4)出队一个元素x。
292 13
【C++数据结构——栈与队列】环形队列的基本运算(头歌实践教学平台习题)【合集】
|
9月前
|
C++
【C++数据结构——栈和队列】括号配对(头歌实践教学平台习题)【合集】
【数据结构——栈和队列】括号配对(头歌实践教学平台习题)【合集】(1)遇到左括号:进栈Push()(2)遇到右括号:若栈顶元素为左括号,则出栈Pop();否则返回false。(3)当遍历表达式结束,且栈为空时,则返回true,否则返回false。本关任务:编写一个程序利用栈判断左、右圆括号是否配对。为了完成本关任务,你需要掌握:栈对括号的处理。(1)遇到左括号:进栈Push()开始你的任务吧,祝你成功!测试输入:(()))
204 7
|
11月前
|
C语言
【数据结构】栈和队列(c语言实现)(附源码)
本文介绍了栈和队列两种数据结构。栈是一种只能在一端进行插入和删除操作的线性表,遵循“先进后出”原则;队列则在一端插入、另一端删除,遵循“先进先出”原则。文章详细讲解了栈和队列的结构定义、方法声明及实现,并提供了完整的代码示例。栈和队列在实际应用中非常广泛,如二叉树的层序遍历和快速排序的非递归实现等。
924 9
|
11月前
|
存储 算法
非递归实现后序遍历时,如何避免栈溢出?
后序遍历的递归实现和非递归实现各有优缺点,在实际应用中需要根据具体的问题需求、二叉树的特点以及性能和空间的限制等因素来选择合适的实现方式。
237 59

热门文章

最新文章