队列Enqueue/Dequeue函数问题：元素转移后程序异常退出求助

核心问题定位 #

你要实现的队列元素暂存回写逻辑本身是可行的，但程序终止的直接原因大概率是Dequeue函数缺少必要的队列指针/引用参数，导致无法正确修改原队列的状态（比如头节点、长度），甚至触发非法内存访问。

关键检查点 #

• 确认Dequeue是否接收队列的指针（或引用）：队列是动态结构，必须通过指针/引用才能修改原队列的内部状态（比如front指针、size计数）。如果你的Dequeue没有传队列指针，只是返回数据，原队列的节点不会被释放、状态也不会更新，必然导致内存泄漏或崩溃。
• 检查空队列边界处理：当原队列为空时调用Dequeue，必须先判断队列是否为空，否则直接访问front节点会触发段错误。

正确实现示例（以C语言链式队列为例） #

队列结构定义 #

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

typedef struct Queue {
    Node *front;
    Node *rear;
    int size;
} Queue;

修正后的Dequeue函数 #

int Dequeue(Queue *q) {
    // 空队列判断，避免非法访问
    if (q == NULL || q->size == 0) {
        printf("错误：队列为空或队列指针无效\n");
        return -1; // 用错误码标识出队失败
    }

    Node *temp = q->front;
    int data = temp->data;
    // 更新队列头节点
    q->front = q->front->next;
    free(temp);
    q->size--;

    // 队列为空时重置rear指针，避免野指针
    if (q->size == 0) {
        q->rear = NULL;
    }

    return data;
}

完整的暂存回写逻辑 #

// 假设你的Enqueue函数是如下正确实现（接收队列指针和数据）
void Enqueue(Queue *q, int data) {
    Node *newNode = (Node*)malloc(sizeof(Node));
    newNode->data = data;
    newNode->next = NULL;

    if (q->size == 0) {
        q->front = newNode;
        q->rear = newNode;
    } else {
        q->rear->next = newNode;
        q->rear = newNode;
    }
    q->size++;
}

void TransferQueue(Queue *original) {
    Queue tempQueue = {NULL, NULL, 0};

    // 将原队列元素全部出队到临时队列
    while (original->size > 0) {
        int val = Dequeue(original);
        if (val != -1) {
            Enqueue(&tempQueue, val);
        }
    }

    // 将临时队列元素回写到原队列
    while (tempQueue.size > 0) {
        int val = Dequeue(&tempQueue);
        if (val != -1) {
            Enqueue(original, val);
        }
    }
}

调试建议 #

• 加打印日志：在Dequeue的开头和结尾打印队列的size、front指针地址，确认每次出队后原队列的状态是否正确更新。
• 用调试器断点：在调用Dequeue的代码行打断点，查看传递的队列指针是否有效，是否存在空指针访问的情况。

内容的提问来源于stack exchange，提问作者BrownyChewy