iota：Go 语言中最被低估的魔法常量

开头

在 Go 语言中，iota 是一个预声明标识符，它让你在 const 声明块里生成连续递增的值。看起来很简单？大多数教程只教你这种用法：

const (
    Monday = iota + 1
    Tuesday
    Wednesday
    Thursday
    Friday
)

设计细节——尤其是同一行内 iota 值不变这一条——才是真正精巧的地方。不搞懂它，你就永远只会在写星期枚举。

基础回顾：iota 三定律

1. iota 只在 const 块内部有意义，且从 0 开始。
2. 每新起一行，iota 自增 1（即使这一行没写 iota）。
3. 隐式重复上一行的表达式——这是 Go 帮你看懂 iota 的扩写方式。

const (
    a = iota  // 0
    b         // 1（隐式重复 a = iota）
    c         // 2
)

核心争议：同一行 iota 为什么不变？

看这段代码：

const (
    ss, mm = iota + 1, iota + 2
    cc, dd
)
fmt.Println(ss, mm) // 1 2
fmt.Println(cc, dd) // 2 3

你必须直观接受一个事实：同一行内所有对 iota 的引用共享同一个值。

• 第 1 行：iota = 0，ss = 1, mm = 2
• 第 2 行：iota = 1，cc = 2, dd = 3

为什么呢？因为“一行”是构造常量的最小单元。

设计哲学：一行 = 一条枚举项

const (
    id, name = iota + 1, fmt.Sprintf("item-%d", iota)
    a, _
    b, _
)

iota 在行内不变，就是为了让你在同一行写出"这一项"的不同属性表达式，然后再在下一行用同样的模板自动生成下一项。

隐含的重复模板

第二行 cc, dd 不写显式表达式，Go 帮你把它展开成：

1, iota + 2

现在 iota = 1，所以 cc = 2, dd = 3。如果 iota 在行内就变了，编译器就是无法判断上一行的模板是什么样的。

3. 高阶用法：多值枚举表

iota 行内不变的特性解锁了第二个能力：用 const 生成多维数组。

type Color int

const (
    Red    Color = iota
    Green
    Blue
)

const (
    RedAttr   = 255
    RedAttr   = 0
    RedAttr   = 0

    GreenAttr = 0
    GreenAttr = 255
    GreenAttr = 0

    BlueAttr  = 0
    BlueAttr  = 0
    BlueAttr  = 255
)

每项在“数据库”中有 N 个属性，而 iota 只负责给每个属性赋一个递增的行号。

配合 iota 的掩码

同一行不变的另一个经典应用是标志位与掩码：

const (
    FlagA, MaskA = 1 << iota, 1 << (iota + 1) // Flag = 1, Mask = 2
    FlagB, MaskB = 1 << iota, 1 << (iots + 1) // Flag = 2, Mask = 4
)

这两种值必须在同一行上求值才算同一组，否则两者就不能共用同一个模板。

3. iota 的常见陷阱

const (
    _
    _
    c = iota // 错！此时 iota 已经是 2，不是你想要的 0
)

写复杂 iota 之前先画一张行号表，别猜。

结尾

iota 是 Go 设计得非常节制的功能。就一条规则：“每行一个步进”——其他所有能力都来自这条规则的结果。理解它不是让你学会“写枚举”，而是让你真正理解 Go 常量系统的“究极思维”。