在Go语言中，常量（const）是编译期确定的不可修改的值，其使用有诸多细节需要注意，以下是关键事项的总结：
1. 必须初始化，且值为编译期可确定的表达式
- 常量声明时必须赋值（初始化），且赋值表达式的结果必须在编译期就能确定，不能依赖运行时计算。
- 合法示例：字面量（
10、"hello"）、编译期可计算的表达式（2+3、len("abc")）。 - 非法示例：运行时才能确定的值（如函数返回值
time.Now()、变量x的值）。
go
const a = 10 // 合法
const b = len("test") // 合法（len对字符串在编译期可计算）
const c = math.Sqrt(4) // 非法（math.Sqrt是运行时函数）2. 类型：有类型常量 vs 无类型常量
- 无类型常量 ：声明时不指定类型（如
const x = 10），编译器会根据上下文自动推断其类型，支持隐式转换。 - 有类型常量 ：声明时指定类型（如
const x int = 10），赋值时必须与目标变量类型严格匹配，不支持隐式转换。
go
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）。
- 每个
go
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. 不可修改性
- 常量的值在编译期确定后，运行时不可修改，尝试对常量赋值会直接编译报错。
go
const x = 10
x = 20 // 编译报错：cannot assign to x5. 作用域与可见性
- 作用域：与变量一致，遵循"块级作用域"（函数内、代码块内声明的常量仅在该范围内有效）。
- 可见性：首字母大写的常量（如
const MaxSize = 100）可被其他包访问；小写常量（如const minSize = 10）仅本包可见。
6. 适用场景限制
- 常量可用于需要"编译期确定值"的场景，例如：
switch-case的分支条件（case必须是编译期常量）。- 数组长度（
var arr [N]int中N必须是常量）。
- 变量无法用于上述场景，例如：
go
const n = 5
var arr1 [n]int // 合法（n是常量）
var m = 5
var arr2 [m]int // 非法（m是变量，编译报错）7. 字符串常量的不可变性
- 字符串常量（如
const s = "hello"）与字符串变量一样，其底层字节序列不可修改（Go中字符串本身是不可变类型）。
8. 数值常量的高精度特性
- 无类型的数值常量（整数、浮点数）支持高精度运算，编译期不会因"溢出"报错（不同于变量的固定类型限制）。
go
const big = 1 << 100 // 合法（无类型整数，编译期支持大数值）
var x int = big // 非法（int类型无法容纳1<<100，编译报错）总结：合理使用常量可提高代码可读性（如定义枚举、固定配置）和安全性（避免意外修改），但需严格遵循编译期确定性、类型规则及iota的计数逻辑。