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

2024-11-02 06:04:19

先了解什么是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执行顺序的资料请关注我们其它相关文章！

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的一些神奇规则示例详解

目录测试题分析规则一当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语言中的return语句

目录 1.基本语法和说明 2.函数的递归调用 2.1基本介绍 2.2递归调用入门 3.总结 1.基本语法和说明在 Go 语言中,跳转控制语句除了有 goto .break 和 continue 之外,还可以使用 return .如果 return 语句使用在普通的函数中,则表示跳出该函数,不再执行函数中 return 后面的代码,可以理解成终止函数.如果 return 语句使用在 main 函数中,表示终止 main 函数,也就是终止程序的运行. go函数支持返回多个值,这一点是其他编程
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 集成的主要内容.这些应用程序并不总是表现出相同的可用性或性能特征. 扇出是从电子工程中借用的一个术语,它描述了输入的逻辑门连接到另一个输出门的数量.输出需要提供足够的电流来驱动所有连接的输入.在事务处理系统中,用来描述为了服务一个输入请求而需要做的请求总数. 扇入是指为逻辑单元的输入方程提供输入信号的最大数量.扇入是定义单个逻辑门可以接受的最大数字输入数量的术语.大多数晶体管-晶体管逻辑 (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语言实现三子棋. 二.基本流程在写三子棋的代码之前,我们来看看实现这个游戏的逻辑: 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语言预处理预编译命令及宏定义详解

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