Go语言defer与return执行的先后顺序详解

目录
  • 先了解什么是defer
  • defer 的用法
  • 那么defer 和 return有什么联系？
    • 原因:
    • 更进一步理解
    • 省流小结

先了解什么是defer

Go语言中的defer与return执行的先后顺序

Go语言的 defer 语句会将其后面跟随的语句进行延迟处理，在 defer 归属的函数即将返回时，将延迟处理的语句按 defer 的逆序进行执行.也就是说，先被 defer 的语句最后被执行，最后被 defer 的语句，最先被执行。（与栈的先入后出是一个道理，也可以将其理解为入栈和出栈）

举一个简单的例子

func main() {
   a, b := 111, 333
   defer fmt.Println("b= ", b)
   fmt.Println("a= ", a)
}
打印结果:
a=  111
b=  333

可以看到虽然执行语句时b在前，但是输出结果为b在最后被输出。

defer 的用法

(简单讲解，细节请自行查阅资料)

一般用来释放资源或者读写操作,当处理业务或逻辑中涉及成对的操作是一件比较烦琐的事情，比如打开和关闭文件、接收请求和回复请求、加锁和解锁等。在这些操作中，最容易忽略的就是在每个函数退出处正确地释放和关闭资源。比如下面一个例子

func main(){
    a := 1
    out := bufio.NewWriter(os.Stdout)
    defer out.Flush()
    fmt.Fprintln(out, a)
}
输出结果:
1

就可以在最后将结果打印到控制台中去,类似的用法如关闭数据库资源等等。如果这个例子太过于简单，那么来看下个例子。

var a bool = true
defer func() {
   fmt.Println("1")
}()
if a == true {
   fmt.Println("2")
   return
}
defer func() {
   fmt.Println("3")
}()
输出结果:
2
1

我们会发现defer语句也是需要被执行的，如果在defer函数执行之前就执行return。defer后的语句就不会再被执行了。但是如果是在return之前defer已经执行，则defer中的语句将会在return执行之前先一步进行执行.

那么defer 和 return有什么联系？

defer 是延迟执行语句，return是返回语句，那么肯定出现谁先谁后的问题。下面看一个经典的例子吧

func increaseA() int {
	var i int
	defer func() {
		i++
	}()
	return i
}
func increaseB() (r int) {
	defer func() {
		r++
	}()
	return r
}
func main() {
	fmt.Println(increaseA())
	fmt.Println(increaseB())
}
输出结果为:
0
1

肯定有人觉得有疑惑，为什么A函数没有输出，B函数却输出了呢？为什么答案不是1和0呢？

原因:

先说结论:defer 修饰的匿名函数，只能更新具名返回值.那么这会导致什么问题呢？我们来逐步分析这个例子。

  • 在increaseA()函数中有一个声明i，表示i在该函数内已经被生成，是有名称的变量。但该函数返回参数为匿名参数.
  • 在increaseB()函数中没有声明r，是匿名变量。但该函数返回参数为具名参数.
  • func increaseA() int，返回值i=0的时候该值已经被绑定到返回值里了，defer再去改i已经没用了.
  • func increaseB() (r int), 返回值r先把返回变量设为0，defer又把r改为1.这时候还能生效. 因此答案很明显为 1 和 0.

更进一步理解

我们若想要进一步理解也可以去输出汇编语句，然后进行研读，可惜我是个菜鸟读不懂汇编语言！但我们可以从return入手

我们要理解return 返回值的运行机制:

return并非原子操作，分为赋值，和返回值两步操作.实际上return 执行了两步操作，因为返回值没有命名，所以return默认指定了一个返回值（假设为a），首先将i赋值给a,后续的操作因为是针对i进行的,所以不会影响a, 此后因为a不会更新，所以return a不会改变.

var i int
a := i
return a

但是如果return的参数a是具名参数，就像上述例子中increaseB()函数一样。a就相当于命名的变量i, 因为所有的操作都是基于命名变量i(a),返回值也是i, 所以每一次defer操作，都会更新返回值i.

省流小结

return会将返回值先保存起来，对于无名返回值来说，保存在一个临时对象中，defer是看不到这个临时对象的;而对于有名返回值来说，就保存在已命名的变量中。

以上就是Go语言defer与return执行的先后顺序详解的详细内容，更多关于Go defer return执行顺序的资料请关注我们其它相关文章！

赞 (0)

