Go 中常量表达式是否在编译期求值？

常有人问，Go 语言里的常量表达式到底是不是在编译期求值？答案很明确：是的，所有合法的常量表达式都在编译阶段完成计算，绝不拖到运行时。这是 Go 语言规范白纸黑字写明的语义，也是它实现零成本抽象和强类型检查的根基。

在 Go 里面，用 const 定义的常量必须由常量表达式构成。这类表达式只能包含字面量、其他已声明的常量，以及支持的内置运算符（比如 +、-、*、/、<<、>>、&、|、^、~ 等等）。举个例子：

const (
    a = 1 + 1           // ✅ 编译期计算为 2
    b = 3 * 4 + 1       // ✅ 编译期计算为 13
    c = 1 << 10         // ✅ 编译期计算为 1024
    d = a + b * c       // ✅ 所有操作数均为常量，全程编译期求值
)

这些表达式不会生成任何运行时的指令，也不会占用程序内存空间——除非你显式取地址或者把它放到非常量上下文里。你可以用 go tool compile -S main.go 看看汇编输出，会发现上述常量完全消失了，只剩下立即数嵌在相关指令里。

⚠️ 有几个点需要特别留意：

• 非常量表达式——比如含有函数调用、变量、len(slice)、cap(array) 等——是不允许出现在常量定义里的，否则编译会直接报错：invalid operation: ... (not a constant)；
• 类型必须可以推导出来，而且得满足常量类型的约束条件，比如无符号整数不能为负；
• 浮点常量、复数常量、字符串常量同样遵循编译期求值的规则，像 const pi = 3.1415926535 或者 const msg = "hello" + " world" 都是提前算好的。

说到底，Go 的常量设计始终坚持“编译期确定性”这个原则——只要表达式符合常量的语义，它的值就一定在编译阶段固化下来。这不仅提升了执行效率，也让类型系统更一致、更可预测，是写出高效、可靠 Go 代码的一块重要基石。