为何需要复制u的值在这里？

在 Go 语言中，当使用函数字面量创建闭包时，闭包与周围函数共享变量。这意味着如果在外部函数中不断修改变量，这些修改也会影响闭包。因此，在并发函数中使用变量时，需要将其值复制到一个新变量中，以避免外部函数的修改影响其调用。这一做法体现了 Go 语言的内存模型，确保并发函数操作的是变量的副本，而不是原变量本身。

我是 go 的初学者，正在学习在线课程，其中使用这段代码作为示例：

func ConcurrentMutex(url string, fetcher Fetcher, f *fetchState) {
    var done sync.WaitGroup

    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)
    }

    done.Wait()
    return
}

u 的类型是字符串，在我看来，我们应该能够将 u 传递给内部函数中的 concurrentmutex 调用，而不必将其值复制到 u2。然而，教授坚持认为，go 内存模型意味着，当我们不断改变 u 的值时，它会影响对 concurrentmutex 的不同调用。

我仍然不完全确定为什么。调用函数时 u 的值不应该传递给函数吗？如果我们传递一个指针，我会理解，但由于我们没有传递指针，这让我感到困惑。

有人可以解释一下 go 的内存模型如何解释这个块吗？

注意：注释掉的内部函数是讲座视频示例中使用的原始函数，但在讲义中进行了更改。在我看来，两者是等效的，所以我想这个问题适用于两者。

解决方案

你使用的是闭包。 u2 在内部函数和它周围的函数之间共享。这意味着每次迭代时，u2 都会被修改，修改后的值对内部函数是可见的。更好的编写方式是使用已注释掉的代码。通过显式地将值传递给 go 例程，您可以确保 go 例程携带它自己的副本，该副本不会被周围的函数修改。

Go 规范对此有何说明：Go specification

函数字面量函数字面量代表匿名函数。

FunctionLit = "func" 签名 FunctionBody 。函数（a，b int，z float64) bool { return a*b < int(z) } 函数文字可以是 分配给变量或直接调用。

f := func(x, y int) int { return x + y } func(ch chan int) { ch <- ACK }(replyChan) 函数文字是闭包：它们可以引用 在周围函数中定义的变量。这些变量就是 在周围函数和函数文字之间共享，并且 只要可以访问，它们就会存在。

希望这能回答您的问题。

到这里，我们也就讲完了《为何需要复制u的值在这里？》的内容了。个人认为，基础知识的学习和巩固，是为了更好的将其运用到项目中，欢迎关注golang学习网公众号，带你了解更多关于的知识点！