C语言链表节点删除的正确实现及指针使用疑问

我的首节点删除实现 #

struct node {
int number;
struct node *next;
};
struct node *head = NULL;
struct node *tail = NULL;

void deletefirst(struct node *a) {
head = head->next;
free(a);
}

朋友给出的首节点删除实现 #

void deletefirst(struct node **a) {
struct node *temp = *a;
*a = (*a)->next;
free(temp);
}

朋友指出我的代码存在问题：head是全局变量，虽然输出符合预期，但a是原首节点指针的副本，free(a)释放的是副本而非原首节点？我想搞清楚两个代码哪个正确，同时还有两个疑问：

1. 我的尾节点删除代码为什么能正常工作？
2. 我的链表尾部插入代码（基于另一个结构体）用传值方式也能修改原head，这是为什么？

我的尾节点删除代码：

void deletelast(struct node *a) {
   while (a->next->next != NULL) {
      a = a->next;
   }
   free(a->next);
   a->next = NULL;
}

问题解析 #

1. 首节点删除代码的正确性 #

朋友的代码是标准且严谨的正确写法，你的代码能运行但存在严重隐患：

• 你的代码完全依赖全局变量head，所有逻辑都绑定这个全局变量。如果后续把head改成局部变量，或者调用deletefirst时传入的不是head，会直接搞乱链表结构。
• 关于free(a)的误区：指针副本和原指针指向的是同一块内存地址，所以free(a)确实释放了原首节点的内存，朋友的表述在这里有偏差。但你的代码最大的问题是硬编码修改全局head，而非通过参数控制要修改的指针，通用性和安全性极差。
• 朋友的代码用二级指针传递指针的地址，直接修改调用者传入的指针变量（比如调用时传&head），不依赖全局变量，逻辑清晰，是链表操作的标准写法。

2. 尾节点删除代码生效的原因 #

你传递的是指针副本，但你没有修改指针变量本身，而是修改了指针指向的节点内容：

• a是指针副本，和原指针指向链表中同一个节点。a->next访问的是该节点的next成员，修改a->next = NULL是直接修改了原链表节点的内存数据，自然能生效。
• 简单说：只要你操作的是指针指向的内存内容，而非指针变量本身，传值就足够。

3. 插入函数传值能修改head的原因 #

你的插入函数能生效，本质和你的首节点删除代码一样——依赖全局变量head。当插入第一个节点时，你直接修改了全局的head，而非通过传入的参数修改局部指针变量。如果把head改成局部变量，你的插入函数就无法修改调用者的head了。

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