GO基础笔记(一) defer详解

defer详解

defer是Golang一大语言特色,它扮演的是类似Java中finally的角色。用于执行释放资源的一些操作。

defer语句定义在函数内,后面跟一个函数,被defer的函数会在defer所在的函数结果前被执行。defer能够保证函数不管以何种方式结束(return或panic),被defer的函数一定被执行。

释放资源

defer可以被定义在函数中的任何地方,这意味着当我们打开一个资源,马上可以使用defer声明它的释放,这样我们在编写后面的代码的时候就不用操心这个资源的释放了。函数结束的时候会自动执行释放操作:

func ReadFile() error {
    // 打开了一些资源
    file, err := os.Open("file")
    if err != nil {
        return err
    }
    // 这条语句会自动在函数结束时执行
    defer file.Close()

    // 继续执行后面的操作,而不用操心file的释放了
    ...
}

这就是defer的一般用法了,当然,defer远没有这么简单,下面我们来扣扣defer的语法细节:

多个defer的执行顺序

如果一个函数里面有多个defer,那么会如何执行呢?观察下面的代码:

package main

import "fmt"

func main() {
    deferFunc()
}

func deferFunc() {

    defer fmt.Println("exec 1")
    defer fmt.Println("exec 2")
    defer fmt.Println("exec 3")

}

注意,defer的执行顺序遵循后进先出的原则,后面的defer语句将会被先执行,因此执行的顺序应该是从下至上的,下面是输出:

exec 3
exec 2
exec 1

我们只需要知道defer是从下到上执行的即可。

defer和return的顺序

defer的顺序还有更加深层次的话题,那就是defer和return之间的执行顺序。

观察下面的代码:

package main

import "fmt"

func main() {

    fmt.Println(deferReturn())
}

func deferReturn() (i int) {

    defer func() {
        i += 3
    }()

    i = 3

    return
}

执行一下,结果输出"6"。这说明,defer是在函数return之前执行的。而具名返回参数i的作用域是整个函数,因此理所当然地,defer可以访问i并对其做修改。

defer和panic

当函数遇到panic,defer仍然会被执行。Go会先执行所有的defer链表(该函数的所有defer),当所有defer被执行完毕且没有recover时,才会进行panic。

package main

import "fmt"

func main() {

    deferPanic()
}

func deferPanic() {

    defer fmt.Println("exec 1")
    defer fmt.Println("exec 2")
    defer fmt.Println("exec 3")

    panic("出了点小小的错误")
}

所有的defer都没有recover,因此会先从下到上执行所有的defer,最后进行panic,程序退出:

exec 3
exec 2
exec 1
panic: 出了点小小的错误

defer+recover恢复panic

我们可以在defer中进行recover,如果defer中包含recover,则程序将不会再进行panic,观察下面代码:

package main

import "fmt"

func main() {

    deferPanic()
}

func deferPanic()  {

    defer fmt.Println("最后执行")
    defer func() {
        if err := recover(); err != nil {
            fmt.Println("发生了错误!")
        }
    }()
    
    fmt.Println("错误之前")
    panic("出了点小小的错误")
    fmt.Println("错误之后")
}

程序输出:

错误之前
发生了错误!
最后执行

和之前的区别就是程序没有再panic退出了。

熟悉其它语言诸如C++JavaPython的应该知道,这实际上就是这些语言的try...catch功能。所以所谓的golang没有try...catch功能,处理异常都是返回error的说法其实不准确,Go是有类似try...catch的功能的,只不过写法和其它语言不一样。上面的代码到Java中就是这么写了:

public class TestTryCatch {
    public static void main(String[] args) {
        try {
            System.out.Println("错误之前"); 
            throw new Exception();
            System.out.Println("错误之后");
        } catch (Exception e) {
            System.out.Println("发生了错误!");
        } finally {
            System.out.Println("最后执行");
        }
    }
}

程序输出和上面的是一样的。

如果是其它函数的panic,recover可以成功吗?观察下面代码:

package main

import "fmt"

func main() {

    defer func() {
        if err := recover(); err != nil {
            fmt.Println("产生了错误!")
        }
    }()

    panicFun()

}

func panicFun() {
    panic("我是错误")
}

输出:

产生了错误!

可见,main对panicFunc的panic进行了恢复。

而如果panicFunc自己对panic进行了恢复,则main的恢复将不会再执行。观察下面的代码:

package main

import "fmt"

