前言：

iota常用于const表达式中，其值是从零开始，const声明块中每增加一行iota值自增1。

热身：

题目一

下面常量定义来源于GO源码，下面每个常量的值是多少？

type Priority int
const (LOG_EMERG Priority = iotaLOG_ALERTLOG_CRITLOG_ERRLOG_WARNINGLOG_NOTICELOG_INFOLOG_DEBUG
)

题目解释：
上面代码源于日志模块，定义了一组代表日志级别的常量，常量类型为Priority，实际为int类型。

答案：
iota初始值为0，也即LOG_EMERG值为0，下面每个常量递增1。

题目二

下面代码取自Go源码，请问每个常量值是多少？

const (mutexLocked = 1 << iota // mutex is lockedmutexWokenmutexStarvingmutexWaiterShift = iotastarvationThresholdNs = 1e6
)

题目解释：
上面的代码取自Go互斥锁Mutex的实现，用于指标各种状态位的地址偏移。
答案：

mutexLocked == 1；mutexWoken == 2；mutexStarving == 4；mutexWaiterShift == 3；starvationThresholdNs == 1000000。

题目三

下面每个常量值是多少？

const (bit0, mask0 = 1 << iota, 1<<iota - 1bit1, mask1_, _bit3, mask3
)

题目解释：
题目三的代码取自Go官方文档

参考答案：
bit0 == 1， mask0 == 0， bit1 == 2， mask1 == 1， bit3 == 8， mask3 == 7

规则：

不少书上或者博客描述的规则是这样的：
1.iota在const关键字出现时被重置为0
2.const声明块中每新增一行iota值自增1
但其实规则只有一条：

iota代表了const声明块的行索引（下标从0开始）

这样理解更加贴近编译器实现逻辑，也更为准确。除此之外，const声明还有个特点，即第一个常量必须指定一个表达式，后续的常量如果没有表达式，则继承上面的表达式。

根据这个规则看看下面代码：

const (bit0, mask0 = 1 << iota, 1<<iota - 1   //const声明第0行，即iota==0bit1, mask1                            //const声明第1行，即iota==1, 表达式继承上面的语句_, _                                   //const声明第2行，即iota==2bit3, mask3                            //const声明第3行，即iota==3
)

第0行的表达式展开即bit0, mask0 = 1 << 0, 1<<0 - 1，所以bit0 == 1，mask0 == 0；
第1行没有指定表达式继承第一行，即bit1, mask1 = 1 << 1, 1<<1 - 1，所以bit1 == 2，mask1 == 1；
第2行没有定义常量
第3行没有指定表达式继承第一行，即bit3, mask3 = 1 << 3, 1<<3 - 1，所以bit0 == 8，mask0 == 7；

编译原理：

const块中每一行在GO中使用spec数据结构描述，spec声明如下：

    // A ValueSpec node represents a constant or variable declaration// (ConstSpec or VarSpec production).//ValueSpec struct {Doc     *CommentGroup // associated documentation; or nilNames   []*Ident      // value names (len(Names) > 0)Type    Expr          // value type; or nilValues  []Expr        // initial values; or nilComment *CommentGroup // line comments; or nil}

这里我们只关注ValueSpec.Names，这个切片中保存了一行中定义的常量，如果一行定义N个常量，那么ValueSpec.Names切片长度即为N。

const块实际上是spec类型的切片，用于表示const中的多行。

所以编译期间构造常量时的伪算法如下：

    for iota, spec := range ValueSpecs {for i, name := range spec.Names {obj := NewConst(name, iota...) //此处将iota传入，用于构造常量...}}

从上面可以更清晰的看出iota实际上是遍历const块的索引，每行中即便多次使用iota，其值也不会递增。

golang_iota

前言：

热身：

题目一

题目二

题目三

规则：

编译原理：

golang_iota相关推荐

最新文章

热门文章