一道关于 goroutine 的面试题,65% 的人都答错了

Go语言精选

共 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 type F,

f(a1, a2, … an)

calls f with arguments a1, a2, … an. Except for one special case, arguments must be single-valued expressions assignable[5] to the parameter types of F 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()
}()

参考资料

[1]

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




往期推荐


欢迎关注我

浏览 40
点赞
评论
收藏
分享

手机扫一扫分享

分享
举报
评论
图片
表情
推荐
点赞
评论
收藏
分享

手机扫一扫分享

分享
举报