func main() {

    defer func() {
        if err := recover(); err != nil {
            fmt.Println("main修复错误!")
        }
    }()

    panicFunc()

}

func panicFunc() {
    
    defer func() {
        if err := recover(); err != nil {
            fmt.Println("panicFunc修复错误!")
        }
    }()
    panic("我是错误")
}

程序输出:

panicFunc修复错误!

main并没有去修复panic,因为该panic已经被先执行的panicFunc给修复掉了。

最后一个问题来,recover可以检测到其它goroutine的panic吗?看下面的代码:

package main

import (
    "fmt"
    "time"
)

func main() {
    defer fmt.Println("main defer")
    defer func() {
        if err := recover(); err != nil {
            fmt.Println("发生了错误!")
        }
    }()

    go func() {

        defer fmt.Println("other defer")
        panic("一些小问题")

    }()

    time.Sleep(1*time.Second)
    fmt.Println("程序执行完毕")
}

程序输出:

other defer
panic: 一些小问题

注意这里面有3个defer,有两个是main的defer,其中一个进行了recover;另外一个是另一个goroutine的defer。我们观察,尽管代码中的goroutine是由main创建的,但是当其发生了panic之后,main goroutine的defer并不会被主动执行。

但是,上面的例子退出是因为main中有recover的defer根本没有机会执行,那么,如果给它执行的机会呢?panic是否会被recover?观察下面的代码:

package main

import (
    "fmt"
    "time"
)

func main() {
    defer fmt.Println("main defer")
    defer func() {
        if err := recover(); err != nil {
            fmt.Println("发生了错误!")
        }
    }()

    go func() {

        defer fmt.Println("other defer")

        time.Sleep(2 * time.Second) // 隔久一点再产生panic
        panic("一些小问题")

    }()

    time.Sleep(1*time.Second)
    fmt.Println("程序执行完毕")
    
    time.Sleep(4*time.Second)
}

程序输出:

程序执行完毕
other defer
panic: 一些小问题

还是发生了panic。可见main的defer不进行recover并不是时间的原因。而是main的recover()并不能发现其它goroutine的panic。

我们可以总结一下:

  • defer+recover可以将当前函数中发生的panic给恢复
  • defer+recover也可以恢复当前函数的调用的没有被recover的其它函数的panic
  • defer+recover不可以恢复其它goroutine的panic

defer参数陷阱

defer有一个非常费解的陷阱,话不多说,先看下面的代码:

package main

import "fmt"

func main() {

    defer addAndPrint(addAndPrint(1, 2), 3)  // defer1
    defer addAndPrint(addAndPrint(4, 5), 6)  // defer2
}

func addAndPrint(a, b int) int {
    sum := a + b
    fmt.Printf("%d + %d = %d\n", a, b, sum)
    return sum
}

很多golang的新手看到这段代码,会想,按照defer的执行顺序,应该会先执行defer2,再执行defer1,因此理所当然地这段代码应该输出:

4 + 5 = 9
9 + 6 = 15
1 + 2 = 3
3 + 3 = 6

真实运行结果让人大跌眼镜:

1 + 2 = 3
4 + 5 = 9
9 + 6 = 15
3 + 3 = 6

产生这个结果的原因是,在定义defer的时候,go就需要确定defer语句的函数的参数。因此go顺序执行到defer定义的时候,会直接把defer函数的参数计算出来。

在顺序执行到defer1定义时,其第一个参数是一个函数,因此Go会先执行这个函数,所以第一个执行的应该是1 + 2 = 3,随后遇到defer2,参数也有函数,执行该函数,第二个执行的就是4 + 5 = 9。随后函数结束,再按照defer的逆序执行defer2,defer1。这时候它们的参数已经被确定,不再需要执行其他函数。

也就是说,Go保证在函数执行结束后,该defer处仅有这个函数执行,其参数在函数结束前已经全部确定好,不需要再执行其他函数来确定参数。

©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 215,012评论 6 497
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 91,628评论 3 389
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 160,653评论 0 350
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 57,485评论 1 288
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 66,574评论 6 386
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 50,590评论 1 293
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 39,596评论 3 414
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 38,340评论 0 270
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 44,794评论 1 307
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 37,102评论 2 330
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 39,276评论 1 344
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 34,940评论 5 339
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 40,583评论 3 322
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 31,201评论 0 21
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 32,441评论 1 268
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 47,173评论 2 366
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 44,136评论 2 352

推荐阅读更多精彩内容