golang学习笔记(defer基础知识)

news/2024/5/18 18:30:33

什么是defer

defer语句用于golang程序中延迟函数的调用, 每次defer都会把一个函数压入栈中, 函数返回前再把延迟的函数取出并执行。

为了方便描述, 我们把创建defer的函数称为主函数, defer语句后面的函数称为延迟函数。延迟函数可能有输入参数, 这些参数可能来源于定义defer的函数, 延迟函数也可能引用主函数用于返回的变量, 也就是说延迟函数可能会影响主函数的一些行为。

defer的规则

规则一:延迟函数的参数在defer语句出现时就已经确定

package mainimport "fmt"func main() {deferFuncParameter()
}func deferFuncParameter() {var aInt = 1defer fmt.Println(aInt)aInt = 2return
}

结果:
在这里插入图片描述
代码说明: 函数deferFuncParameter()定义一个整型变量并初始化为1,然后使用defer语句打印出变量值, 最后修改变量值为2。
参考答案: 输出1。 延迟函数fmt.Println(aInt)的参数在defer语句出现时就已经确定了, 后面修改的aInt变量实际上是拷贝了一份。所以无论后面如何修改aInt变量都不会影响延迟函数的执行。
注意: 对于指针类型参数, 规则仍然适用, 只不过延迟函数的参数是一个地址值, 这种情况下,defer后面的语句对变量的修改可能会影响延迟函数。

package mainimport "fmt"func main() {deferArray()
}func printArray(array *[3]int)  {for i := range array {fmt.Println(array[i])}
}func deferArray()  {var aArray = [3]int{1, 2, 3}defer printArray(&aArray)aArray[0] = 10return
}

结果:
在这里插入图片描述
函数说明: 函数deferFuncParameter()定义一个数组, 通过defer延迟函数printArray()的调用, 最后修改数组第一个元素。 printArray()函数接受数组的指针并把数组全部打印出来。
参考答案: 输出10、 2、 3三个值。 延迟函数printArray()的参数在defer语句出现时就已经确定了, 即数组的地址, 由于延迟函数执行时机是在return语句之前, 所以对数组的最终修改值会被打印出来。

规则二:defer延迟函数执行按后进先出顺序执行, 即先出现的defer最后执行

定义defer类似于入栈操作, 执行defer类似于出栈操作。

设计defer的初衷是简化函数返回时资源清理的动作, 资源往往有依赖顺序, 比如先申请A资源, 再跟据A资源申请B资源, 跟据B资源申请C资源, 即申请顺序是:A—>B—>C, 释放时往往又要反向进行。 这就是把deffer设计成FIFO的原因。每申请到一个用完需要释放的资源时, 立即定义一个defer来释放资源是个很好的习惯。

规则三: 延迟函数可能操作主函数的具名返回值

定义defer的函数, 即主函数可能有返回值, 返回值有没有名字没有关系, defer所作用的函数, 即延迟函数可能会影响到返回值。

package mainimport "fmt"func main() {fmt.Println(test())
}
func test() (res int) {a := 1defer func() {res ++}()return a
}

结果
在这里插入图片描述
函数说明: 函数拥有一个具名返回值result, 函数内部声明一个变量a, defer指定一个延迟函数, 最后返回变量a。延迟函数中递增res。
参考答案: 函数输出2。 函数的return语句并不是原子的, 实际执行分为设置返回值—>ret, defer语句实际执行在返回前, 即拥有defer的函数返回过程是: 设置返回值—>执行defer—>res。 所以return语句先把res设置为a的值, 即1, defer语句中又把res递增1, 所以最终返回2。
return 返回值解析
该函数的return语句可以拆分成下面两行:

result = i
return

而延迟函数的执行正是在return之前, 即加入defer后的执行过程如下:

result = i
result++
return

一个主函数拥有一个匿名的返回值, 返回时使用字面值, 比如返回”1”、 ”2”、 ”Hello”这样的值, 这种情况下defer语句是无法操作返回值的。
另外返回值是匿名类型的值,这种情况下defer语句可以引用到返回值, 但不会改变返回值。

package mainimport "fmt"func main() {fmt.Println(test())
}
func test() int {a := 1defer func() {a ++}()return a
}func printArray(array *[3]int)  {for i := range array {fmt.Println(array[i])}
}

