Go: For-Loop-Variable 适合面试的小问题

在面试的过程中, 如果恰好遇到对方日常也使用 Go 做为主力语言, 我会选择一些简单而可扩展的问题交流下双方对 Go 的熟悉程度.

我喜欢的一个问题是让面试者告诉我下述代码的运行结果:

func main() { for i := 0; i < 3; i++ { go func() { fmt.Println(i) }() } time.Sleep(time.Second) } 

正确的答案应该是: 乱序输出三个数字. 对于三种错误答案: 输出 1, 2, 3; 输出三个数字; 乱序输出 1, 2, 3; 都可以通过反问再给予一次机会.

进一步的, 我们可以询问如何让其至少将 1, 2, 3 都输出一次. 大多数时候, 我们的得到的答案会是将 i 做为参数传入. 此时我喜欢再追问, 下述代码中 i := i 的写法是否正确.

func main() { for i := 0; i < 3; i++ { i := i go func() { fmt.Println(i) }() } time.Sleep(time.Second) } 

我并不认为这是一个 Language Lawyer 问题, 由于 Go 中 for 循环的特殊实现方式, i := i 这种方式在 Go 中是普遍存在的.

极少数情况下, 我们可以再讨论下上述例子的原因, 允许面试者有更大的发挥机会. 其中包括的点有:

• Go 并不保证先启动的 goroutine 先执行
• Go 中 for 循环的实现是 one-instance-per-loop, 而不是 one-instance-per-iteration.

我们在下述例子中看到, i 和 v 的内存地址始终未曾改变:

~ cat main.go func main() { nums := []int{1, 2, 3} for i, v := range nums { fmt.Println(&i, &v) } } ~ go run main.go 0x1400009a018 0x1400009a020 0x1400009a018 0x1400009a020 0x1400009a018 0x1400009a020 

• 闭包(closure)可能以值(by value)或者地址(by reference)的形式引用外部变量; 当引用 for 循环的中变量时, 是以地址的方式
• Go 允许在 inner block 中定义重名的变量, 下述代码虽然不好但合法

~ cat main.go | grep -A 7 "func fnVarScope" func fnVarScope() { s := "hello world" { s := 10 fmt.Println("s:", s) } fmt.Println("s:", s) } ~ go run main.go s: 10 s: hello world 

Source: https://github.com/j2gg0s/j2gg0s/blob/main/_posts/2023-12-29-Go%3A%20For-Loop-Variable%20%E9%80%82%E5%90%88%E9%9D%A2%E8%AF%95%E7%9A%84%E5%B0%8F%E9%97%AE%E9%A2%98.md