Go1.20.4 新版本发布,修复了一个神奇的内联 BUG!
The following article is from 脑子进煎鱼了 Author 陈煎鱼
已获得原公众号的授权转载
最近 Go 在劳动节期间,Go 发布了小版本的版本更新,主要是 Go1.20.4 和 Go1.19.9:
周末我在看 Go1.20.4 的发布里程碑记录时,发现了一个比较有意思的 BUG,持续了很久,一直没人发现。直至今日才被修复。
我们快速来看一下。
演示代码如下:
package main
func foo() {
println("foo")
}
func main() {
fn := foo
for _, fn = range list {
fn()
}
}
var list = []func(){
func() {
println("1")
},
func() {
println("2")
},
func() {
println("3")
},
}
请问运行的结果是什么?
我掐指一算,是如下结果:
1
2
3
对吗?
不不不,其实运行结果是:
foo
foo
foo
这 “误会” 可大了。为什么呢?可以通过分析看到 Go 程序内部的处理过程:
go run -gcflags='-m=1' a.go
# command-line-arguments
./a.go:3:6: can inline foo
./a.go:7:6: can inline main
./a.go:10:5: inlining call to foo
./a.go:15:2: can inline glob..func1
./a.go:18:2: can inline glob..func2
./a.go:21:2: can inline glob..func3
本质上就是内联函数的结果是错误的,与我们所编写的 Go 程序的预期不一致,出现隐藏的 BUG(要是踩坑了,估计要排查很久,会先怀疑是不是自己写出了 BUG...)。
这个问题在 Go1.15 起就产生了,硬生生的埋伏了近 3 年就被人发现。将会在最新发布的 Go1.20.4、Go1.19.9 中修复。
该两个版本的其余更新的话,更多偏向安全修复方面:
例如:html/template 标准库的 CSS 值的不正确清理、JavaScript 空格处理不当、对空 HTML 属性的不当处理等。
有兴趣的同学可以及时查看 Go1.20.4 Milestone[1] 和更新 Go 版本进行处理。
参考资料
Go1.20.4 Milestone: golang/go/milestone/305?closed=1
<END>
程序员专属T恤
商品直购链接 👇