Go 的 const 声明是编译期常量,必须初始化、不可取地址、不支持运行时计算;类型可由字面量推导或显式指定;iota 仅在 const 块内有效,每行自增且重置。

Go 语言中 const 声明的常量不是“定义”出来的,而是“声明”且必须初始化;不支持运行时计算、不能取地址、也不能用 := 简写。
const 声明必须带初始值,且类型由右值推导或显式指定
Go 的 const 是编译期常量,声明即绑定值,没有“先声明后赋值”的空间。类型可以省略(由字面量推导),也可以显式写出:
const pi = 3.14159 // 类型为 float64(根据字面量推导) const maxRetries int = 3 // 显式指定 int 类型 const enabled = true // 类型为 bool
注意:const 后不能跟函数调用、变量、表达式(如 const x = y + 1 或 const now = time.Now())——这些在编译期无法确定,会报错 const initializer ... is not a constant。
iota 只在 const 块内有效,且每行自动递增
iota 是 Go 内置的常量计数器,仅在 const 块中起作用,从 0 开始,每新增一行 const 声明就 +1。它不是变量,不可修改,也不跨块复用:
立即学习“go语言免费学习笔记(深入)”;
const (
Sunday = iota // 0
Monday // 1
Tuesday // 2
)
const (
_ = iota // 0(新块,重置)
KB = 1 << (10 * iota) // 1024
MB // 1048576
)常见误用:把 iota 放在非 const 块里(无效)、跨 const 块期望延续值(不会)、或在单行多常量声明中误判递增节奏(const a, b = iota, iota 中两者都是同一值)。
const 块中可混用类型和未命名常量,但需小心隐式类型转换
同一个 const 块里允许不同类型的常量共存,Go 会按需做无损类型推导。但若参与运算或赋值,类型不匹配会触发编译错误:
const (
timeout = 5 // untyped int
unit = "s" // untyped string
size = 1024 // untyped int
)
var t int64 = timeout // ✅ ok:untyped int 可赋给 int64
var s string = timeout // ❌ compile error:cannot use timeout (untyped int) as string关键点:untyped 常量只有在上下文需要时才确定类型;一旦被显式类型变量接收,就必须兼容。容易踩的坑是把 timeout = 5 直接传给 time.Second * timeout 却忘了 time.Second 是 time.Duration,而 5 是 untyped int —— 这里需要显式转成 time.Duration(5) 或写成 timeout = 5 * time.Second(此时整个右边是 typed 常量)。
包级 const 不可修改,也无法取地址,但可导出供其他包使用
所有 const 都是只读、无内存地址、不占运行时空间。首字母大写的 const(如 MaxBuffer)可被其他包导入使用;小写(如 defaultPort)仅包内可见:
package config <p>const MaxBuffer = 4096 // 导出,外部可用 config.MaxBuffer const defaultPort = 8080 // 包私有,外部不可见
试图对 const 取地址(&MaxBuffer)会报错 cannot take the address of MaxBuffer;试图重新赋值(MaxBuffer = 8192)直接语法错误。这点和 var 有本质区别——const 是编译期符号,不是运行时对象。
真正难处理的是跨包常量复用时的类型一致性:比如你导出一个 TimeoutSec = 30(untyped int),别人在另一包里拿它乘以 time.Second,结果因类型推导失败而编译不过——这时候得提前定好类型,比如写成 TimeoutSec = 30 * time.Second 或 TimeoutSec time.Duration = 30。


















