C语言封装实现链表时push操作异常、遍历无输出的问题排查

代码的异常完全来自C语言的值传递规则，和把全局变量封装进linked_list结构体的操作本身无关：

• C语言的函数参数全是值拷贝传递：给函数传一个指针，本质是把这个指针存的地址值，拷贝一份放到函数的局部栈变量里，函数内部对这个局部副本的修改，完全不会影响函数外部的原变量。
• 你写的push_core形参是struct node *head，调用时传的list->head（初始值为NULL）会被拷贝成函数内部的局部变量head：
  1. 你在函数内malloc新节点，把新节点的next指向了这个局部head的值（也就是NULL）
  2. 执行head = link时，只是把局部栈上的head变量改成了新节点的地址，函数执行完栈空间就销毁，没有任何操作碰过list->head本身
  3. 这也对应了你观测到的细节：push_core内部的printf("%f; ", head->data)是可以正常打出新节点的数据的——因为那时候操作的是函数局部的head变量，但这个局部变量根本没和外部的list结构体关联，出了函数就再也找不到这个新节点了。
  4. 最终list->head从初始化开始一直是NULL，打印链表时传入print_list_core的头指针永远是NULL，循环条件直接不满足，自然打不出任何节点内容。而list->length++是在push函数内部直接操作list结构体成员完成的，没有值拷贝隔离的问题，所以长度计数能正常更新。

你之前用全局head变量时代码能跑通，是因为那时候根本不需要通过参数传head——直接在函数内部改全局作用域的head就行，不存在值拷贝隔离的问题。一旦把head封装进结构体，需要通过函数传参的方式修改head，就会撞上值传递的边界。

方案1：保持现有分层结构，传递二级指针修改实际head值 #

既然需要在函数内部修改外部传入的head指针本身，就需要把head指针的地址传进去，也就是通过二级指针对目标地址做解引用修改：

1. 修改push_core的形参为二级指针类型：

   void push_core(struct node **head, int key, float data){
       struct node *link = malloc(sizeof(struct node));
       link->data = data;
       link->key = key;
       // 解引用二级指针，拿到实际的head值作为新节点的next
       link->next = *head;
       // 解引用二级指针，直接修改外部真正的head变量值
       *head = link;
       printf("%f; ", link->data);
   }
   

2. 修改push函数的调用逻辑，传入head的内存地址：

   void push(linked_list *list, int key, float data){
       // 传入list->head的地址，而非head本身的值
       push_core(&list->head, key, data);
       list->length++;
   }
   

方案2：去掉无意义的core层，直接在push函数内操作结构体成员 #

结合你已经封装了linked_list结构体的设计，完全不需要单独抽传头节点的core函数——push已经拿到了list的指针，完全可以直接操作list内部的head成员，代码更简洁也不会触发值传递问题：

void push(linked_list *list, int key, float data){
    struct node *new_node = malloc(sizeof(struct node));
    new_node->data = data;
    new_node->key = key;
    new_node->next = list->head;
    // 直接更新list结构体的head成员，指向新的头节点
    list->head = new_node;
    list->length++;
}

你现在的print_list_core函数打印完所有节点后没有闭合右括号，等核心链路跑通后可以在while循环结束后补一个printf("]\n");，让输出格式完整。

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