Go math/big.Int.QuoRem 处理负数商和余数时怎么验算

处理大整数时，最容易误判的不是商，而是负数余数。math/big.Int.QuoRem 按 Go 的整数除法规则工作：商向零截断，余数通过 r = x - y*q 得到。因此 -17 除以 5 的结果是商 -3、余数 -2，不是把余数强行调整为正数。

QuoRem 的验算式只有一条：x = y×q + r

先不要凭直觉判断“负数除法应该向下取整”。Go 的规则是向零截断，所以 -17/5 的商距离零更近，为 -3。把它代回公式：5×(-3)+(-2)=-17，结果成立。

下面这段代码只演示结果关系，图示也只是静态结构示意，不代表在本机截取了运行画面：

package main

import (
	"fmt"
	"math/big"
)

func main() {
	// 输入和除数分别保存，避免把接收对象误当成输入对象。
	x := big.NewInt(-17)
	y := big.NewInt(5)
	var q, r big.Int
	// QuoRem 按 Go 规则向零截断，并把余数写入 r。
	q.QuoRem(x, y, &r)
	fmt.Printf("q=%s, r=%s, check=%s\n", q.String(), r.String(), new(big.Int).Add(new(big.Int).Mul(y, &q), &r))
}

负数余数为什么跟 DivMod 不一样

QuoRem 的余数保留 T-除法语义，余数通常与被除数同号或为零；它适合复现 Go 原生整数运算和协议中明确采用该规则的场景。DivMod 则实现欧几里得除法，保证余数满足 0 ，适合分桶、环形下标和要求非负模数的业务。

package main

import (
	"fmt"
	"math/big"
)

func main() {
	// 两组接收对象独立，便于并排比较两种除法语义。
	x := big.NewInt(-17)
	y := big.NewInt(5)
	var tq, tr, eq, er big.Int
	// T-除法向零截断，余数可以为负数。
	tq.QuoRem(x, y, &tr)
	// 欧几里得除法把余数规范到非负范围。
	eq.DivMod(x, y, &er)
	fmt.Printf("QuoRem=(%s,%s), DivMod=(%s,%s)\n", &tq, &tr, &eq, &er)
}

同一组输入因此会得到 QuoRem=(-3,-2) 和 DivMod=(-4,3)。两组结果都满足 x=y*q+r，差别在于商的取整方向和余数范围。把其中一种结果误当成另一种结果，分页偏移、哈希分桶或循环索引就可能在负输入下出现错位。

工程代码如何把“验算”和“业务余数”分开

建议先用恒等式确认结果，再单独写业务断言。不要通过 == 比较两个 *big.Int 指针，也不要浅拷贝 Int；标准库要求每个独立数值拥有自己的 *Int。除数为零时，QuoRem 会触发除零运行时 panic，应在业务入口提前拦截。

func validQuoRem(x, y, q, r *big.Int) bool {
	// 先验证代数恒等式，避免只检查余数符号而漏掉商错误。
	left := new(big.Int).Mul(y, q)
	left.Add(left, r)
	if left.Cmp(x) != 0 {
		return false
	}
	// 这里的范围检查对应 QuoRem 的 T-除法语义。
	return new(big.Int).Abs(new(big.Int).Set(r)).Cmp(new(big.Int).Abs(y)) 

如果需求是“余数永远非负”，不要在 QuoRem 返回后手工补商，直接让代码调用 DivMod，并在测试中覆盖 x、y 的四种正负组合。这样 API 选择和业务约束各自清楚，后续维护也不容易把一次修补变成另一套除法规则。

相关问题

QuoRem 的除数为零会返回什么？

不会返回正常的商和余数；官方文档规定会发生除零运行时 panic。业务代码应先判断 y.Sign()==0。

为什么结果验算必须用 Cmp？

big.Int 是可变对象，== 比较的是对象身份；用 Cmp 才是在比较数值。

什么时候应该改用 DivMod？

当余数必须落在 [0, |y|)，例如环形下标、分桶键或明确要求欧几里得模运算时，优先使用 DivMod。