如何正确遍历 Go 中的单向链表

本文详解 go 语言中链表迭代循环的常见错误：因混淆 for 循环三部分执行时机（尤其是初始化语句仅执行一次），导致无限循环；并给出正确、简洁、符合 go 风格的遍历写法。

在 Go 中遍历单向链表时，一个极易被忽视却影响深远的陷阱，源于对 for 循环语法结构的误解。原代码中 iterate 函数写作：

func iterate(head *Node) {
    for n := head.Next; n != nil; head = n {
        fmt.Printf("head %+v n %+v\n", head, n)
        time.Sleep(time.Second * 1)
    }
}

表面看逻辑清晰：用 n 指向当前节点的下一个，循环中将 head 更新为 n，期望逐步推进。但实际运行后陷入死循环——输出显示 head 和 n 的 Next 字段始终相同，且不再变化。

根本原因在于 Go for 语句的执行机

制：

• 初始化语句 n := head.Next 仅在循环开始前执行一次；
• 条件判断 n != nil 每次循环前检查；
• 后置语句 head = n 执行后，下一轮循环并不会重新计算 n := head.Next —— n 的值自始至终仍是第一次赋值的结果（即 head.Next 的初始快照），而 head 虽被更新，n 却未同步刷新，导致条件永远基于旧值判断，形成逻辑断连。

因此，该循环等价于：

n := head.Next // ← 只执行一次！
for ; n != nil; head = n {
    // ... body ...
    // n 始终不变！head 更新无意义
}

✅ 正确解法有两类，均确保每次迭代都获取最新 Next：

方案一（推荐）：直接以 head 为遍历变量（最符合 Go 习惯）

func iterate(head *Node) {
    for ; head != nil; head = head.Next {
        fmt.Printf("node %+v\n", head)
    }
}

• 清晰、简洁、零冗余变量；
• head = head.Next 在每次循环末尾执行，下一轮 head != nil 自然检查新节点；
• 无需额外指针，语义直白。

方案二：在循环体内显式更新 n

func iterate(head *Node) {
    n := head
    for n != nil {
        fmt.Printf("node %+v\n", n)
        n = n.Next // ← 关键：每次主动推进
    }
}

• 明确分离“访问”与“移动”逻辑；
• 避免修改入参 head（若需保留头节点引用，此方式更安全）。

⚠️ 注意事项：

• 切勿在 for 的后置语句中依赖未在循环内更新的变量（如原例中 n 未重赋值）；
• 链表遍历首选 for head != nil; head = head.Next 形式，它既是 Go 官方示例常用模式，也经编译器充分优化；
• 使用 time.Sleep 调试时，务必确认逻辑已修正，否则会无限等待。

总结：Go 的 for 循环不是“每次重跑整行”，而是严格分阶段执行。理解初始化、条件、后置三部分的生命周期，是写出健壮迭代逻辑的前提。从今天起，让链表遍历回归简单——用 head = head.Next，而不是试图用 n 绕过它。