结果:
在这里插入图片描述
上面的函数, 返回一个局部变量, 同时defer函数也会操作这个局部变量。 对于匿名返回值来说, 可以假定仍然有一个变量存储返回值, 假定返回值变量为”anony”, 上面的返回语句可以拆分成以下过程:

anony = aa++
return

由于a是整型, 会将值拷贝给anony, 所以defer语句中修改i值, 对函数返回值不造成影响。

总结

  1. defer定义的延迟函数参数在defer语句出时就已经确定下来了
  2. defer定义顺序与实际执行顺序相反
  3. return不是原子操作,执行过程是: 保存返回值(若有)—>执行defer( 若有) —>执行ret跳转
  4. 申请资源后立即使用defer关闭资源是好习惯

http://www.mrgr.cn/p/54172035

相关文章

重回铁王座!时隔5年!Quill 2.0 终于发布啦

2024年4月17日,Quill 2.0 正式发布🎉期待了5年,我怀着激动的心情立马升级体验了下,本文我就带大家一起看看 Quill 2.0 有哪些重大更新。你好,我是 Kagol。 2024年4月17日,Quill 2.0 正式发布🎉 最后一个 1.0 版本 1.3.7 发布于 2019年9月9日,时隔4年零7个月。 富文本…

Adobe Illustrator 2024 v28.4.1 (macOS, Windows) - 矢量绘图

Adobe Illustrator 2024 v28.4.1 (macOS, Windows) - 矢量绘图 Acrobat、After Effects、Animate、Audition、Bridge、Character Animator、Dimension、Dreamweaver、Illustrator、InCopy、InDesign、Lightroom Classic、Media Encoder、Photoshop、Premiere Pro、Adobe XD 请…

Git之merge与rebase操作命令及问题

背景:之前一直使用的是 merge 来实现两分支的合并代码操作,遇到冲突,解决完冲突从头 add 、commit 、push 再次操作一遍提交操作就没啥事了。但后来的大型项目是 多人协同开发,前端带头人提议倡导使用 rebase 来合并分支&#xff…

推荐|免费ssl通配符证书https通配符证书平台,性价比超高的证书

在网络安全日益重要的今天,选择一个可靠的SSL证书平台至关重要。Spug证书平台以其高性价比、专业服务、便捷操作,以及独有的无限免费通配符证书申请功能,成为了您的理想选择。 网址:ssl.spug.cc 为什么选择Spug证书平台?免费通配符:支持免费申请通配符证书,为您的多子站…

Pytorch手撸Attention

