go 将 `math.maxint64` 视为无类型常量，其值虽精确，但在未显式指定目标类型时，默认尝试转为 `int`，而该类型在 32 位平台下仅支持最大 2³¹−1，导致溢出错误。
在 go 语言中，math.MaxInt64（值为 9223372036854775807）是一个无类型整数常量（untyped Integer constant），而非 int64 类型字面量。根据 Go 语言规范，无类型常量具有任意精度，本身不会溢出；但一旦参与变量声明、赋值或类型转换，Go 会依据上下文进行隐式类型推导——而这个推导规则有明确优先级。
关键规则如下：
- 当使用短变量声明 := 且右侧为无类型常量时，若左侧无显式类型约束，Go 会将常量默认推导为 int（而非 int64 或 uint64）；
- int 是平台相关类型：在 32 位系统（如 GOARCH=386）中为 32 位，最大值仅为 2147483647；而 math.MaxInt64 远超此范围，因此编译器报错：constant 9223372036854775807 overflows int。
✅ 正确写法（提供明确类型上下文）：
var a int64 = math.MaxInt64 // 显式声明 int64 类型 b := int64(math.MaxInt64) // 强制转换后再推导 c := interface{}(int64(math.MaxInt64)) // 转换后传入，类型已确定❌ 错误写法（缺失类型锚点）：
a := math.MaxInt64 // ❌ 推导为 int → 溢出 b := interface{}(math.MaxInt64) // ❌ interface{} 不提供数值类型信息，仍按 int 推导 → 溢出⚠️ 注意事项：
- 即使在 64 位系统（int 通常为 64 位），该行为也不具可移植性——Go 编译器不保证 int 总是足够大，依赖 int 存储 MaxInt64 属于未定义行为；
- math.MaxUint64 同理：它会被推导为 uint，而 uint 在 32 位平台最大值为 4294967295，远小于 18446744073709551615；
- 安全实践：凡涉及 math.Max* 常量，务必显式转换为目标整数类型（如 int64, uint64），避免依赖隐式推导。
总结：这不是 bug，而是 Go 类型系统对无类型常量的严谨设计——它要求开发者显式表达意图，以保障跨平台一致性与类型安全。在元编程、代码生成或泛型约束中，尤其需警惕此类“静默推导陷阱”。