C语言 队列的实现（链表实现）

//Queue.h

#pragma once
#include
#include
#include
#include

typedef int QueueDataType;
//注意这里的两个结构体
typedef struct QueueNode
{
	QueueDataType x;
	struct QueueNode* next;
}QNode;
//先进先出的特点，所以设置头尾指针较好
typedef struct Queue
{
	QNode* head;
	QNode* tail;
	int size;
}Queue;

void QueueInit(Queue* ps);
void QueueDestroy(Queue* ps);
void QueuePush(Queue* ps, QueueDataType x);
void QueuePop(Queue* ps);

bool QueueEmpty(Queue* ps);
QueueDataType QueueHead(Queue* ps);
QueueDataType QueueTail(Queue* ps);
int QueueSize(Queue* ps);

//Stack.c
#include"Queue.h"

void QueueInit(Queue* ps)
{
	assert(ps);
	ps->head = ps->tail = NULL;
	ps->size = 0;
}

void QueueDestroy(Queue* ps)
{
	assert(ps);
	QNode* cur = ps->head;
	while (cur)
	{
		QNode* tmp = cur;
		free(cur);
		cur = tmp->next;
	}
	//注意，当删到最后时，head在tail的后面一个位置
	//tail所指向的空间已经被释放，此时tail为野指针
	//所以要记得把tail和head都置为NULL
	ps->head = ps->tail = NULL;
}

void QueuePush(Queue* ps, QueueDataType x)
{
	assert(ps);
	QNode* newNode = (QNode*)malloc(sizeof(QNode));
	if (newNode == NULL)
	{
		perror("malloc fail");
		exit(-1);
	}
	newNode->x = x;
	newNode->next = NULL;
	//如果队列为空
	if (ps->head ==NULL && ps->tail==NULL)
	{
		ps->head = ps->tail = newNode;
	}
	else
	{
		ps->tail->next = newNode;
		ps->tail = newNode;
	}
	++ps->size;
}

void QueuePop(Queue* ps)
{
	assert(ps);
	assert(!QueueEmpty(ps));
	
	//注意，当删到最后时，head在tail的后面一个位置
	//tail所指向的空间已经被释放，此时tail为野指针
	//所以要记得把tail和head都置为NULL
	//这里需要分类讨论
	if (ps->head->next == NULL)
	{
		free(ps->head);
		ps->head = ps->tail = NULL;
	}
	else
	{
		QNode* cur = ps->head;
		ps->head = ps->head->next;
		free(cur);
		cur = NULL;
	}
	--ps->size;
}

bool QueueEmpty(Queue* ps)
{
	assert(ps);
	return ps->size == 0;
}

QueueDataType QueueHead(Queue* ps)
{
	assert(ps);
	assert(!QueueEmpty(ps));
	
	return ps->head->x;
}

QueueDataType QueueTail(Queue* ps)
{
	assert(ps);
	assert(!QueueEmpty(ps));

	return ps->tail->x;
}

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