golang for range map协程输出

Question

func main(){

    aa := map[int]string{1:"aa",2:"bb",3:"cc"}

    for k,v := range aa{
        go func(){
            fmt.Printf("key:%+v,val:%+v\n",k,v)
        }()
    }



我测试了下这段代码的输出，打印结果不一致，

结果1：
key:3,val:cc
key:3,val:cc
key:3,val:cc

结果2：
key:2,val:bb
key:2,val:bb
key:2,val:bb

结果3：
key:1,val:aa
key:3,val:cc
key:3,val:cc

结果4：
key:3,val:cc
key:1,val:aa
key:1,val:aa

结果5：
key:3,val:cc
key:2,val:bb
key:3,val:cc

结果6：
key:3,val:cc
key:3,val:cc
key:1,val:aa

结果7：
key:2,val:bb
key:2,val:bb
key:1,val:aa

这是为什么呢？

Answer 1

晚上好🌙🌙🌙
本答案参考通义千问

你提到的这段 Go 代码中，使用了 for range 遍历一个 map，并在每次迭代中启动了一个协程（goroutine），然后在协程中打印当前的键值对。但你发现输出结果不一致，这正是 Go 的并发特性 所导致的。

---

🧠 原因分析

1. map 遍历顺序是不确定的

Go 中的 map 是无序的，也就是说，for range 遍历 map 时，遍历的顺序是不确定的。不同的运行环境、编译器版本或运行时状态都可能导致遍历顺序不同。

2. goroutine 启动和执行的异步性

你在 for range 循环中启动了多个 goroutine，这些 goroutine 并不会立即执行。它们会被调度器安排到合适的线程上执行，而这个过程是异步的，因此 不能保证哪个 goroutine 先执行。

3. 闭包捕获的是变量的引用而非值

在 Go 中，for range 循环中的变量 k 和 v 是共享的，也就是说，所有 goroutine 在执行时访问的是同一个变量 k 和 v，而不是每次循环中生成的新副本。因此，当 goroutine 执行时，k 和 v 可能已经被后续的循环修改了。

---

✅ 正确做法：避免共享变量

要解决这个问题，需要在每次循环中为每个 goroutine 传递独立的 k 和 v 值。可以通过以下方式实现：

✅ 解决方案如下：

1. 将 k 和 v 作为参数传递给匿名函数

   • 这样可以确保每个 goroutine 拿到的是当前循环中 k 和 v 的值拷贝，而不是引用。

2. 使用 sync.WaitGroup 等待所有协程完成

   • 以确保主函数不会提前退出，导致协程未执行完毕。

---

💡 修改后的代码示例：

package main

import (
    "fmt"
    "sync"
)

func main() {
    aa := map[int]string{1: "aa", 2: "bb", 3: "cc"}
    var wg sync.WaitGroup

    for k, v := range aa {
        // 将 k 和 v 作为参数传入匿名函数
        wg.Add(1)
        go func(k int, v string) {
            defer wg.Done()
            fmt.Printf("key:%+v,val:%+v\n", k, v)
        }(k, v)
    }

    // 等待所有协程完成
    wg.Wait()
}

---

📌 总结

| 问题 | 原因 | 解决方案 | |------|------|----------| | 输出不一致 | map 遍历顺序不确定 + goroutine 异步执行 | 使用 sync.WaitGroup 等待协程完成 | | 打印结果错误 | 闭包捕获的是变量的引用，不是值 | 将 k 和 v 作为参数传递给 goroutine |

---

🧪 示例输出（固定）：

假设遍历顺序是 1 -> 2 -> 3，则输出可能是：

key:1,val:aa
key:2,val:bb
key:3,val:cc

但由于 goroutine 的异步性，实际输出顺序可能有变化，但每个协程会正确打印它对应的键值对。

---

如果你希望完全确定输出顺序，可以使用通道（channel）或排序 map 来控制顺序。需要的话我可以提供相关示例。