相关推荐

  • go语言中的return语句

    目录 1.基本语法和说明 2.函数的递归调用 2.1基本介绍 2.2递归调用入门 3.总结 1.基本语法和说明 在 Go 语言 中,跳转控制语句除了有 goto .break 和 continue 之外,还可以使用 return .如果 return 语句使用在普通的 函数 中,则表示跳出该函数,不再执行函数中 return 后面的代码,可以理解成终止函数.如果 return 语句使用在 main 函数中,表示终止 main 函数,也就是终止程序的运行. go函数支持返回多个值,这一点是其他编程

  • Go语言defer的一些神奇规则示例详解

    目录 测试题 分析 规则一当defer被声明时,其参数就会被实时解析 规则二 defer可能操作主函数的具名返回值 规则三 延迟函数执行按后进先出顺序执行 坑实例 测试题 defer有一些规则,如果不了解,代码实现的最终结果会与预期不一致.对于这些规则,你了解吗? 这是关于defer使用的代码,可以先考虑一下返回值. package main import ( "fmt" ) /** * @Author: Jason Pang * @Description: 快照 */ func de

  • Go程序员踩过的defer坑错误处理

    目录 前言 一.简单的例子 二.一定不要在 for 循环中使用 defer 语句 三.定义函数时就不要使用命名返回值 四.defer 表达式的函数如果在 panic 后面,则这个函数无法被执行. 五.执行顺序 五.捕获异常执行顺序 六.函数执行顺序 七.外部函数捕获异常执行顺序 八.recover 的返回值问题 前言 先声明:我被坑过. 之前写 Go 专栏时,写过一篇文章:Go 专栏|错误处理:defer,panic 和 recover.有小伙伴留言说:道理都懂,但还是不知道怎么用,而且还总出现

  • GO语言中err接口及defer延迟异常处理分析

    目录 err接口 panic函数 defer延迟 defer与匿名函数结合使用 recover防止程序中断 err接口 Go语言引入了一个关于错误处理的标准模式,即error接口,它是Go语言内建的接口类型,该接口的定义如下: type error interface { Error() string } 调用对应接口 err:=errors.New("this is normal err") fmt.Println(err.Error()) err2:=fmt.Errorf(&quo

  • Go基础教程系列之defer、panic和recover详解

    defer关键字 defer关键字可以让函数或语句延迟到函数语句块的最结尾时,即即将退出函数时执行,即便函数中途报错结束.即便已经panic().即便函数已经return了,也都会执行defer所推迟的对象. 其实defer的本质是,当在某个函数中使用了defer关键字,则创建一个独立的defer栈帧,并将该defer语句压入栈中,同时将其使用的相关变量也拷贝到该栈帧中(显然是按值拷贝的).因为栈是LIFO方式,所以先压栈的后执行.因为是独立的栈帧,所以即使调用者函数已经返回或报错,也一样能在它

  • Go语言defer与return执行的先后顺序详解

    目录 先了解什么是defer defer 的用法 那么defer 和 return有什么联系? 原因: 更进一步理解 省流小结 先了解什么是defer Go语言中的defer与return执行的先后顺序 Go语言的 defer 语句会将其后面跟随的语句进行延迟处理,在 defer 归属的函数即将返回时,将延迟处理的语句按 defer 的逆序进行执行.也就是说,先被 defer 的语句最后被执行,最后被 defer 的语句,最先被执行.(与栈的先入后出是一个道理,也可以将其理解为入栈和出栈) 举一

  • C语言中函数参数的入栈顺序详解及实例

    C语言中函数参数的入栈顺序详解及实例 对技术执着的人,比如说我,往往对一些问题,不仅想做到"知其然",还想做到"知其所以然".C语言可谓博大精深,即使我已经有多年的开发经验,可还是有许多问题不知其所以然.某天某地某人问我,C语言中函数参数的入栈顺序如何?从右至左,我随口回答.为什么是从右至左呢?我终究没有给出合理的解释.于是,只好做了个作业,于是有了这篇小博文. #include void foo(int x, int y, int z) { printf(&quo

  • Go语言异步API设计的扇入扇出模式详解

    Go语言异步API设计的扇入扇出模式详解

    目录 前言 扇入/扇出服务 Go 语言实现扇入/扇出模式 前言 扇出/扇入模式是更高级 API 集成的主要内容.这些应用程序并不总是表现出相同的可用性或性能特征. 扇出是从电子工程中借用的一个术语,它描述了输入的逻辑门连接到另一个输出门的数量.输出需要提供足够的电流来驱动所有连接的输入.在事务处理系统中,用来描述为了服务一个输入请求而需要做的请求总数. 扇入是指为逻辑单元的输入方程提供输入信号的最大数量.扇入是定义单个逻辑门可以接受的最大数字输入数量的术语.大多数晶体管-晶体管逻辑 (TTL)

  • GO语言并发之好用的sync包详解

    目录 sync.Map 并发安全的Map sync.Once 只执行一次 sync.Cond 条件变量控制 小结 sync.Map 并发安全的Map 反例如下,两个Goroutine分别读写. func unsafeMap(){ var wg sync.WaitGroup m := make(map[int]int) wg.Add(2) go func() { defer wg.Done() for i := 0; i < 10000; i++ { m[i] = i } }() go func(

  • MyBatis 执行动态 SQL语句详解

    大家基本上都知道如何使用 MyBatis 执行任意 SQL,使用方法很简单,例如在一个 XXMapper.xml 中: <select id="executeSql" resultType="map"> ${_parameter} </select> 你可以如下调用: sqlSession.selectList("executeSql", "select * from sysuser where enabled

  • C语言中的指针以及二级指针代码详解

    很多初学者都对C中的指针很迷糊,希望这篇blog能帮助到大家: 1.什么是"指针": 在执行C程序的时候,由于我们的数据是存储在内存中的.所以对于C程序本身来说,如果想找到相应被调用的数据,就要知道存储该数据的内存地址是多少,换言之,C程序通过已知的内存地址到相应的内存位置存储数据. 这里简单说一下内存管理(对于初学者来说.为了避免专业术语引发的理解问题,下面的叙述尽量避免专业定义:),对于现代计算机系统来说,内存空间分为两个区域,一个是"数据区",一个是"

  • C语言实现三子棋的步骤和代码详解

    C语言实现三子棋的步骤和代码详解

    一.问题描述 用c语言实现三子棋. 二.基本流程 在写三子棋的代码之前,我们来看看实现这个游戏的逻辑: 1.菜单界面选择开始或者退出游戏. 2.创建棋盘并初始化. 3.打印棋盘. 4.玩家落子(玩家输入行列坐标的方式来落子),'x'表示玩家落子. 5.判定胜负关系(输,赢,和棋),'q'表示和棋. 6.电脑落子(随机位置落子) ,'o'表示电脑落子. 7.判定胜负关系. 8.回到 步骤2 继续执行. 三.步骤 1.菜单界面 1.开始游戏 0.退出游戏 int menu(){ printf("--

  • Go语言基础语法之结构体及方法详解

    结构体类型可以用来保存不同类型的数据,也可以通过方法的形式来声明它的行为.本文将介绍go语言中的结构体和方法,以及"继承"的实现方法. 结构体类型 结构体类型(struct)在go语言中具有重要地位,它是实现go语言面向对象编程的重要工具.go语言中没有类的概念,可以使用结构体实现类似的功能,传统的OOP(Object-Oriented Programming)思想中的继承在go中可以通过嵌入字段的方式实现. 结构体的声明与定义: // 使用关键字 type 和 struct 定义名字

  • C语言预处理预编译命令及宏定义详解

    C语言预处理预编译命令及宏定义详解

    目录 程序翻译环境和执行环境 翻译环境:详解编译+链接 1. 编译 - 预处理/预编译 test.c ---- test.i 2. 编译 - 编译 test.i ---- test.s 3. 编译 - 汇编 test.s ---- test.obj 4. 链接 test.obj ---- test.exe 运行环境 预处理/预编译详解 #define 定义标识符 #和## #的作用 ##的作用 命名约定 命令行定义 条件编译 常见的条件编译指令 文件包含 offsetof(宏类型,成员名字)偏移

  • Go语言基础go build命令用法及示例详解

    Go语言基础go build命令用法及示例详解

    目录 go build 一个Go项目在GOPATH下,会有如下三个目录 使用: 注意: go build 1. 用于测试编译多个包或一个main包 2. build命令编译包丢弃非main包编译结果,只是检查是否能够被编译 3. 保留main包编译结果 一个Go项目在GOPATH下,会有如下三个目录 bin存放编译后的可执行文件 pkg存放编译后的包文件 src存放项目源文件 一般,bin和pkg目录可以不创建,go命令会自动创建(如 go install),只需要创建src目录即可. 使用:

随机推荐