Go语言一行代码反转链表的实现原理疑问

原代码的核心逻辑：Go多重赋值特性 #

你困惑的根源在于对Go语言多重赋值的执行顺序理解有误。Go的多重赋值是先一次性计算所有右侧表达式的值，再按顺序将这些值赋值给左侧变量，而非按从左到右的顺序逐个执行赋值操作。

以链表 [1->2->3->4->5->nil] 为例，原代码的循环执行流程如下：

初始状态：prev = nil，head = 指向1的节点

第一轮循环 #

1. 先计算右侧三个表达式的原始值：
   • head → 指向1的节点（记为node1）
   • head.Next → 指向2的节点（node2）
   • prev → nil
2. 再依次赋值给左侧变量：
   • prev = node1（此时prev指向node1）
   • head = node2（head移动到node2）
   • node1.Next = nil（修改node1的Next指针，node1变成1->nil）

此时状态：prev = 1->nil，head = 2->3->4->5->nil

第二轮循环 #

1. 计算右侧原始值：
   • head → node2
   • head.Next → node3
   • prev → node1（1->nil）
2. 赋值：
   • prev = node2
   • head = node3
   • node2.Next = node1（node2变成2->1->nil）

状态更新：prev = 2->1->nil，head = 3->4->5->nil

后续循环以此类推，直到head变为nil，此时prev就是反转后的链表头5->4->3->2->1->nil。

你的改写是否正确？ #

答案是不正确，原因如下：

1. 原代码是原地反转：直接修改原链表节点的Next指针，空间复杂度为O(1)，没有创建新节点。
2. 你的改写逻辑是复制原节点：
   • a := *head 是把当前head指向的节点的值复制到局部变量a中，相当于创建了一个新的节点副本。
   • 修改a.Next只是修改这个副本的指针，原链表的节点完全没被改动。
   • 最后prev指向的是这个副本的地址，但a是循环内的局部变量，循环结束后会被销毁，后续访问prev会出现野指针问题。
3. 你的改写实现的是“复制并反转”，空间复杂度为O(n)，和原代码的原地反转逻辑完全不同，无法达到原代码的效果。

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