go 将 `math.maxint64` 视为无类型常量，其值虽精确，但在未显式指定目标类型时，默认尝试转为 `int`，而该类型在 32 位平台下仅支持最大 2³¹−1，导致溢出错误。

在 Go 语言中，math.MaxInt64（值为 9223372036854775807）是一个无类型整数常量（untyped integer constant），而非 int64 类型字面量。根据 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 类型系统对无类型常量的严谨设计——它要求开发者显式表达意图，以保障跨平台一致性与类型安全。在元编程、代码生成或泛型约束中，尤其需警惕此类“静默推导陷阱”。