Golang常量怎么用_const关键字详解

Go 的 const 是编译期固化、无内存地址的真常量，必须在编译时确定值，不支持运行时函数调用或变量依赖；iota 是 const 块内重置的行计数器；无类型常量更灵活，显式类型增强安全约束。

Go 里的 const 不是“运行时只读”，而是“根本没地址、编译期就固化”——你连取地址 &Pi 都会报错，这才是它真正防篡改的底层逻辑。

常量必须编译期确定，函数调用、len、make 全都不行

很多人写 const buf = make([]byte, 1024) 或 const port = os.Getenv("PORT")，结果构建直接失败，错误是：constant initializer must be a compile-time constant。这是因为 Go 要求所有 const 值在编译时就能算出结果，不依赖任何运行时环境。

• ✅ 正确： const Pi = 3.14159、const MaxRetries = 3 * 2、const IPv4Len = len("192.168.0.1")（len 作用于字符串字面量时是编译期常量）
• ❌ 错误： const now = time.Now()、const s = strings.ToUpper("hello")、const n = len(mySlice)
• ⚠️ 注意：len("abc") 合法，但 len([]byte{"a","b","c"}) 不合法——后者涉及运行时构造切片

iota 是 const 块专属计数器，跨块重置、同行共享

iota 看似简单，但新手常栽在“为什么我的枚举从 0 变成 100？”或者“Red, Green, Blue 全是 0？”这类问题上。它不是全局变量，而是一个编译器内置的、仅在 const 块内生效的行号计数器。

• 每进入一个新 const (...) 块，iota 自动重置为 0
• 同一行多个常量共用同一个 iota 值（如 A, B = iota, iota → A=0, B=0）
• 跳过某值要显式处理：_ = iota（丢弃）、Unused = iota + 1（偏移）、或直接写死 Reserved = 99
• 示例：

  const (
      First = iota // 0
      Second       // 1
      _            // 2，被丢弃
      Fourth       // 3
  )

无类型常量更灵活，显式类型更适合强约束场景

Go 的常量默认是“无类型”的（untyped），比如 const timeout = 5，它既可赋给 int，也能直接传给 time.Sleep(5 * time.Second)；但如果你定义成 const timeout int = 5，它就只能当 int 用，不能直接参与 time.Duration 运算——这既是限制，也是类型安全的保障。

• ✅ 推荐无类型：数学常数、端口号、状态码等通用值（const Port = 8080）
• ✅ 推荐显式类型：需要和特定类型强绑定时，如 const Timeout time.Duration = 30 * time.Second，避免隐式转换歧义
• ⚠️ 混淆点：批量声明中若第一个带类型，后续省略类型则自动继承该类型（const (A int = 1; B) → B 也是 int）

常量不能用于变量声明的“右侧初始化表达式”？其实是能的，但有边界

有人以为 const Max = 100; var limit = Max 会报错，其实完全合法——常量可以参与变量初始化，只要右边表达式本身是合法的。真正卡住的是“常量表达式中嵌套变量”：

• ✅ 合法：const Max = 100; var x = Max * 2（Max 是编译期常量，乘法仍是常量表达式）
• ✅ 合法：const Mode = "debug"; var cfg = Config{Env: Mode}（字符串常量赋值给 struct 字段）
• ❌ 非法：var v = 42; const c = v + 1（v 是变量，无法参与常量计算）
• ⚠️ 关键区别：常量能“用”，但不能“依赖变量”；变量能“用常量”，但不能“让常量反过来依赖自己”

最容易被忽略的一点：常量的“不可变性”不是靠运行时保护，而是靠编译器彻底剥离了它的内存存在——它没有地址、不占运行时空间、甚至不会出现在二进制符号表里（除非导出）。这意味着，哪怕你用 unsafe 也改不了它。这种设计不是为了炫技，而是为了让数组长度、switch 分支、泛型约束这些关键机制获得绝对确定性。