goroutine后语句的调用

题目:

以下代码输出什么？

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：运行时死锁

答案解析：

答案为C。因为goroutine后的的函数在调用之前，参数就已经被求好值了，也就是说main函数执行到go fmt.Println(<- ch1)时，会先求<-ch1此时，由于不存在除main外的goroutine为ch1传值，故程序运行时死锁。

以下解析来自Go语言爱好者周刊第 78 期的一道题。当时正确率有点低，才 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 语句有这么一句描述：

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.

The function value and parameters are evaluated as usual in the calling goroutine, but unlike with a regular call, program execution does not wait for the invoked function to complete.

这里说明，go 语句后面的函数调用，其参数会先求值，这和普通的函数调用求值一样。在规范中调用部分是这样描述的：

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 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()
}()

答案解析来自：https://polarisxu.studygolang.com/posts/go/action/weekly-question-78/。