go defer、return的执行顺序

一、一个函数中多个defer的执行顺序

defer 的作用就是把defer关键字之后的函数执行压入一个栈中延迟执行,多个defer的执行顺序是后进先出LIFO,也就是先执行最后一个defer,最后执行第一个defer

eg:

go defer、return的执行顺序_第1张图片

 输出:

go defer、return的执行顺序_第2张图片

 

二、defer、return、返回值的执行返回值顺序

  在此之前,先理解一下return返回值的运行机制:return并非原子操作,共分为赋值、返回值两步操作。

  defer、return、返回值三者的执行是:return最先执行,先将结果写入返回值中(即赋值);接着defer开始执行一些收尾工作;最后函数携带当前返回值退出(即返回值)。

  1、不带命名返回值

  如果函数的返回值是无名的(不带命名返回值),则go语言会在执行return的时候会执行一个类似创建一个临时变量作为保存return值的动作。

eg:

go defer、return的执行顺序_第3张图片

 输出:

go defer、return的执行顺序_第4张图片

解释:

如上例子,实际上一共执行了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 defer、return的执行顺序_第5张图片

输出:

go defer、return的执行顺序_第6张图片

解释:

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

你可能感兴趣的:(go defer、return的执行顺序)