本文共 1826 字，大约阅读时间需要 6 分钟。

一、背景需求

在上一篇文章中介绍了数组实现的队列，本章节再补充一个链式的队列，实现动态插入空间的操作。

二、相关知识

链式队列由环形链表实现，通过链表头和链表尾的操作，完成了队列入列出列的功能。

如图所示，空队列时至少需要一个空节点，表示为队列头和队列尾，相当于哨兵的作用；

入列：新增节点插入到队列尾，并更新 tail 指针；出列：更新 head 位置，释放原来 head节点，返回现有位置的 data；

三、实现

相关数据结构

struct list_node_t {    struct list_node_t *next;    void *data;};typedef struct queue{    size_t max_size;    size_t used_num;    struct list_node_t *head;    struct list_node_t *tail;} queue_t;

初始化函数，对于生成图1的空队列，注意初始化时尾节点指向头节点

queue_t *queue_alloc(size_t max_size){    queue_t *pqueue = NULL;    pqueue = calloc(1, sizeof(queue_t));    if ( !pqueue ) {         return NULL;    }       /* Head is nil */    pqueue->head = calloc(1, sizeof(struct list_node_t));    if ( !pqueue->head ) {         return NULL;    }       pqueue->head->next = NULL;    pqueue->head->data = NULL;    /* Reset tail means empty */    pqueue->tail = pqueue->head;    pqueue->max_size = max_size;    pqueue->used_num = 0;    return pqueue;}

入列操作，对于图2的步骤，新增节点后加入到队列尾

int queue_push(queue_t *pqueue, void *nill, void *pdata){    struct list_node_t *pnode = NULL;    if ( !pqueue ) {        return FAILURE;    }    if ( queue_isfull(pqueue) ) {        return FAILURE;    }    pnode = calloc(1, sizeof(struct list_node_t));    if ( !pnode ) {        return FAILURE;    }    pnode->data = pdata;    pnode->next = NULL;    pqueue->tail->next = pnode;    pqueue->tail = pnode;    pqueue->used_num++;    return SUCCESS;}

void *queue_pop(queue_t *pqueue){    struct list_node_t *prev = NULL;    if ( !pqueue ) {        return NULL;    }    if ( queue_isempty(pqueue) ) {        return NULL;    }    prev = pqueue->head;    pqueue->head = pqueue->head->next;    FREE_POINTER(prev);    return pqueue->head->data;}

四、总结

相比于数据队列，链式队列空间使用较少，同样也可用于单生产者-单消费者的无锁队列实现。

注意data数据为外部维护的数据，队列内部只是做指针索引管理，并不进行内容的修改。