iota 是一个预定义的标识符,用于声明枚举常量。它在 const 声明中使用,表示连续的未类型化整数。其值从0开始,const声明块每增加一行,iota的值就会自增1,即使没有使用也会增加。
举例:
import (
"fmt"
"testing"
)
const (
index0, value0, express0 = iota, iota, iota + 1
index1, value1, express1 // 继承
_, _, _ // iota 表示行索引,这里什么也不赋值,只是增加行索引
index3, value3, express3 // 继承
index4, value4, express4 = iota, iota, iota * 10 // 修改表达式
index5, value5, express5 // 继承
// 空行,iota 不会加,注释不参与代码逻辑
index6, value6, express6 = -1, -1, -1 // 没有使用也会加
index7, value7, express7 = iota, iota, iota * 3
)
const (
// 空行,iota 不会加,注释不参与代码逻辑
index, value, express = iota, iota, iota * 3 // 重置
)
func TestIota(t *testing.T) {
fmt.Println(index0, value0, express0)
fmt.Println(index1, value1, express1)
fmt.Println(index3, value3, express3)
fmt.Println(index4, value4, express4)
fmt.Println(index5, value5, express5)
fmt.Println(index6, value6, express6)
fmt.Println(index7, value7, express7)
fmt.Println(index, value, express)
}
iota标识符仅能用于常量声明语句中,iota的取值与常量声明块中的代码的行数强相关。
可以发现在常量的声明块中,一行可以声明多个常量,但是在一个常量块中,每行的常量数量必须一致。
如果凑不足,可以使用_占位。
仔细研究常量块,可以发现常量在编译中的表示,可以近似如下理解:
type ConstMeta struct {
Doc *string // 单行注释,也就是空行
Names []*string // 每行有多少个常量的名字
Type string // 常量的类型 , 有可能为空,表示值类型,一般只有表达式这个才有效
Values []*interface{} // 常量的值
Comment *string // 行内注释
}
一个常量块有多少行,就会有多少个ConstMeta
,需要注意的是,单行注释会和下面的常量定义合并在一起。
类似的伪代码可以如下:
for iota, meta := range consts {
for i, name := range meta.Names {
tmp := *name + strconv.Itoa(iota)
meta.Values[i] = &tmp
}
}
所以iota会存在如下特征:
type Priority int
const (
LOG_EMERG Priority = iota
LOG_ALTER
LOG_CRIT
LOG_ERR
LOG_WARNNING
LOG_NOTICE
LOG_INFO
LOG_DEBUG
)
const (
mutexLocked = 1 << iota // mutex is locked
mutexWoken
mutexStarving
mutexWaiterShift = iota
starvationThresholdNs = 1e6
)