Go中的并发和传值

Question

我在 go 中有一个代码 sn-p：

for _, u := range urls {
        done.Add(1)
        u2 := u
        go func() {
            defer done.Done()
            ConcurrentMutex(u2, fetcher, f)
        }()
        //go func(u string) {
        //  defer done.Done()
        //  ConcurrentMutex(u, fetcher, f)
        //}(u)
    }

为了让ConcurrentMutex 看到不同的u 值，需要使用中间变量u2 或使用注释掉的代码。如果我只是这样做：

for _, u := range urls {
        done.Add(1)
        go func() {
            defer done.Done()
            ConcurrentMutex(u, fetcher, f)
        }()
    }

我很困惑为什么它的行为与注释掉的代码的行为不同。 Go 是按值传递的，当我将u 传递给ConcurrentMutex 时，它不应该只是复制当前u 的值，从而不受以后对u 所做的更改吗？

Answer 1

u 传递给 ConcurrentMutex 的那一刻，将创建并传递它的副本。但是，当 goroutine 传递 u 的值时，它可能与 goroutine 启动时处于活动状态的 u 值不同。也就是说，这个执行是可能的：for循环以u值启动goroutine，然后for循环用序列中的下一项覆盖u值，然后goroutine调用ConcurrentMutex新的u 值，跳过之前的u 值。