栈和队列详解

1.栈

1.1栈的定义

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

假设有栈有四个数据

 1.2 栈的实现

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

此时我们来看用数组实现所需的功能

//静态栈的创建，但是不推荐
#define N 10

typedef int STDataType;

typedef struct Stack
{
    STDataType _a[N];//栈数组
    int _top;//栈顶
}ST;

//动态栈的实现
typedef int STDataType;

typedef struct Stack
{
	STDataType* _a;
	int _top;
    int _capacity;
}ST;

//栈的初始化
void StackInit(ST* ps);
//栈的销毁
void StackDestory(ST* ps);
//入栈
void StackPush(ST* ps, STDataType x);
//出栈
void StackPop(ST* ps);
//获取栈顶数据
STDataType StackTop(ST* ps);
//获取栈有效元素的个数
int StackSize(ST* ps);
//判断栈是否为空
bool StackEmpty(ST* ps);

各个函数的实现

void StackInit(ST* ps)
{
	assert(ps);

	ps->_a = NULL;
	ps->_top = ps->_capacity = 0;//top指向最后一个元素的下一个位置
}

void StackDestory(ST* ps)
{
	assert(ps);

	free(ps->_a);
	ps->_a = NULL;
	ps->_top = ps->_capacity = 0;
}

void StackPush(ST* ps, STDataType x)
{
	assert(ps);

	//判断是否需要开拓空间
	if (ps->_capacity == ps->_top)
	{
		int newcapacity = ps->_capacity == 0 ? 4 : 2 * ps->_capacity;
		STDataType* tmp = (STDataType*)realloc(ps->_a, sizeof(STDataType) * newcapacity);
		if (tmp == NULL)
		{
			perror("realloc failed!");
			return -1;
		}
		ps->_a = tmp;
		ps->_capacity = newcapacity;
	}

	ps->_a[ps->_top] = x;
	ps->_a++;
}

void StackPop(ST* ps)
{
	assert(ps);
	assert((ps->_top) > 0);

	ps->_top--;
}

STDataType StackTop(ST* ps)
{
	assert(ps);
	assert((ps->_top) > 0);
	
	return ps->_a[ps->_top - 1];
}

int StackSize(ST* ps)
{
	assert(ps);

	return  ps->_top;
}

bool StackEmpty(ST* ps)
{
	assert(ps);

	return ps->_top == 0;
}

2.队列

2.1队列的概念及结构

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

 2.2队列的实现

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

//链表实现队列
typedef int QDataType;

typedef struct QListNode
{
	QDataType _data;
	struct QListNode* _pNext;
}QNode;

typedef struct Queue
{
	QNode* _front;//队头结点
	QNode* _rear;//队尾结点
	int size;
}Queue;

//初始化队列
void QueueInit(Queue* pq);
//销毁队列
void QueueDestory(Queue* pq);
//入队
void QueuePush(Queue* pq, QDataType x);
//出队
void QueuePop(Queue* pq);
//获取对头数据
QDataType QueueTop(Queue* pq);
//判断队是否为空
bool QueueEmpty(Queue* pq);
//获取队内元素个数
int QueueSize(Queue* pq);

以下是各个函数的具体实现

void QueueInit(Queue* pq)
{
	assert(pq);

	pq->size = 0;
	pq->_front = pq->_rear = NULL;
}

void QueueDestory(Queue* pq)
{
	assert(pq);

	pq->size = 0;
	QNode* cur = pq->_front;
	while (cur != NULL);
	{
		QNode* next = cur->_pNext;
		free(cur);
		cur = next;
	}
	pq->_front = pq->_rear = NULL;
}

void QueuePush(Queue* pq, QDataType x)
{
	assert(pq);

	//每次入队列需要创建一个新节点
	QNode* newnode = (QNode*)malloc(sizeof(QNode));
	if (newnode == NULL)
	{
		perror("malloc failed!");
		return -1;
	}

	if (pq->_rear = NULL)//没有节点
	{
		pq->_front = pq->_rear = newnode;
	}
	else//有节点
	{
		pq->_rear->_pNext = newnode;
		pq->_rear = newnode;
	}

	newnode->_data = x;
	newnode->_pNext = NULL;
	pq->size++;
}

void QueuePop(Queue* pq)
{
	assert(pq);
	assert((pq->size) > 0);

	if (pq->_front->_pNext == NULL)//只有一个节点
	{
		pq->_front = pq->_rear = NULL;
	}
	else
	{
		QNode* next = pq->_front->_pNext;
		free(pq->_front);
		pq->_front = next;
	}
	
	pq->size--;
}

QDataType QueueTop(Queue* pq)
{
	assert(pq);
	assert((pq->size) > 0);
	
	return pq->_front->_data;
}

bool QueueEmpty(Queue* pq)
{
	assert(pq);

	return pq->size == 0;
}

int QueueSize(Queue* pq)
{
	assert(pq);

	return pq->size;
}

扩展了解，实际中我们有时还会使用一种队列叫循环队列。如操作系统课程讲解生产者消费者模型时可以就会使用循环队列。环形队列可以使用数组实现，也可以使用循环链表实现。 

暂完

目录

1.栈

1.1栈的定义

 1.2 栈的实现

2.队列

2.1队列的概念及结构

 2.2队列的实现

---