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

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

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

• A. aaa: done
• B. bbb: surprise!aaa: done
• C. 永远不会结束
• D. 编译错误

解析

答案：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语言资深工程师的路上任重道远呀～。