Go语言for循环：传址、闭包与协程的常见陷阱及修复

Hazel

发布时间：2026-10-15| 4人浏览过

原创

本文详细分析了Go语言中`for`循环在传址、闭包和启动goroutine时因循环变量复用引发的常见bug，并给出了使用局部变量覆盖的通用修复方案。

结果与目标

在Go开发中，面试官常考`for`循环陷阱，实际业务中若未注意，极易导致数据错误或并发异常。主要目标是掌握以下场景的正确写法，避免陷入逻辑误区：

正确将切片元素存入Map并保留原始值。
实现正确的闭包函数捕获。
安全地在goroutine中使用循环变量。

准备条件

需要理解Go语言`for range`循环的一个核心特性：对循环变量每次迭代并非重新声明，而是复用同一个内存地址进行值更新。这一底层机制是后续所有“坑”的根源。

真实操作顺序：经典案例与修复

第1步：基础传值（基准对照）

目的：建立正常行为基准，展示按值传递时的正确结果。

入口：遍历结构体切片并赋值给Map。

type student struct {
  name string
  age  int
}

func main() {
  m := make(map[string]student)
  stus := []student{
    {name: "张三", age: 18},
    {name: "李四", age: 23},
    {name: "王五", age: 26},
  }
  for _, stu := range stus {
    m[stu.name] = stu // 这里是将stu的值拷贝到map中
  }
  for k, v := range m {
    fmt.Println(k, "=>", v.name)
  }
}

完成状态：控制台正确输出张三、李四、王五各自的名字。这是预期的行为，作为后续对比的基础。

第2步：修复for循环中的传址问题

目的：解决因直接取循环变量地址导致的Map存储错误问题。

动作：尝试将切片元素的指针存入Map。

type student struct {
  name string
  age  int
}

func main() {
  m := make(map[string]*student)
  stus := []student{
    {name: "张三", age: 18},
    {name: "李四", age: 23},
    {name: "王五", age: 26},
  }
  for _, stu := range stus {
    m[stu.name] = &stu // 直接取地址
  }
  for k, v := range m {
    fmt.Println(k, "=>", v.name)
  }
}

风险提醒：此时代码编译无误，但运行结果会出现严重Bug。由于&stu始终指向同一个内存地址，且该地址的值随循环被不断刷新为最后一次迭代的值，最终Map中的所有键都会映射到最后一个元素。

可观察结果：输出显示所有名字均为"王五"。

解决方案：在循环体内引入同名变量进行值拷贝，强制为该次迭代创建新的局部变量。

type student struct {
  name string
  age  int
}

func main() {
  m := make(map[string]*student)
  stus := []student{
    {name: "张三", age: 18},
    {name: "李四", age: 23},
    {name: "王五", age: 26},
  }
  for _, stu := range stus {
    stu := stu  // 【关键】同名变量覆盖，创建新的局部变量
    m[stu.name] = &stu // 现在取的是新变量的地址
  }
  for k, v := range m {
    fmt.Println(k, "=>", v.name)
  }
}

完成状态：控制台分别输出张三、李四、王五，问题解决。

第3步：修复for循环中的闭包陷阱

目的：防止闭包函数捕获到被复用的外部循环变量。

动作：生成一组打印函数的切片。

var prints []func()
for _, v := range []int{1, 2, 3} {
  prints = append(prints, func() { fmt.Println(v) })
}

分析：闭包引用的是环境中的变量v而非其瞬时值。循环结束后，v变为3。所有函数执行时都读取这个最终的3。

修复方案：同样采用v := v技巧，将当前值绑定到新的局部作用域。

var prints []func()
for _, v := range []int{1, 2, 3} {
  v := v // 【关键】同名变量覆盖
  prints = append(prints, func() { fmt.Println(v) })
}

完成状态：依次调用这些函数，分别输出1、2、3。

第4步：修复for循环中的goroutine陷阱

目的：确保并发启动的goroutine能正确处理传入的循环变量。

动作：遍历字符串切片并异步打印。

var wg sync.WaitGroup
strs := []string{"1", "2", "3", "4", "5"}
for _, str := range strs {
  wg.Add(1)
  go func() {
    defer wg.Done()
    fmt.Println(str)
  }()
}

风险提醒：Main协程速度远快于新起的Goroutine时，str可能已被更新为最后一个元素"5"。虽然不绝对（取决于调度），但这是典型的竞态条件隐患，极大概率输出全为"5"或大量重复值。

解决方案：在启动Goroutine前，通过str := str复制一份副本。

var wg sync.WaitGroup
strs := []string{"1", "2", "3", "4", "5"}
for _, str := range strs {
  str := str // 【关键】复制副本
  wg.Add(1)
  go func() {
    defer wg.Done()
    fmt.Println(str) // 使用副本str
  }()
}
wg.Wait()

完成状态：数字1至5被无序地全部打印出来。