go|go defer、return的执行顺序

一、一个函数中多个defer的执行顺序 defer 的作用就是把defer关键字之后的函数执行压入一个栈中延迟执行,多个defer的执行顺序是后进先出LIFO,也就是先执行最后一个defer,最后执行第一个defer
eg:
go|go defer、return的执行顺序
文章图片

输出:
go|go defer、return的执行顺序
文章图片


二、defer、return、返回值的执行返回值顺序 在此之前,先理解一下return返回值的运行机制:return并非原子操作,共分为赋值、返回值两步操作。
defer、return、返回值三者的执行是:return最先执行,先将结果写入返回值中(即赋值);接着defer开始执行一些收尾工作;最后函数携带当前返回值退出(即返回值)。
1、不带命名返回值
【go|go defer、return的执行顺序】如果函数的返回值是无名的(不带命名返回值),则go语言会在执行return的时候会执行一个类似创建一个临时变量作为保存return值的动作。
eg:
go|go defer、return的执行顺序
文章图片

输出:
go|go defer、return的执行顺序
文章图片

解释:
如上例子,实际上一共执行了3步操作,
1)赋值,因为返回值没有命名,所以return 默认指定了一个返回值(假设为s),首先将i赋值给s,i初始值是0,所以s也是0
2)后续的defer操作因为是针对i,进行的,所以不会影响s, 此后因为s不会更新,所以s不会变还是0
3)返回值,return s,也就是return 0
相当于:
var i int
s := i
return s

2、有名返回值
有名返回值的函数,由于返回值在函数定义的时候已经将该变量进行定义,在执行return的时候会先执行返回值保存操作,而后续的defer函数会改变这个返回值(虽然defer是在return之后执行的,但是由于使用的函数定义的变量,所以执行defer操作后对该变量的修改会影响到return的值。
eg:
go|go defer、return的执行顺序
文章图片

输出:
go|go defer、return的执行顺序
文章图片

解释:
s 就相当于命名的变量i,因为所有的操作都是基于命名变量i(s),返回值也是i,所以每一次defer操作,都会更新返回值,执行完defer后,会返回最终i的值。

    推荐阅读