Go语言编译原理之变量捕获
来源:脚本之家
时间:2022-12-31 09:02:05 144浏览 收藏
对于一个Golang开发者来说,牢固扎实的基础是十分重要的,golang学习网就来带大家一点点的掌握基础知识点。今天本篇文章带大家了解《Go语言编译原理之变量捕获》,主要介绍了编译原理、变量捕获,希望对大家的知识积累有所帮助,快点收藏起来吧,否则需要时就找不到了!
- 变量捕获
- 函数内联
- 逃逸分析
- 闭包重写
- 遍历函数
后边的五篇文章主要就是上边这五个主题,本文分享的是变量捕获,变量捕获主要是针对闭包场景的,因为闭包函数中可能引用闭包外的变量,因此变量捕获需要明确在闭包中通过值引用或地址引用的方式来捕获变量
变量捕获概述
下边通过一个示例来看一下什么是变量捕获
package main import ( "fmt" ) func main() { a := 1 b := 2 go func() { //在闭包里对a或b进行了重新赋值,也会改变引用方式 fmt.Println(a, b) }() a = 666 }
我们可以看到在闭包中引用了外部的变量a、b,由于变量a在闭包之后进行了其他赋值操作,因此在闭包中,a、b变量的引用方式会有所不同。在闭包中,必须采取地址引用的方式对变量a进行操作,而对变量b的引用将通过直接值传递的方式进行
我们可以通过如下方式查看当前程序闭包变量捕获的情况
go tool compile -m=2 main.go | grep capturing
assign=true代表变量a在闭包完成后又进行了赋值操作
也可以看一个稍微复杂的
func adder() func(int) int {//累加器 sum := 0 //地址引用 return func(v int) int { sum += v return sum } } func main() { a := adder() for i:=0;i上一篇文章分享了类型检查,我们可以继续顺着编译的入口文件中类型检查后边的代码往下看,你会看到如下这段代码
编译入口文件:src/cmd/compile/main.go -> gc.Main(archInit) // Phase 4: Decide how to capture closed variables.(决定如何捕获闭包变量) // This needs to run before escape analysis, // because variables captured by value do not escape.(变量捕获应该在逃逸分析之前进行,因为值类型的变量捕获,不会进行逃逸分析) timings.Start("fe", "capturevars") for _, n := range xtop { if n.Op == ODCLFUNC && n.Func.Closure != nil { //函数需要是闭包类型 Curfn = n capturevars(n) } } capturevarscomplete = true从上边这段代码及注释中,我们可以得到以下几个信息:
- 变量捕获应该在逃逸分析之前进行,因为值类型的变量捕获,不会进行逃逸分析
- 变量捕获是针对闭包函数的
- 变量捕获的实现主要是调用了:src/cmd/compile/internal/gc/closure.go→
capturevars
下边我们就去看capturevars
方法的内部实现,了解变量捕获的一些细节
变量捕获底层实现
所有类型检查完成后,capturevars将在单独的阶段调用,它决定闭包捕获的每个变量是通过值还是通过引用捕获
func capturevars(xfunc *Node) { ...... clo := xfunc.Func.Closure cvars := xfunc.Func.Cvars.Slice() out := cvars[:0] for _, v := range cvars { ...... out = append(out, v) ...... outer := v.Name.Param.Outer outermost := v.Name.Defn // out parameters will be assigned to implicitly upon return. if outermost.Class() != PPARAMOUT && !outermost.Name.Addrtaken() && !outermost.Name.Assigned() && v.Type.Width该方法的代码量很少,大致内容就是,它会先获取到闭包函数内所有变量节点,然后对这些节点进行遍历。确定该闭包需要捕获的变量之后再没有被修改时,且该变量小于128字节,则会认为他是值引用。后边它会对外部引用的结点进行类型检查
总结
本部分比较简单,但是挺实用的,特别是我这种一直搞不明包闭包引用外部变量的人。后边的逃逸分析、闭包重写跟变量捕获有一定的联系,介绍的后边内容的时候再提
本篇关于《Go语言编译原理之变量捕获》的介绍就到此结束啦,但是学无止境,想要了解学习更多关于Golang的相关知识,请关注golang学习网公众号!
-
262 收藏
-
458 收藏
-
191 收藏
-
241 收藏
-
409 收藏
-
213 收藏
-
261 收藏
-
170 收藏
-
491 收藏
-
- 前端进阶之JavaScript设计模式
- 设计模式是开发人员在软件开发过程中面临一般问题时的解决方案,代表了最佳的实践。本课程的主打内容包括JS常见设计模式以及具体应用场景,打造一站式知识长龙服务,适合有JS基础的同学学习。
- 立即学习 542次学习
-
- GO语言核心编程课程
- 本课程采用真实案例,全面具体可落地,从理论到实践,一步一步将GO核心编程技术、编程思想、底层实现融会贯通,使学习者贴近时代脉搏,做IT互联网时代的弄潮儿。
- 立即学习 507次学习
-
- 简单聊聊mysql8与网络通信
- 如有问题加微信:Le-studyg;在课程中,我们将首先介绍MySQL8的新特性,包括性能优化、安全增强、新数据类型等,帮助学生快速熟悉MySQL8的最新功能。接着,我们将深入解析MySQL的网络通信机制,包括协议、连接管理、数据传输等,让
- 立即学习 497次学习
-
- JavaScript正则表达式基础与实战
- 在任何一门编程语言中,正则表达式,都是一项重要的知识,它提供了高效的字符串匹配与捕获机制,可以极大的简化程序设计。
- 立即学习 487次学习
-
- 从零制作响应式网站—Grid布局
- 本系列教程将展示从零制作一个假想的网络科技公司官网,分为导航,轮播,关于我们,成功案例,服务流程,团队介绍,数据部分,公司动态,底部信息等内容区块。网站整体采用CSSGrid布局,支持响应式,有流畅过渡和展现动画。
- 立即学习 484次学习