Pytorch手撸Attention 注释写的很详细了,对照着公式比较下更好理解,可以参考一下知乎的文章 注意力机制 import torch import torch.nn as nn import torch.nn.functional as Fclass SelfAttention(nn.Module):def __init__(self, embed_size):super(S…

架构师核心-云计算云上实战(云计算基础、云服务器ECS、云设施实战、云上高并发Web架构)

文章目录 云计算基础1. 概念1. 云平台优势2. 公有云3. 私有云4. IaaS、PaaS、SaaS 2. 云设施1. 概览2. 核心组件 云服务器ECS1. ECS介绍1. 简介2. 组件3. 概念4. 图解5. 规格6. 场景 2. ECS服务器开通1. 开通服务器2. 连接服务器 3. 云部署准备1. 1Panel介绍2. 安装1Panel3.安全…

读天才与算法:人脑与AI的数学思维笔记09_分形

分形1. 分形 1.1. 1904年,瑞典数学家科赫(Helge von Koch)首次发表了雪花图案的结构——科赫曲线(又称雪花曲线),它被认为是一种数学怪胎,一种奇怪的人工构造 1.1.1. 但实际上并不是,自然界中到处都是以分形结构存在着的图形 1.1.2. 既不能说科赫曲线是一维的,也不能说…

C/C++程序设计实验报告4 | 函数实验

本文整理自博主本科大一《C/C程序设计》专业课的课内实验报告,适合C语言初学者们学习、练习。 编译器:gcc 10.3.0 ---- 注: 1.虽然课程名为C程序设计,但实际上当时校内该课的内容大部分其实都是C语言,C的元素最多可能只…

[转帖] 银河麒麟系统安全机制-KYSEC

https://zhuanlan.zhihu.com/p/349663329 麒麟系统为什么称为国内最安全的Linux系统?秘密就在于KYSEC,麒麟系统安全机制。一般情况下Linux下默认的接入控制是DAC,其特点是资源的拥有者可以对他进行任何操作(读、写、执行)。当一个进程准备操作资源时,Linux内核会比较进程…

[转帖]数据库系列之简要对比下GaussDB和OpenGauss数据库

https://blog.csdn.net/solihawk/article/details/134939941GaussDB作为一款企业级的数据库产品,和开源数据库OpenGauss之间又是什么样的关系,刚开始接触的时候是一头雾水,因此本文简要对比下二者的区别,以加深了解。 1、GaussDB和OpenGauss数据库简要对比 GaussDB是华为基…

分布式与一致性协议之CAP(二)

CAP CAP不可能三角 CAP不可能三角是指对于一个分布式系统而言,一致性、可用性、分区容错性指标不可兼得,只能从中选择两个, 如图所示。CAP不可能三角最初是埃里克布鲁尔(Eric Brewer)基于自己的工程实践提出的一个猜想,后被塞斯吉…

如何在CentOS搭建docker compose ui可视化工具并无公网IP远程管理容器

💝💝💝欢迎来到我的博客,很高兴能够在这里和您见面!希望您在这里可以感受到一份轻松愉快的氛围,不仅可以获得有趣的内容和知识,也可以畅所欲言、分享您的想法和见解。 推荐:kwan 的首页,持续学…

在一台笔记本电脑上试用Ubuntu22.04

在一台笔记本电脑上试用Ubuntu22.04。 本来想看以下该操作系统能否识别笔记本电脑上的硬盘,于是下载试一下。选了一个国内镜像网站下载。下载速度很快。下载以后用软件win image 将下载的iso文件写到U盘上,用的是usb2.0的U盘,该操作用时11分…

【八股】计算机网络篇

网络模型 应用层【HTTP👉报文/消息】 传输层【TCP或UDP👉段👉MSS】网络层【IP、寻址和路由👉MTU】 ①IP(Internet Protocol,网际协议)主要作用是定义数据包的格式、对数据包进行路由和寻址&…

9.Eureka服务发现+Ribbon+RestTemplate服务调用

order-service服务通过服务名称来代替 ip:port的方式访问user-service服务的接口。 原来的请求代码: Service public class OrderServiceImpl implements OrderService {Autowiredprivate OrderMapper orderMapper;Autowiredprivate RestTemplate restTemplate;Ov…

深度学习中的熵、交叉熵、相对熵(KL散度)、极大释然估计之间的联系与区别

熵的最初来源于热力学。在热力学中,熵代表了系统的无序程度或混乱程度,也可以理解为系统的热力学状态的一种度量。后来被广泛引用于各个领域中,如信息学、统计学、AI等,甚至社会学当中。接下来将大家领略一下深度学习中熵的应用。…

npm、yarn与pnpm详解

🔥 npm、yarn与pnpm详解 🔖 一、npm 🔍 简介: npm是随Node.js一起安装的官方包管理工具,它为开发者搭建了一个庞大的资源库,允许他们在这个平台上搜索、安装和管理项目所必需的各种代码库或模块。 &#…

面向对象三大特征(python)

目录 1. 封装 为什么使用封装? 如何实现封装? 一个简单的封装示例 二.继承 为什么使用继承? 如何实现继承? 一个简单的继承示例 使用继承的好处 三.多态 为什么使用多态? 如何实现多态? 一个简…

Django模型继承之多表继承

在Django模型继承中,支持的第二种模型继承方式是层次结构中的每个模型都是一个单独的模型。每个模型都指向分离的数据表,并且可以被独立查询和创建。在继承关系中,子类和父类之间通过一个自动创建的OneToOneField进行连接。示例代码如下&…

4.26日学习记录

[湖湘杯 2021 final]Penetratable SUID提权 SUID是一种对二进制程序进行设置的特殊权限,可以让二进制程序的执行者临时拥有属主的权限 SUID具有一定的限制: 1.仅对于二进制有效; 2.执行者在程序中有可以执行的权限; 3.权限仅在程序…