Go math/big 出错时怎么排查溢出结果

我在排查 Go 数值异常时，最容易被“溢出结果”这个描述带偏：math/big 的 Int 用任意精度表示整数，普通加减乘并不会像 int64 一样在固定宽度内回绕。真正需要先查的，通常是把它转换回机器整数、把 big.Float 设成了过低精度，或复用了接收者后误读了被覆盖的值。

官方文档：https://pkg.go.dev/math/big

先把“溢出”分成三层

我通常先在日志里记录对象类型和转换点，再把现象分成三类。第一类是 big.Int 仍然正确，但调用方把它变成了 int64 或 uint64；第二类是 big.Float 的尾数精度不足，结果被舍入；第三类不是数值溢出，而是复用接收者时把旧值覆盖了。这样分层后，不要一看到结果变小就去修改乘法逻辑。

对整数先看 BitLen，对浮点先看 Prec；再回到发生窄化转换的那一行，通常很快能找到边界。

检查 big.Int 是否被转换回机器整数

Int64 和 Uint64 没有 error 返回值，所以生产代码不能把它们当作安全转换。先判断可表示性，失败时保留原始字符串或返回业务错误：

func toInt64(x *big.Int) (int64, error) {
	// math/big 的 Int 可比 int64 更宽，先拒绝无法表示的值。
	if !x.IsInt64() {
		return 0, fmt.Errorf("value %s is outside int64", x.String())
	}
	// 通过检查后再做窄化转换，避免把边界错误带入业务层。
	return x.Int64(), nil
}

如果业务目标是无符号范围，就换成 IsUint64 与 Uint64。不要只看十进制位数：负号、边界值和目标类型共同决定是否可表示。

检查 big.Float 的精度与舍入

big.Float 的精度是尾数位数，不是“保留多少位小数”。若结果要转换成 float64，应明确设置 SetPrec，转换后检查 Accuracy；Exact 才表示这次转换没有舍入，Below 或 Above 则说明结果落在精确值的一侧。

func toFloat64(x *big.Float) (float64, error) {
	// 无穷值先单独拒绝，避免把 Inf 当成正常业务数值。
	if x.IsInf() {
		return 0, errors.New("infinite float is not allowed")
	}
	// Float64 返回值之外，还返回这次转换的精度状态。
	v, acc := x.Float64()
	if acc != big.Exact {
		return 0, fmt.Errorf("rounded float: %s", acc)
	}
	return v, nil
}

如果舍入是业务允许的，就不要简单忽略 acc，而要把 Below/Above 纳入容差规则。金额、比例和计量值尤其应该先决定是否使用 Rat 或更高的 SetPrec，再决定展示格式。

用边界验证和接收者复用收尾

math/big 的算术方法把接收者作为结果位置，像 z.Add(z, x) 这样的别名用法是允许的，但同一个指针在多个阶段复用时，旧值会被覆盖。排查时给中间值起清楚的名字，必要时用 new(big.Int).Set(old) 保留快照。

var total, item big.Int
	// 接收者 total 被更新；调用前不要再把它当作旧快照读取。
	total.Add(&total, &item)
	// 用 Cmp 对照业务上限，而不是只凭打印结果判断溢出。
	if total.Cmp(limit) > 0 {
		return fmt.Errorf("value exceeds business limit")
	}

最后复查三件事：窄化转换前是否有 IsInt64/IsUint64，浮点结果是否记录 Accuracy，接收者是否在比较前被复用。只要这三项都有证据，“溢出”通常就能被还原成一个明确的类型或精度边界。

相关问题

big.Int 本身会像 int64 一样回绕吗？

普通 Int 运算不是固定 64 位容器；如果看到回绕样式结果，优先检查是否已经转换成机器整数，或是否读取了被接收者覆盖的旧变量。

Float64 返回 Exact 就代表业务结果一定正确吗？

不一定。Exact 只说明这次转换相对于当前 big.Float 值没有舍入，仍要结合输入精度、范围和业务容差判断。