注意(Go|注意:Go 1.18版本iota的bug)
Iota
iota
是Go语言的预声明标识符,用于常量的声明。
iota
的值是const
语句块里的行索引,值从0开始,每次递增加1。通过下面的代码示例我们先回顾下iota
的特性。
const (
c0 = iota// c0 == 0
c1 = iota// c1 == 1
c2 = iota// c2 == 2
)const (
a = 1 << iota// a == 1(iota == 0)
b = 1 << iota// b == 2(iota == 1)
c = 3// c == 3(iota == 2, unused)
d = 1 << iota// d == 8(iota == 3)
)const (
u= iota * 42// u == 0(untyped integer constant)
v float64 = iota * 42// v == 42.0(float64 constant)
w= iota * 42// w == 84(untyped integer constant)
)const x = iota// x == 0
const y = iota// y == 0
const (
class1 = 0
class2 // class2 = 0
class3 = iota//iota is 2, so class3 = 2
class4 // class4 = 3
class5 = "abc"
class6 // class6 = "abc"
class7 = iota // class7 is 6
)
Bug 2022年3月15日,Go官方团队正式发布了Go 1.18版本。Go 1.18是Go语言诞生以来变化最大的版本,引入了泛型、Fuzzing、工作区模式等众多新功能和性能优化。
天下没有无bug的系统,Go当然也不例外。Go 1.18引入了一个和
iota
相关的bug。大家看看下面这段程序,思考下输出结果应该是什么?
package mainimport "fmt"const C1 = iota
const C2 = iotafunc test1() {
fmt.Println("C1=", C1, " C2=", C2)
}func main() {
test1()
}
先思考几秒钟。。。
在Go 1.18版本之前,上述程序打印的结果是
C1= 0C2= 0
在Go 1.18版本,上述程序打印的结果是
C1= 0C2= 1
很显然,这是一个bug,因为
const C1 = iota
和const C2 = iota
是互相独立的const
语句块,因此这2个const
声明里的iota
的值都是0。Go官方也认领了这个bug,Go语言的主要设计者Robert Griesemer解释了这个bug产生的原因:
No need to bisect. This is due to a completely new type checker, so it won't be useful to pin-point to a single change. I've identified the bug and will have a fix in a little bit.产生这个bug是由于Go引入了全新的类型检查器导致的。
This is clearly a bad bug; but only manifests itself when using iota outside a grouped constant declaration, twice.
As a temporary work-around, you can change your code to:
// OpOr is a logical or (precedence 0) const (OpOr Op = 0 + iota<<8)// OpAnd is a logical and (precedence 1) const (OpAnd Op = 1 + iota<<8)
(put parentheses around the const declarations).
这个bug只有在全局、未分组的常量声明才会出现,该bug预计会在Go 1.19版本进行修复。
我们用括号
()
将声明包起来,也就是使用分组的常量声明,就不会有这个bug了。package mainimport "fmt"const (
C1 = iota
)
const (
C2 = iota
)func test1() {
fmt.Println("C1=", C1, " C2=", C2)
}func main() {
test1()
}
上面程序的执行结果是:
C1= 0C2= 0
【注意(Go|注意:Go 1.18版本iota的bug)】而且,对于局部常量声明也是不会有这个bug。
package mainimport "fmt"func test1() {
const C1 = iota
const C2 = iota
fmt.Println("C1=", C1, " C2=", C2)
}func main() {
test1()
}
上面程序的执行结果是:
C1= 0C2= 0
推荐阅读
- 泛型
- 泛型:Go泛型入门官方教程
- 泛型:一文读懂Go泛型设计和使用场景
- 泛型:Go 1.18正式版本将从标准库中移除constraints包
- 泛型:什么场景应该使用泛型
- Fuzzing
- Fuzzing: Go Fuzzing入门官方教程
- Fuzzing: 一文读懂Go Fuzzing使用和原理
- 工作区模式
- Go 1.18:工作区模式workspace mode简介
- Go 1.18:工作区模式最佳实践
公众号:coding进阶。关注公众号可以获取最新Go面试题和技术栈。
个人网站:Jincheng’s Blog。
知乎:无忌
References
- https://twitter.com/go100and1...
- https://github.com/golang/go/...
- https://go.dev/ref/spec#Iota
推荐阅读
- App功能测试的注意点
- #|《实战 Java 高并发程序设计》笔记——第4章 锁的优化及注意事项(一)
- APP产品开发需注意这些方面
- 关于Android应用开发的一些安全注意事项
- 后端接口对接注意事项
- 使用ControllerAdvice注意事项,Ambiguous @ExceptionHandler method mapped for [class org.springframework.web.
- mybatis写mapper文件注意事项
- 电商APP开发我们要注意哪些
- 移动电源运用注意事项 移动电源运用技巧
- Android为TV端助力 使用shared注意事项