for循环生成的goroutine中出现看似不可能的Index out of range错误求助

嘿，这可是Go语言里最经典的坑之一了！我刚入门的时候也踩过一模一样的坑，非常理解你的困惑——明明切片长度是2，循环条件是i < len(...)，怎么会出现i=2的情况呢？

问题根源：循环变量的复用 #

Go的for循环中，循环变量（比如这里的i）是在整个循环周期内复用同一个内存地址的。当你在循环里启动goroutine时，这些goroutine并不会立刻执行代码，它们会被放到Go调度器里等待执行。等这些goroutine真正开始运行countlinks(grph.entryPoints[i])的时候，外层的for循环大概率已经跑完了，此时i的值已经变成了循环结束时的2（因为循环条件是i < 2，最后一次循环后i会自增到2才退出），这时候访问grph.entryPoints[2]自然就触发索引越界了。

三种可行的解决方案 #

1. 在循环内创建局部变量捕获当前索引

每次迭代时，把当前的i赋值给一个新的局部变量，让goroutine捕获这个局部变量的副本：

for i := 0; i < len(grph.entryPoints); i++ {
    // 每次循环创建一个新的idx变量，保存当前i的值
    idx := i
    go func() {
        countlinks(grph.entryPoints[idx])
    }()
}

2. 使用range循环并显式传递参数

如果用range遍历切片，可以直接把当前迭代的索引和元素作为参数传给goroutine，这样每个goroutine拿到的都是独立的参数副本：

// 方式一：直接传递元素本身（推荐，避免索引操作）
for _, entry := range grph.entryPoints {
    go func(e EntryType) {
        countlinks(e)
    }(entry)
}

// 方式二：如果需要使用索引，同时传递索引和元素
for i, entry := range grph.entryPoints {
    go func(idx int, e EntryType) {
        countlinks(grph.entryPoints[idx])
    }(i, entry)
}

注意：如果entry是指针类型，要确保它指向的内容不会在后续循环中被修改，否则可能出现数据竞争问题。如果是值类型就完全没问题。

3. 利用Go 1.21+的自动优化（兼容性需注意）

从Go 1.21版本开始，编译器对range循环中的goroutine变量捕获做了优化——如果你在goroutine里直接使用range的循环变量，编译器会自动为每次迭代创建独立的变量副本。不过为了兼容旧版本代码和保持可读性，还是更推荐前两种显式的处理方式。

验证小技巧 #

你可以在goroutine里加一行打印i的代码：

go func() {
    fmt.Println("当前i的值：", i)
    countlinks(grph.entryPoints[i])
}()

运行后你会发现，输出的i大概率是2，这就能直观证明问题出在循环变量的复用机制上。

内容的提问来源于stack exchange，提问作者sloan-dog