Go 1.27 math/big.Int Divide 怎么选舍入：Trunc、Floor、Round 与 Ceil

Go 1.27 给 math/big.Int 增加了 Divide。它不是简单替代 QuoRem，而是把“商要向哪里舍入”变成显式参数。处理负数、计费分摊或区间边界时，先选清 Trunc、Floor、Round、Ceil，再核对余数，能避免商看似正确却破坏业务约束。

先把 Divide 的四种舍入方向分开

big.Int.Divide 的方法签名是 func (z *Int) Divide(x, y, r *Int, mode RoundingMode) (*Int, *Int)。当 z 非空时写入商 q，当 r 非空时写入余数。官方定义只有一条核心恒等式：先按模式计算 q = f(x/y)，再计算 r = x - y*q。因此余数的符号和范围会随舍入方向变化，不能沿用“余数永远非负”的假设。

用 -7 除以 3 看清负数差异

令 x = -7、y = 3，精确商约为 -2.333。结果可直接记为：Trunc: q=-2 r=-1、Floor: q=-3 r=2、Round: q=-2 r=-1、Ceil: q=-2 r=-1。四组结果都满足 -7 = 3*q + r，差异来自商的舍入方向，不是计算错误。

x, y := big.NewInt(-7), big.NewInt(3)
q, r := new(big.Int), new(big.Int)
q.Divide(x, y, r, big.Floor)
fmt.Println(q, r) // -3 2

Round 采用最近偶数，而不是一律远离零。遇到正好一半时，5/2 得到 2，7/2 得到 4。财务或配额规则若要求固定向上、固定向下，应该直接选 Ceil 或 Floor，不要用 Round 猜业务意图。

迁移时保留三个检查点

从 QuoRem 迁移时，先用 Trunc 保持原来的向零语义，再补负数和中点用例。若旧代码使用 DivMod，它采用欧几里得除法，不能机械改成任意模式。第二，商或余数不需要时可以传 nil，但除数仍不能为零。第三，不要把其他 RoundingMode 值传给 Divide；官方只接受四个命名模式。

验收时至少覆盖正数、负数、整除、非整除和中点五组数据，并逐组检查 r = x - y*q。这比只看商是否符合直觉更可靠，因为余数能直接暴露舍入方向选错的问题。

常见问题

Divide 能完全替代 QuoRem 吗？

不能直接这样理解。选择 Trunc 时语义接近 QuoRem，但其他模式会调整商与余数；迁移前必须核对负数规则。

Round 和 math.Round 一样都是半数远离零吗？

不是。这里的 big.Round 对应最近偶数，中点会落到偶数商；不要把浮点包中同名函数的习惯套过来。