一道正确率只有15%的命名返回值和闭包的问题

前言

哈喽，大家好，我是​​asong​​​。今天新注册了​​twitter​​​，在里面没事瞎逛的时候，发现了一道有意思的题，他是由​​Redhat​​​的首席工程师、​​Prometheus​​​开源项目维护者 Bartłomiej Płotka 发出的，经调查显示，这道题的正确率只有​​15.2%​​，惨目忍睹，接下来我们就一起来看一下这道题～

题目

下面这段代码输出结果是多少？

func aaa() (done func(), err error) {
 return func() { print("aaa: done") }, nil
}

func bbb() (done func(), _ error) {
 done, err := aaa()
 return func() { print("bbb: surprise!"); done() }, err
}

func main() {
 done, _ := bbb()
 done()
}

来吧，朋友们，选出你的答案吧～

总共四个答案：

题目解析

正确答案是【C】：永远不会结束，你答对了吗？

这道题考查的点就是命名返回值+闭包，把上面的代码换成等效的匿名返回值代码你就明白了：

func aaa() (func(), error) {
 var done func()
 done = func() {
  print("aaa: done")
 }
 return done, nil
}

func bbb() (func(), error) {
 var done func()
 done, err := aaa()
 done = func() {
  print("bbb: surprise!");
  done()
 }
 return done, err
}

func main() {
 done, _ := bbb()
 done()
}

这其实是​​Go​​​语言设计上一个​​feature​​​，当​​Go​​​语言的返回值赋给我们特殊的"返回参数"时，如果它们被命名了，在​​return​​​之后，我们可以在函数主体完成后的任何执行过程中引用那些带有这些名称的值，在​​defer​​或闭包中一样。

我们在说回这道题，在​​bbb()​​​函数内我们使用了命名返回值​​done func(), _ error​​​，使用短变量声明​​done, err := aaa()​​​接收​​aaa()​​​的返回值，这里变量​​done​​​并不是一个新变量，这就要说到​​Go​​​语言的短变量声明的语法糖了，在多变量声明中，如果其中一个变量是新的，可以使用 ​​:=​​​ 声明，编译器会进行类型推断和赋值，已经声明的变量不会重新声明，直接在原变量上赋值；之后我们​​return​​​的是一个闭包函数，闭包里的​​done​​​值并不会被提前解析，在​​bbb()​​函数结束后，实际对应的代码就成了这样，变成了递归。

done = func() {
  print("bbb: surprise!");
  done()
}

如果我们把代码在改成这样：

func bbb() (func(), error) {
 var done func()
 done, err := aaa()
 return func() {
  print("bbb: surprise!");
  done()
 }, err
}

答案就是【B】：​​bbb: surprise!aaa: done​​

总结

一道看似简单的题，其中蕴涵的知识点确有很多，这就说明了解设计原理是多么的重要，​​Go语言​​资深工程师的路上任重道远呀～。

好啦，本文到这里就结束了，我是asong，我们下期见。

​