对goroutine和循环变量处理不当可能是Go开发人员在编写并发应用程序时最常犯的错误之一。让我们看一个具体的例子,然后我们将定义发生此类错误的条件以及如何防止发生这类错误。
在下面的示例中,我们初始化一个切片,然后在作为新goroutine执行的闭包中访问这个元素:
s := []int{1, 2, 3}for _, i := range s {go func() {fmt.Print(i)}()
}
我们可能会预期这段代码不以特定的顺序打印123(因为不能保证创建的第一个goroutine会首先执行完成)。这段代码的输出不是确定性的。例始,有时会打印233,有时会打印333。这是什么原因呢?
在这个例子中,我们从一个闭包创建新的goroutine。提醒一下,闭包是一个函数值,它从其主体外部引用变量:在这里就是变量i。我们必须知道,当一个闭包goroutine被执行时,它不会捕获goroutine创建时的值。而是,所有的goroutine都引用完全相同的变量。当一个goroutine运行时,会在执行fmt.Print时打印i的值。因此,自goroutine启动以来,i 可能已被修改。
下图显示了代码打印233时可能的执行情况。随着时间的推移,i的值会发生变化:1、2,然后是3。在每次迭代中,我们都会启动一个新的goroutine。因为无法何证每个goroutine何时启动和完成,所以结果也会有所不同。在这个例子中,当i等于2时,第一个goroutine打印i。当i的值已经等于3时,其他gorout