go 将 `math.maxint64` 视为无类型常量，赋值时若未显式指定目标类型，编译器默认尝试转为 `int`，而 `int` 在 32 位平台仅支持最大值 2147483647，导致溢出错误。
在 Go 语言中，math.MaxInt64（值为 9223372036854775807）是一个无类型整数常量（untyped integer constant），而非 int64 类型的变量。根据 Go 语言规范，无类型常量具有任意精度，本身不会溢出；但一旦参与赋值、函数调用或类型转换，就必须被“具化”（converted）为某个具体类型——此时 Go 会依据上下文进行隐式类型推导。
关键规则在于：当无类型常量被赋给一个未显式声明类型的变量（如使用 :=）时，Go 默认将其推导为 int（而非 int64）。而 int 是平台相关类型：在 32 位系统（如 GOARCH=386）中，int 仅为 32 位，其最大值为 2147483647；math.MaxInt64 远超此限，因此触发编译错误：
constant 9223372036854775807 overflows int
这就是以下代码报错的根本原因：
a := math.MaxInt64 // ❌ 错误：a 被推导为 int，但值过大
b := interface{}(math.MaxInt64) // ❌ 同样失败：interface{} 不提供类型线索，仍需先转为某具体类型而以下写法是合法的，因为显式指定了目标类型：
var a int64 = math.MaxInt64 // ✅ 明确目标为 int64
b := interface{}(int64(math.MaxInt64)) // ✅ 先强制转为 int64，再装箱
c := int64(math.MaxInt64) // ✅ 直接转换，类型明确⚠️ 注意事项：
- 此行为不是 bug，而是 Go 类型系统的明确设计：无类型常量的推导优先级为 int → rune → byte → float64 → complex128（按规范顺序），int 始终是整数字面量的默认目标。
- 即使在 64 位系统（int 为 64 位）上，该代码可能“侥幸通过”，但不可移植——违反跨平台兼容性原则。
- 在泛型、反射或元编程场景中（如问题所述的包级 metaprogramming），务必对 math 包常量做显式类型转换，避免依赖隐式推导。
✅ 最佳实践总结：
- 永远为 math.MaxInt64/math.MaxUint64 等大常量显式标注类型：int64(math.MaxInt64)、uint64(math.MaxUint64)；
- 在 interface{} 赋值、reflect.ValueOf()、json.Marshal() 等上下文中，提前转换可避免运行时 panic 或意外截断；
- 使用 go vet 或静态分析工具（如 staticcheck）可提前捕获潜在的常量截断风险。
通过理解 Go 的常量类型系统与默认推导规则，开发者能写出更健壮、可移植的底层工具代码。
