Go reflect.Value.OverflowInt 怎样判断整数赋值会溢出

在配置、表单或协议数据映射到结构体字段时，输入通常先被解析成 int64，目标字段却可能是 int8、int16 或 int32。这时可以让目标 reflect.Value 调用 OverflowInt(x)：返回 true 表示目标类型无法完整表示这个整数，返回 false 才说明范围上没有溢出。

官方资料：https://pkg.go.dev/reflect#Value.OverflowInt

OverflowInt 先看目标 Value 的 Kind

第一次接触这个方法时，很容易把它理解成“检查一个 int64 是否太大”。更准确的说法是：目标 Value 的类型决定了可表示范围，传入的 int64 只是待判断的数值。

例如，目标是 int8 时，127 可以表示，128 不能表示；目标是 int32 时，同一个 128 当然没有问题。目标 Value 的 Kind 不属于有符号整数集合时，直接调用 OverflowInt 会触发 panic，所以类型分支要放在调用前。

下面这个小函数只负责回答“数值能不能落入目标有符号整数类型”，不把范围判断和具体写入动作混在一起：

package main

import "reflect"

// fitsSignedInt 只判断 x 是否能被 dst 的有符号整数类型完整表示。
func fitsSignedInt(dst reflect.Value, x int64) bool {
	// 非法 Value 没有 Kind，先挡住后续的反射调用。
	if !dst.IsValid() {
		return false
	}

	// OverflowInt 只接受有符号整数 Kind，其他类型不能直接调用。
	switch dst.Kind() {
	case reflect.Int, reflect.Int8, reflect.Int16, reflect.Int32, reflect.Int64:
		return !dst.OverflowInt(x)
	default:
		return false
	}
}

这里的返回值只表达范围结论。它不会把字符串解析成整数，也不会替调用方处理字段不可写、空指针或业务默认值。

整数边界要按目标类型理解

有符号整数的关键差异在位宽。int8 的范围是 -128 到 127，而 int16、int32 和 int64 依次拥有更大的范围。int 的宽度取决于目标平台，因此不要把它当成固定的 32 位或 64 位类型写死在业务规则里。

负数也要单独留意。把绝对值拿出来比较并不可靠，因为有符号类型的负向边界通常比正向边界多表示一个数。让 OverflowInt 根据目标类型做判断，可以避免自己重复维护这些边界常量。

把检查放到反射写入前

在真实的字段映射代码里，我会把三类问题分开记录：IsValid 处理 Value 是否存在，CanSet 处理目标是否允许修改，OverflowInt 只处理数值范围。这样日志里出现“字段不可写”时，不会被误判成“输入溢出”。

package main

import (
	"errors"
	"reflect"
)

// checkSignedIntTarget 返回目标 Value 是否适合继续做整数范围判断。
func checkSignedIntTarget(dst reflect.Value, x int64) error {
	// 无效 Value 往往来自字段查找失败，不能继续调用 Kind 或 OverflowInt。
	if !dst.IsValid() {
		return errors.New("目标 Value 无效")
	}
	// 范围正确也不等于字段可写，先把权限边界单独处理。
	if !dst.CanSet() {
		return errors.New("目标 Value 不可设置")
	}
	// 先判断 Kind，避免把 OverflowInt 用到字符串或浮点字段上。
	switch dst.Kind() {
	case reflect.Int, reflect.Int8, reflect.Int16, reflect.Int32, reflect.Int64:
		if dst.OverflowInt(x) {
			return errors.New("整数超出目标类型范围")
		}
		return nil
	default:
		return errors.New("目标字段不是有符号整数")
	}
}

这段代码没有把“检查通过”包装成“写入成功”。在字段映射层，调用方还应保留解析失败、字段缺失和业务默认值的处理路径；本文只收紧有符号整数的范围判断。

常见问题

OverflowInt 能检查 uint 或 uintptr 吗？

不能。它面向 Int、Int8、Int16、Int32 和 Int64。无符号整数需要使用对应的 OverflowUint，不能靠转换参数类型来绕过 Kind 约束。

OverflowInt 返回 false 就代表一定能写入吗？

不代表。它只说明数值在目标有符号整数类型的范围内。目标 Value 仍可能无效、不可设置，或者来自不允许修改的未导出字段。

为什么不直接把 int64 转成 int8？

直接转换会把“范围判断”和“转换动作”连在一起，调用方容易忽略超出边界的输入。反射场景先用目标 Value 做 OverflowInt 判断，错误更容易被归类，也不会把非法数值静默带入后续字段。

把 OverflowInt 当作“目标类型范围探针”就够了：先确认 Value 和 Kind，再区分 CanSet 与数值边界，最后由上层决定是否继续写入。这样反射代码的错误日志和边界行为会清楚很多。