无类型常量没有类型；它在被使用前仅作为数学概念或字面量存在，不绑定具体类型，直到用于特定上下文时才确定类型。
无类型常量到底有没有类型？
没有。它真没类型——至少在被“用到”之前，Go 编译器只把它当一个数学概念或字面量值存着，不绑定 int、float64 或 string 任何具体类型。
这和变量完全不同：var x = 42 会立刻推导为 int（取决于平台），但 const c = 42 是纯数值，精度无限、范围无界，直到你把它塞进某个上下文里才“落地”。
- 比如
const big = 1 能直接编译通过；而 <code>var v = 1 会报错：<code>constant ... overflows int -
const pi = 3.141592653589793238462643383279502884197这串数字在常量阶段不损失精度；一旦赋给float32变量，才按 IEEE 754 截断 - 它甚至能跨类型“适配”：
var b byte = pi合法（只要值 ≤ 255），var f float64 = pi也合法——同一个pi，没 cast，没 warning
什么时候无类型常量会“被迫定型”？
它只在三个明确时刻获得具体类型：声明变量时未指定类型、传参给有类型形参、或显式参与带类型的运算。
关键不是“声明”，而是“首次被类型系统约束”。例如：
立即学习“go语言免费学习笔记（深入）”；
-
const x = 42→ 还是无类型 -
var a = x→a推导为int，x此刻隐式转为int -
func needFloat64(f float64) {}; needFloat64(x)→x此刻转为float64 -
var y int32 = x + 0→ 这里0是无类型整数，但右边整体要匹配int32，所以x被当作int32参与运算
注意：const z int = x 这种写法会让 z 成为有类型常量，但 x 自身仍保持无类型——类型是“用的时候才借”，不是“一定义就固化”。
为什么显式声明类型反而容易出错？
因为有类型常量失去“变色龙”能力，变成严格类型检查对象，稍不注意就卡在赋值或函数调用上。
常见翻车现场：
-
const port int8 = 8080，然后想赋给http.ListenAndServe(":8080", nil)—— 该函数第二个参数是net.Listener，但第一个是string；可如果你误写成var addr string = ":" + port，会直接报错：cannot convert port (type int8) to type string -
const code uint8 = 404，再写http.Error(w, "not found", code)—— 编译失败：cannot use code (type uint8) as type int in argument to http.Error - 更隐蔽的是结构体字段初始化：
type Config struct{ Timeout int }，若用const t int8 = 30初始化Config{Timeout: t}，会报类型不匹配
解决办法？要么全用无类型常量（const port = 8080），要么显式转换（int(port)），但后者增加冗余，且掩盖设计意图。
哪些场景必须用无类型常量？
凡是需要高精度、跨类型复用、或参与复杂字面量运算的地方，无类型常量不是“可选”，而是“刚需”。
- 位运算枚举：
const ( Read = 1 —— <code>iota本身生成无类型整数，才能自由左移、或组合成Read | Write而不溢出 - 数学常量组合：
const ( MaxInt = 1 —— 如果 <code>pi是float64类型，Pi2就只能是float64，无法用于float32上下文 - HTTP 状态码别名：
const StatusNotFound = 404比const StatusNotFound int = 404更安全，因为它能无缝传给http.Error（接受int）或存进map[int]string，无需转换
真正容易被忽略的点是：无类型常量的“灵活性”只在编译期生效；一旦它被赋给一个变量、或作为参数传入函数，类型就锁死了——后续所有操作都按那个具体类型走，不会再回退。
