C实现队列中的Doublefree

Double free是指对同一块内存空间释放两次，常见于动态分配内存的场景。在C实现队列时，我们通常会动态地为队列元素分配空间，但如果释放时不注意判断，就有可能出现Double free的问题。

例如以下示例代码中，如果在队列非空的情况下调用clear函数，会导致队列元素被重复释放，从而引发Double free问题。

typedef struct Node {
    int data;
    struct Node *next;
} Node;

typedef struct Queue {
    Node *head;
    Node *tail;
} Queue;

void clear(Queue *q) {
    Node *p = q->head;
    while (p) {
        Node *tmp = p;
        p = p->next;
        free(tmp);
    }
    // 此处有Double free的风险：
    // 如果调用clear函数时队列已经为空，将会重复释放q->tail
    free(q->tail);
    q->head = NULL;
    q->tail = NULL;
}

为了防止Double free，我们可以在释放队列元素时，将队列的头指针和尾指针清空。这样，即使再次调用clear函数，也不会重复释放之前已经释放过的元素。

void clear(Queue *q) {
    Node *p = q->head;
    while (p) {
        Node *tmp = p;
        p = p->next;
        free(tmp);
    }
    q->head = NULL;
    q->tail = NULL;
}