揭开线性表的神秘面纱 —— 栈与队列

目录

1. 栈

1.1 栈的概念

 1.2 栈的实现

接口函数

函数剖析

结构体的定义

入栈操作

​编辑

代码 

2. 队列 

1.1 队列的概念

1.2 队列的实现 

接口函数

函数剖析

结构体的定义

队尾入队列

​编辑 销毁队列

代码

---

1. 栈

1.1 栈的概念

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

下图是压栈与出栈的过程图：

 1.2 栈的实现

我们需要始终谨记栈的后进先出原则，然后实现基于该原则的栈的增删查改。

实现栈我们有两种选择，顺序表实现与链表实现。

栈的结构要求：只能访问栈顶元素，只能在栈顶增删元素，也就是在表尾增删元素。

由于顺序表在表尾插入元素的代价更小，我们选择使用动态增长的顺序表实现栈。

接口函数

// 初始化栈 
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); 

函数剖析

结构体的定义

我们定义的top指向栈顶元素的下一个，因此top实际上等同于元素个数。

入栈操作

由于该栈的本体是顺序表，因此入栈之前需要先检测是否还有空间，如果没有空间则扩容，有空间进行顺序表的尾插。一定记得top最后依旧要指向栈顶元素的下一个。

代码 

typedef int STDataType;
typedef struct Stack
{
	STDataType* a;
	int top;		// 栈顶，即数据个数
	int capacity;  // 容量 
}Stack;
// 初始化栈 
void StackInit(Stack* ps)
{
	assert(ps);
	ps->a = NULL;
	ps->capacity = 0;
	ps->top = 0;//top指向栈顶元素的下一个
}

// 入栈 
void StackPush(Stack* ps, STDataType data)
{
	assert(ps);
	if (ps->top == ps->capacity)
	{
		//容量为0赋值4，否则二倍
		int newcapacity =ps->capacity== 0 ? 4 : (ps->capacity) * 2;
		//开辟相应容量大小的数组空间
		STDataType* tmp = realloc(ps->a, sizeof(STDataType) * newcapacity);
		//判断开辟空间是否成功
		assert(tmp);
		ps->capacity = newcapacity;
		ps->a = tmp;
		printf("扩容成功\n");
	}
	ps->a[ps->top] = data;
	ps->top++;//压栈
}
// 出栈 
void StackPop(Stack* ps)
{
	assert(ps);
	assert(ps->top > 0);//栈不为空
	ps->top--;
}
// 获取栈顶元素 
STDataType StackTop(Stack* ps)
{
	assert(ps);
	assert(ps->top>0);//栈不为空
	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;
}
// 销毁栈 
void StackDestroy(Stack* ps)
{
	assert(ps);
	ps->top = 0;
	ps->capacity = 0;
	free(ps->a);
	ps->a = NULL;
}

由于栈后进先出的原则，所以我们在访问数据时只能访问栈顶元素，不能像顺序表一样访问。如下图的打印操作就是错的。

2. 队列 

1.1 队列的概念

队列：只允许在一端进行插入数据操作，在另一端进行删除数据操作的特殊线性表，队列具有先进先出FIFO(First In First Out) 入队列：进行插入操作的一端称为队尾 出队列：进行删除操作的一端称为队头。

1.2 队列的实现 

 队列正如我们在餐厅排队买饭一样，队尾进人，队头走人。藉由队列结构先进先出的原则，我们使用单链表来实现队列。因为顺序表表头的删除需要挪动后面的所有元素。

接口函数

void QueuePrint(Queue* q);
// 初始化队列 
void QueueInit(Queue* q);
// 队尾入队列 
void QueuePush(Queue* q, QDataType data);
// 队头出队列 
void QueuePop(Queue* q);
// 获取队列头部元素 
QDataType QueueFront(Queue* q);
// 获取队列队尾元素 
QDataType QueueBack(Queue* q);
// 获取队列中有效元素个数 
int QueueSize(Queue* q);
// 检测队列是否为空，如果为空返回非零结果，如果非空返回0 
int QueueEmpty(Queue* q);
// 销毁队列 
void QueueDestroy(Queue* q);

函数剖析

在上面的接口函数中，有一些函数比较复杂，我们一起来看一看。

所谓队尾入队列实际就是链表的尾插，队头出队列是链表的头删。

结构体的定义

首先我们看看队列的结构定义：由于我们借由单链表实现队列，所以需要结构体的嵌套，队列的实现是基于单链表的结构，而后使用两个指针的操作达成队列的特性。

队尾入队列

入队的时候，我们需要创建一个新的节点尾插到队列上，注意区分队列是否为空。

 销毁队列

销毁队列时，由于队列的每一个节点都是malloc出来的，所以我们需要逐一销毁。

代码

typedef struct QListNode
{
	struct QListNode* next;
	QDataType data;
}QNode;

// 队列的结构 
typedef struct Queue
{
	QNode* front;
	QNode* rear;
	int size;
}Queue;
// 初始化队列 
void QueueInit(Queue* q)
{
	assert(&q);
	q->front = NULL;
	q->rear = NULL;
	q->size = 0;
}
//队尾入队列 
void QueuePush(Queue *q, QDataType data)
{
	assert(q);
	QNode* newnode = (QNode*)malloc(sizeof(QNode));
	assert(newnode);
	newnode->data = data;
	newnode->next = NULL;
	if (q->front == NULL)
	{
		q->front = q->rear = newnode;
	}
	else
	{
		q->rear->next = newnode;
		q->rear = newnode;
	}
	q->size++;
}

// 队头出队列 
void QueuePop(Queue* q)
{
	assert(q);
	assert(q->front);
	QNode* tmp = q->front;
	q->front = q->front->next;
	free(tmp);
	tmp = NULL;
	if (q->front == NULL)
		q->rear=NULL;
	q->size--;
}
void QueuePrint(Queue* q)
{
	QNode* cur = q->front;
	while (cur)
	{
		printf("%d->",cur->data);
		cur = cur->next;
	}
	printf("\n");
}
// 获取队列头部元素 
QDataType QueueFront(Queue* q)
{
	assert(q);
	assert(q->front);
	return q->front->data;
}
// 获取队列队尾元素 
QDataType QueueBack(Queue* q)
{
	assert(q);
	assert(q->rear);
	return q->rear->data;
}
// 获取队列中有效元素个数 
int QueueSize(Queue* q)
{
	assert(q);
	
	return q->size;
}
// 检测队列是否为空，如果为空返回非零结果，如果非空返回0 
int QueueEmpty(Queue* q)
{
	assert(q);
	if (q->front)
		return q->size;
	else
		return 0;
}
// 销毁队列 
void QueueDestroy(Queue* q)
{
	QNode* cur = q->front;
	while (cur)
	{
		QNode* next = cur->next;
		free(cur);
		cur = next;
	}
	q->front = NULL;
	q->rear = NULL;
	q->size = 0;
}