在 Go 语言中,闭包捕获的是变量的引用,而不是变量的值。这意味着闭包会引用循环变量或外部变量的实际内存位置,而不是在闭包创建时复制变量的值。这种行为有时会导致意外的结果,尤其是在循环中创建多个闭包时。
闭包捕获变量的引用
考虑以下示例代码:
package main
import (
"fmt"
"sync"
)
func main() {
var wg sync.WaitGroup
for i := 0; i < 5; i++ {
wg.Add(1)
go func() {
defer wg.Done()
fmt.Println(i)
}()
}
wg.Wait()
}
在这个示例中,所有 goroutine 捕获的是同一个 i
变量的引用。当所有 goroutine 开始执行时,i
的值已经是 5
(因为循环已经结束),所以所有 goroutine 都会打印 5
。
解决方法
为了避免这种问题,可以采取以下两种方法之一:
方法一:使用匿名函数参数
通过将循环变量作为参数传递给匿名函数,可以确保每个 goroutine 捕获的是不同的值。
package main
import (
"fmt"
"sync"
)
func main() {
var wg sync.WaitGroup
for i := 0; i < 5; i++ {
wg.Add(1)
go func(i int) { // 将 i 作为参数传递
defer wg.Done()
fmt.Println(i)
}(i)
}
wg.Wait()
}
在这个示例中,每次循环迭代都会创建一个新的匿名函数,并将当前的 i
值作为参数传递给这个函数。每个 goroutine 捕获的是传递给匿名函数的 i
参数,而不是循环变量 i
本身。这样每个 goroutine 都会打印出不同的值。
方法二:使用局部变量
通过在每次循环迭代中创建一个新的局部变量,可以确保每个 goroutine 捕获的是不同的变量。
package main
import (
"fmt"
"sync"
)
func main() {
var wg sync.WaitGroup
for i := 0; i < 5; i++ {
wg.Add(1)
j := i // 创建一个新的局部变量
go func() {
defer wg.Done()
fmt.Println(j)
}()
}
wg.Wait()
}
在这个示例中,每次循环迭代都会创建一个新的局部变量 j
,并将当前的 i
值赋给 j
。每个 goroutine 捕获的是不同的 j
变量,而不是循环变量 i
本身。这样每个 goroutine 也会打印出不同的值。
总结
在 Go 语言中,闭包捕获的是变量的引用,而不是变量的值。这意味着闭包会引用变量的实际内存位置,而不是在闭包创建时复制变量的值。为了避免在循环中创建多个闭包时出现意外的结果,可以使用匿名函数参数或将循环变量赋值给一个新的局部变量,确保每个 goroutine 捕获的是不同的变量。这两种方法都可以有效解决这个问题,确保每个 goroutine 打印出预期的值。