一道关于 goroutine 的面试题,65% 的人都答错了
共 2197字,需浏览 5分钟
·
2021-01-23 09:30
阅读本文大概需要 3 分钟。
大家好,我是站长 polarisxu。
上周末在 Go语言爱好者周刊第 78 期出了一道题,以下代码输出什么?
package main
import (
"fmt"
"time"
)
func main() {
ch1 := make(chan int)
go fmt.Println(<-ch1)
ch1 <- 5
time.Sleep(1 * time.Second)
}
A:5;B:编译不通过;C:运行时死锁
如果你没有做这道题,往下看之前,先思考下。
看了下答题结果,正确率有点低,才 35%:
可见不少人的基础还是不扎实。
此题如果改为这样:
package main
import (
"fmt"
"time"
)
func main() {
ch1 := make(chan int)
go func(){
fmt.Println(<-ch1)
}()
ch1 <- 5
time.Sleep(1 * time.Second)
}
结果就是 A 了。对比下你能知道原因了吧!
在 Go 语言规范中,关于 go 语句[1]有这么一句描述:
GoStmt = "go" Expression .
The expression must be a function or method call; it cannot be parenthesized. Calls of built-in functions are restricted as for expression statements[2].
The function value and parameters are evaluated as usual[3] in the calling goroutine, but unlike with a regular call, program execution does not wait for the invoked function to complete.
这里说明,go 语句后面的函数调用,其参数会先求值,这和普通的函数调用求值一样。在规范中调用部分[4]是这样描述的:
Given an expression
f
of function typeF
,f(a1, a2, … an)
calls
f
with argumentsa1, a2, … an
. Except for one special case, arguments must be single-valued expressions assignable[5] to the parameter types ofF
and are evaluated before the function is called.
大意思是说,函数调用之前,实参就被求值好了。
因此这道题目 go fmt.Println(<-ch1)
语句中的 <-ch1
是在 main goroutine 中求值的。这相当于一个无缓冲的 chan,发送和接收操作都在一个 goroutine 中(main goroutine)进行,因此造成死锁。
更进一步,大家可以通过汇编看看上面两种方式的不同。
此外,defer 语句也要注意。比如下面的做法是不对的:
defer recover()
而应该使用这样的方式:
defer func() {
recover()
}()
参考资料
go 语句: https://docs.studygolang.com/ref/spec#Go_statements
[2]expression statements: https://docs.studygolang.com/ref/spec#Expression_statements
[3]evaluated as usual: https://docs.studygolang.com/ref/spec#Calls
[4]调用部分: https://docs.studygolang.com/ref/spec#Calls
[5]assignable: https://docs.studygolang.com/ref/spec#Assignability
欢迎关注我