笔记：数据结构（链队列的相关判断条件）

---

链队列（Linked Queue）是一种基于链表实现的队列结构。与顺序队列不同，链队列的存储空间是动态分配的，因此不需要预先定义队列的大小。链队列的每个结点包含数据域和指针域，队列的头指针指向头结点，尾指针指向最后一个结点。

以下是链队列的相关判断条件的详细罗列：

1. 判断队列是否为空

条件 ：队列的头指针 front 和尾指针 rear 都指向头结点。

代码实现：

Cbool IsEmpty(LinkQueue Q) {
    return Q.front == Q.rear;
}

解释：

• 当 front == rear 时，队列中没有元素，队列为空。

2. 判断队列是否为满

条件：链队列的存储空间是动态分配的，理论上不会满。

代码实现：

Cbool IsFull(LinkQueue Q) {
    return false; // 链队列不会满
}

解释：

• 链队列的存储空间是动态分配的，因此不会出现队列满的情况。

3. 计算队列的长度

条件：遍历队列中的结点，统计结点数量。

代码实现：

Cint QueueLength(LinkQueue Q) {
    int length = 0;
    QueueNode *p = Q.front->next; // 从第一个结点开始
    while (p != NULL) { // 遍历队列
        length++;
        p = p->next;
    }
    return length;
}

解释：

• 通过遍历队列中的结点，统计结点数量，即为队列的长度。

4. 入队操作的条件

条件：链队列的存储空间是动态分配的，因此不需要判断队列是否为满。

代码实现：

CStatus EnQueue(LinkQueue &Q, QElemType e) {
    QueueNode *newNode = (QueueNode*)malloc(sizeof(QueueNode)); // 创建新结点
    if (!newNode) {
        return ERROR; // 内存分配失败
    }
    newNode->data = e; // 设置新结点的数据域
    newNode->next = NULL; // 新结点的指针域置为NULL

    Q.rear->next = newNode; // 将新结点插入队尾
    Q.rear = newNode; // 更新尾指针
    return OK;
}

解释：

• 如果内存分配成功，则将新结点插入队尾，并更新尾指针。

5. 出队操作的条件

条件 ：队列不为空，即 front != rear。

代码实现：

CStatus DeQueue(LinkQueue &Q, QElemType &e) {
    if (Q.front == Q.rear) {
        return ERROR; // 队列为空，无法出队
    }
    QueueNode *p = Q.front->next; // 临时指针指向队头结点
    e = p->data; // 取出队头元素
    Q.front->next = p->next; // 将头指针指向下一个结点
    if (Q.rear == p) { // 如果队列中只有一个元素
        Q.rear = Q.front; // 更新尾指针
    }
    free(p); // 释放队头结点的内存
    return OK;
}

解释：

• 如果队列不为空，则取出队头元素，并将头指针指向下一个结点。
• 如果队列中只有一个元素，则更新尾指针。

6. 队列的初始化

条件：创建头结点，并将头指针和尾指针都指向头结点。

代码实现：

CStatus InitQueue(LinkQueue &Q) {
    Q.front = Q.rear = (QueueNode*)malloc(sizeof(QueueNode)); // 创建头结点
    if (!Q.front) {
        exit(OVERFLOW); // 内存分配失败
    }
    Q.front->next = NULL; // 头结点的指针域置为NULL
    return OK;
}

解释：

• 初始化时，队列为空，因此头指针和尾指针都指向头结点。

7. 队列的销毁

条件：释放队列中所有结点的内存，包括头结点。

代码实现：

CStatus DestroyQueue(LinkQueue &Q) {
    while (Q.front != Q.rear) { // 遍历队列
        QueueNode *p = Q.front->next; // 临时指针指向队头结点
        Q.front->next = p->next; // 将头指针指向下一个结点
        if (Q.rear == p) { // 如果队列中只有一个元素
            Q.rear = Q.front; // 更新尾指针
        }
        free(p); // 释放队头结点的内存
    }
    free(Q.front); // 释放头结点的内存
    Q.front = Q.rear = NULL; // 头指针和尾指针置为NULL
    return OK;
}

解释：

• 销毁队列时，释放队列中所有结点的内存，包括头结点。

总结

链队列的关键判断条件如下：

1. 队列空 ：front == rear
2. 队列满：链队列不会满
3. 队列长度：遍历队列中的结点，统计结点数量
4. 入队条件：链队列的存储空间是动态分配的，因此不需要判断队列是否为满
5. 出队条件：队列不为空

通过以上判断条件，可以确保链队列的正确操作。