Go语言：常量设置的注意事项

在Go语言中，常量（const）是编译期确定的不可修改的值，其使用有诸多细节需要注意，以下是关键事项的总结：

1. 必须初始化，且值为编译期可确定的表达式

• 常量声明时必须赋值（初始化），且赋值表达式的结果必须在编译期就能确定，不能依赖运行时计算。
• 合法示例：字面量（10、"hello"）、编译期可计算的表达式（2+3、len("abc")）。
• 非法示例：运行时才能确定的值（如函数返回值time.Now()、变量x的值）。

const a = 10          // 合法
const b = len("test") // 合法（len对字符串在编译期可计算）
const c = math.Sqrt(4) // 非法（math.Sqrt是运行时函数）

2. 类型：有类型常量 vs 无类型常量

• 无类型常量 ：声明时不指定类型（如const x = 10），编译器会根据上下文自动推断其类型，支持隐式转换。
• 有类型常量 ：声明时指定类型（如const x int = 10），赋值时必须与目标变量类型严格匹配，不支持隐式转换。

const a = 100         // 无类型常量（默认匹配int，但可赋值给float64等）
const b int = 100     // 有类型常量（只能赋值给int变量）

var x float64 = a     // 合法（无类型常量隐式转换）
var y float64 = b     // 非法（类型不匹配，编译报错）

3. iota常量计数器的使用规则

• iota是Go的常量计数器，在const声明块中自动递增，初始值为0，常用于定义枚举。
• 核心规则：
  • 每个const块中iota从0开始，每声明一个常量递增1。
  • 同一行的多个常量共享同一个iota值。
  • 若常量未显式赋值，默认继承上一行的表达式（包括iota）。

const (
    a = iota // 0（iota初始值）
    b        // 1（继承a的表达式：iota，此时iota=1）
    c = 100  // 100（显式赋值，iota仍递增为2）
    d        // 100（继承c的表达式，iota=3）
    e = iota // 4（显式使用iota，此时计数到4）
)

• 注意：嵌套const块会重置iota（从0重新开始）。

4. 不可修改性

• 常量的值在编译期确定后，运行时不可修改，尝试对常量赋值会直接编译报错。

const x = 10
x = 20 // 编译报错：cannot assign to x

5. 作用域与可见性

• 作用域：与变量一致，遵循"块级作用域"（函数内、代码块内声明的常量仅在该范围内有效）。
• 可见性：首字母大写的常量（如const MaxSize = 100）可被其他包访问；小写常量（如const minSize = 10）仅本包可见。

6. 适用场景限制

• 常量可用于需要"编译期确定值"的场景，例如：
  • switch-case的分支条件（case必须是编译期常量）。
  • 数组长度（var arr [N]int中N必须是常量）。
• 变量无法用于上述场景，例如：

const n = 5
var arr1 [n]int    // 合法（n是常量）

var m = 5
var arr2 [m]int    // 非法（m是变量，编译报错）

7. 字符串常量的不可变性

• 字符串常量（如const s = "hello"）与字符串变量一样，其底层字节序列不可修改（Go中字符串本身是不可变类型）。

8. 数值常量的高精度特性

• 无类型的数值常量（整数、浮点数）支持高精度运算，编译期不会因"溢出"报错（不同于变量的固定类型限制）。

const big = 1 << 100 // 合法（无类型整数，编译期支持大数值）
var x int = big      // 非法（int类型无法容纳1<<100，编译报错）

总结：合理使用常量可提高代码可读性（如定义枚举、固定配置）和安全性（避免意外修改），但需严格遵循编译期确定性、类型规则及iota的计数逻辑。