C语言链表初始化异常：头节点被尾节点覆盖问题求助

你在通过循环读取命令行输入初始化链表时，发现头节点head->value最终和尾节点值相同，核心代码如下：

#include <stdio.h>
#include <stdlib.h>
#include <string.h>

struct node {
    char value[512];
    struct node *next;
};


int main(int argc, char *argv[])
{

    struct node *head = malloc(sizeof(struct node));
    struct node **curr = &head;
    int flag = 1;
    int c = 0;

    while(flag == 1)
    {
        char cmd[512];
        struct node *new_node = malloc(sizeof(struct node));
        fgets(cmd, 512, stdin);
        cmd[strcspn(cmd, "\n")] = 0;

        if (strcmp(cmd,"exit") ==0){
            printf("Exiting\n");
            break;            
        } else {
            strncpy(new_node->value, cmd, 512);
            new_node->value[512 - 1] = '\0';
            (*curr)->next = new_node;
            *curr = new_node;
        }
    }

    printf("head value: %s\n", head->value);
    printf("curr value: %s", (*curr)->value);


    return 0;
}

问题根源 #

你创建的head节点从未被赋值，后续仅设置了head->next指向新节点，但head->value始终是malloc分配的未初始化内存。最后打印时，这块未初始化内存恰好和尾节点的值相同，本质是未初始化内存的随机值巧合，而非头节点被设置成了尾节点。

具体细节：

• 初始化head时，malloc仅分配内存，未初始化value数组，里面是随机垃圾数据
• 第一次循环中，(*curr)指向head，执行(*curr)->next = new_node后，head的next被指向第一个输入对应的节点，但head自身的value从未被赋值
• 程序结束打印head->value时，这块未初始化内存的内容刚好和尾节点的value一致（内存布局巧合导致的未定义行为）

修复后的代码 #

推荐使用空链表初始化的实现方式，逻辑更清晰且避免无效的头节点：

#include <stdio.h>
#include <stdlib.h>
#include <string.h>

struct node {
    char value[512];
    struct node *next;
};

int main(int argc, char *argv[])
{
    struct node *head = NULL;  // 初始化为空链表
    struct node **curr = &head;
    char cmd[512];

    while (1) {
        // 处理输入错误或EOF
        if (fgets(cmd, sizeof(cmd), stdin) == NULL) {
            break;
        }
        // 移除换行符
        cmd[strcspn(cmd, "\n")] = '\0';

        if (strcmp(cmd, "exit") == 0) {
            printf("Exiting\n");
            break;
        }

        struct node *new_node = malloc(sizeof(struct node));
        // 检查内存分配是否成功
        if (new_node == NULL) {
            perror("malloc failed");
            break;
        }
        // 安全复制字符串，用sizeof替代硬编码值
        strncpy(new_node->value, cmd, sizeof(new_node->value) - 1);
        new_node->value[sizeof(new_node->value) - 1] = '\0';
        new_node->next = NULL;  // 新节点的next必须置空

        *curr = new_node;
        curr = &new_node->next;
    }

    // 打印链表验证结果
    printf("链表内容：\n");
    struct node *temp = head;
    while (temp != NULL) {
        printf("%s\n", temp->value);
        temp = temp->next;
    }

    // 释放链表内存，避免泄漏
    temp = head;
    while (temp != NULL) {
        struct node *next_node = temp->next;
        free(temp);
        temp = next_node;
    }

    return 0;
}

代码规范建议 #

• 初始化内存：malloc分配的内存必须初始化，避免使用未定义的垃圾数据
• 检查内存分配结果：malloc可能返回NULL，必须判断，否则会引发段错误
• 链表节点next置空：新创建的节点next必须设为NULL，否则遍历链表时会访问非法内存
• 移除冗余变量：原代码中flag变量可直接用while(1)替代，代码更简洁
• 释放动态内存：所有malloc的内存必须在程序结束前释放，避免内存泄漏
• 增强输入健壮性：处理fgets返回NULL的情况（如用户按下Ctrl+D终止输入）
• 字符串复制安全：使用strncpy时确保目标数组末尾加\0，优先用sizeof获取数组长度，避免硬编码数值

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