C语言链表首元素无法显示/打印问题排查

核心问题分析 #

你遇到的首元素消失问题，大概率出在两个核心点：

1. 链表头指针传递错误：如果插入函数仅传入struct Node *head而非struct Node **head，函数内对链表头的修改只会在局部生效，外部的头指针完全没更新，后续输入会直接覆盖或丢失之前的首元素。
2. 多线程竞态条件：多线程环境下操作链表未加锁保护，并发修改会导致头指针的更新被覆盖，出现元素丢失或乱序。

针对性修复步骤 #

1. 修正链表头指针的传递方式 #

把插入函数的参数改为指针的指针，确保函数内对链表头的修改能同步到外部：

// 错误写法（局部修改，外部无效）
void insert_node(struct Node *head, int data) {
    struct Node *new_node = malloc(sizeof(struct Node));
    new_node->data = data;
    new_node->next = head;
    head = new_node; // 仅修改局部变量head，外部头指针无变化
}

// 正确写法
void insert_node(struct Node **head, int data) {
    struct Node *new_node = malloc(sizeof(struct Node));
    new_node->data = data;
    new_node->next = *head;
    *head = new_node; // 直接修改外部头指针的指向
}

// 调用时传入头指针的地址
insert_node(&alarm_list, input_data);

2. 加锁解决多线程竞态 #

多线程环境下，所有操作链表的逻辑（插入、打印）都必须加互斥锁，防止并发修改冲突：

#include <pthread.h>

pthread_mutex_t list_mutex = PTHREAD_MUTEX_INITIALIZER;

// 插入时加锁
void insert_node(struct Node **head, int data) {
    pthread_mutex_lock(&list_mutex);
    struct Node *new_node = malloc(sizeof(struct Node));
    new_node->data = data;
    new_node->next = *head;
    *head = new_node;
    pthread_mutex_unlock(&list_mutex);
}

// 打印链表时同样加锁
void print_list(struct Node *head) {
    pthread_mutex_lock(&list_mutex);
    struct Node *current = head;
    printf("alarm_list: ");
    while (current != NULL) {
        printf("%d ", current->data);
        current = current->next;
    }
    printf("\n");
    pthread_mutex_unlock(&list_mutex);
}

3. 修正插入排序的逻辑错误（若使用了排序插入） #

如果之前写了插入排序函数，要确保排序时头指针的维护正确，同时必须加锁保护：

void sorted_insert(struct Node **head, int data) {
    pthread_mutex_lock(&list_mutex);
    struct Node *new_node = malloc(sizeof(struct Node));
    new_node->data = data;
    new_node->next = NULL;

    // 空链表或新元素比头元素小，插在头部
    if (*head == NULL || (*head)->data >= data) {
        new_node->next = *head;
        *head = new_node;
    } else {
        struct Node *current = *head;
        // 找到插入位置的前一个节点
        while (current->next != NULL && current->next->data < data) {
            current = current->next;
        }
        new_node->next = current->next;
        current->next = new_node;
    }
    pthread_mutex_unlock(&list_mutex);
}

验证要点 #

• 每次插入后立刻打印，确认头元素是否正常保留
• 多线程同时插入时，观察是否还会出现元素丢失或乱序
• 检查malloc后的内存是否成功分配（避免因内存分配失败导致的异常）

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