关于golang:Go-Quiz-从Go面试题看defer语义的底层原理和注意事项

面试题

这是Go Quiz系列的第4篇，对于Go语言的defer语义。

这道题略微有点迷惑性，通过这道题能够加深咱们对Go语言defer关键字底层运行机制的了解。

package maintype Foo struct {    v int}func NewFoo(n *int) Foo {    print(*n)    return Foo{}}func (Foo) Bar(n *int) {    print(*n)}func main() {    var x = 1    var p = &x    defer NewFoo(p).Bar(p)    x = 2    p = new(int)    NewFoo(p)}

• A: 100
• B: 102
• C: 022
• D: 011

这道题次要考查以下知识点：

• 被defer的函数或办法什么时候执行？
• 被defer的函数或办法的参数的值是什么时候确定的？
• 被defer的函数或办法如果存在多级调用是什么机制？比方本题的NewFoo(p).Bar(p)就存在二级调用，先调用了NewFoo函数，再调用了Bar办法。

解析

咱们再看看官网文档怎么说的：

Each time a "defer" statement executes, the function value and parameters to
the call are evaluated as usual and saved anew but the actual function is not
invoked.

Instead, deferred functions are invoked immediately before the
surrounding function returns, in the reverse order they were deferred.

That is, if the surrounding function returns through an explicit return statement,
deferred functions are executed after any result parameters are set by that
return statement but before the function returns to its caller.

If a deferred function value evaluates to nil, execution panics when the function is
invoked, not when the "defer" statement is executed.

官网文档的前两句话对咱们求解本题至关重要，用中文来表述就是：

假如咱们在函数A的函数体内运行了defer B(params)，那被defer的函数B的参数会像一般函数调用一样被计算，然而被defer的函数B的调用会提早到函数A return或者panic之前执行。

如果defer前面跟的是多级函数的调用，只有最初一个函数会被提早执行。

比方上例里的defer NewFoo(p).Bar(p)中，NewFoo(p)是会被即时执行的，不会延后，只有最初一个办法Bar的调用会被延后执行。

同时，函数的传参也是被即时计算的，也就是defer NewFoo(p).Bar(p)里波及的参数p的值也是被即时计算保留好的，延后执行的时候就用当时计算好的值。

这道题求解过程如下：

因而本题的运行后果是102，答案是B。

defer六大准则

最初总结下defer语义要留神的六大关键点：

1. defer前面跟的必须是函数或者办法调用，defer前面的表达式不能加括号。

   defer (fmt.Println(1)) // 编译报错，因为defer前面跟的表达式不能加括号

2. 被defer的函数或办法的参数的值在执行到defer语句的时候就被确定下来了。

   func a() {    i := 0    defer fmt.Println(i) // 最终打印0    i++    return}

   上例中，被defer的函数fmt.Println的参数i在执行到defer这一行的时候，i的值是0，fmt.Println的参数就被确定下来是0了，因而最终打印的后果是0，而不是1。

3. 被defer的函数或者办法如果存在多级调用，只有最初一个函数或办法会被defer到函数return或者panic之前执行，参见下面的阐明。

4. 被defer的函数执行程序满足LIFO准则，后defer的先执行。

   func b() {    for i := 0; i < 4; i++ {        defer fmt.Print(i)    }}

   上例中，输入的后果是3210，后defer的先执行。

5. 被defer的函数能够对defer语句所在的函数的命名返回值做读取和批改操作。

   // f returns 42func f() (result int) {    defer func() {        // result is accessed after it was set to 6 by the return statement        result *= 7    }()    return 6}

   上例中，被defer的函数func对defer语句所在的函数f的命名返回值result做了批改操作。

   调用函数f，返回的后果是42。

   执行程序是函数f先把要返回的值6赋值给result，而后执行被defer的函数func，result被批改为42，而后函数f返回result给调用方，也就返回了42。

6. 即便defer语句执行了，被defer的函数不肯定会执行。对这句话不了解的能够参考上面的思考题。

思考题

思考上面这3道题的运行后果是什么？大家能够在评论区留下你们的答案。

题目1：程序运行后果是什么？

package maintype T intfunc (t T) M(n int) T {    print(n)    return t}func main() {    var t T    defer t.M(1).M(2)    t.M(3).M(4)}

题目2："end"会被打印么？f(1, 2)会不会编译报错？

package mainimport "fmt"type Add func(int, int) intfunc main() {    var f Add    defer f(1, 2)    fmt.Println("end")}

题目3：“test”会被打印么？

package mainimport (    "fmt"    "os")func test1() {    fmt.Println("test")}func main() {    defer test1()    os.Exit(0)}

开源地址

文章和示例代码开源地址在GitHub: https://github.com/jincheng9/go-tutorial

公众号：coding进阶

集体网站：https://jincheng9.github.io/

知乎：https://www.zhihu.com/people/thucuhkwuji

好文举荐

1. 被defer的函数肯定会执行么？
2. Go有援用变量和援用传递么？map,channel和slice作为函数参数是援用传递么？
3. new和make的应用区别是什么？
4. 一文读懂Go匿名构造体的应用场景
5. 官网教程：Go泛型入门
6. 一文读懂Go泛型设计和应用场景
7. Go Quiz: 从Go面试题看slice的底层原理和注意事项
8. Go Quiz: 从Go面试题看channel的注意事项
9. Go Quiz: 从Go面试题看分号规定和switch的注意事项

References

• https://go101.org/quizzes/def...
• https://github.com/jincheng9/...
• https://golang.google.cn/ref/...