Go 每日一题

以下代码输出什么？

package main

import "fmt"

func main() {
    ch := make(chan int)
    go  fmt.Println(<-ch)
    ch <- 1
}

A:1 B:编译报错 C：运行死锁异常

答案解析：

这是 Go语言爱好者周刊第 78 期的一道题。当时正确率有点低，才 35%，可见不少人的基础还是不扎实。

此题如果改为这样：

package main

import (
	"fmt"
	"time"
)

func main() {
	ch1 := make(chan int)
  go func(){
    fmt.Println(<-ch1)
  }()
	ch1 <- 1
	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()
}()

答案解析来自：polarisxu.studygolang.com/posts/go/ac…。