Go math/big.Int.CmpAbs 怎样比较两个大整数的绝对值

如果两个数可能超过 int64，又要比较它们的“大小幅度”，直接把 *big.Int 转成普通整数并不稳妥。math/big.Int 提供了 CmpAbs，它比较的是两个大整数的绝对值，返回 -1、0 或 +1，不会返回两个数相减后的差值。

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

直接结论：当业务关心的是 |x| 和 |y| 谁更大时使用 x.CmpAbs(y)；当业务关心正负号也参与排序时，继续使用 x.Cmp(y)。两者的返回值编码相同，但比较对象不同。

先分清 Cmp 和 CmpAbs 比较的对象

Cmp 按有符号数值比较，CmpAbs 先忽略符号，再比较绝对值。官方文档说明，CmpAbs 在 Go 1.10 加入，结果语义为：绝对值更小返回 -1，相等返回 0，更大返回 +1。

例如 x = -12、y = 7 时，x.Cmp(y) 得到 -1，因为 -12 小于 7；而 x.CmpAbs(y) 得到 +1，因为 12 大于 7。这里没有创建新的绝对值对象，方法只表达比较意图。

最小写法：直接比较负数、正数和相等幅度

创建 big.Int 时可以使用 big.NewInt，也可以声明零值后调用 SetString。下面的示例故意让两个输入带有不同符号，便于看出 Cmp 与 CmpAbs 的差异。

package main

import (
	"fmt"
	"math/big"
)

func main() {
	// 使用 NewInt 创建可直接参与比较的任意精度整数。
	x := big.NewInt(-120)
	y := big.NewInt(75)

	// Cmp 让符号参与比较；CmpAbs 只比较两个值的绝对值。
	fmt.Println(x.Cmp(y))    // -1：-120 小于 75
	fmt.Println(x.CmpAbs(y)) // +1：|120| 大于 |75|

	// 符号不同但绝对值相等时，CmpAbs 返回 0。
	minus := big.NewInt(-42)
	plus := big.NewInt(42)
	fmt.Println(minus.CmpAbs(plus)) // 0：两个绝对值相等
}

代码中的比较结果是三态标记，不是数值差。不要把 CmpAbs 的返回值当作“相差多少”，也不要依赖它恰好是某个正负数；业务判断只应该关心小于零、等于零或大于零。

把 -1、0、+1 接到业务判断

对结果做分支时，推荐直接使用 、== 0、> 0。如果只关心“是否超过阈值”，可以把阈值作为另一个 *big.Int 传入，不需要先计算绝对值副本。

package main

import (
	"fmt"
	"math/big"
)

func describeMagnitude(x, limit *big.Int) string {
	// CmpAbs 的结果只有三种，先判断负值，再处理相等和超过阈值。
	switch result := x.CmpAbs(limit); {
	case result 

如果只需要判断“没有超过阈值”，可以写成 x.CmpAbs(limit) 。如果还要把相等情况单独记录，就保留三路分支。这样比先调用 Abs 生成临时对象更贴近业务意图，也避免误以为比较方法会改变输入。

从 Cmp 迁移到 CmpAbs 时改哪些地方

这不是把所有 Cmp 都机械替换成 CmpAbs。迁移前先确认业务排序是否真的不关心正负号：

迁移时至少检查三处：输入是否仍然是 *big.Int，调用方是否把返回值误当成差值，以及负数与绝对值相等的案例是否有明确预期。big.Int 的方法通常以接收者保存结果，但 CmpAbs 是只读比较，不会把结果写回接收者。

零值、指针和大数边界

math/big.Int 的零值表示 0，因此可以声明变量后再赋值。不过方法接收者必须是有效的 *big.Int；不要把 nil 指针当作零值使用。

package main

import (
	"fmt"
	"math/big"
)

func main() {
	var zero big.Int
	large := new(big.Int)
	// SetString 返回成功标记；这里的 10 表示输入按十进制解析。
	if _, ok := large.SetString("1000000000000000000000000000001", 10); !ok {
		panic("无效的大整数文本")
	}

	// 零值 Int 可以参与 CmpAbs，比较不会被 int64 范围限制。
	fmt.Println(zero.CmpAbs(large)) // -1：0 的绝对值更小
}

另外，big.Int 不应在赋值后被随意复制并当成独立对象长期使用；更稳妥的做法是保持指针语义，并用 Set 或专用接收者明确复制。大整数比较不需要转成 Int64，后者在无法表示时结果是不确定的。

迁移完成前的速查清单

• 需要比较的是有符号值，还是绝对值幅度？
• 调用方是否只按 -1/0/+1 解释结果，而不是当成差值？
• 是否覆盖负数、正数、零和绝对值相等的案例？
• 是否避免把超出 int64 的 *big.Int 转回普通整数？
• 是否保持有效指针，并避免复制后产生含糊的对象生命周期？

记住一句话：Cmp 回答“谁的有符号数值更大”，CmpAbs 回答“谁的绝对值更大”。只要先把这个问题分清，负数参与的阈值和幅度比较就不会因为符号被误判。

相关问题

• CmpAbs 返回 0 是否说明两个 big.Int 相等？不一定，只能说明绝对值相等，例如 -42 与 42 的绝对值相同。
• 需要实际差值时能否读取 CmpAbs？不能。应使用 Sub 计算差值，再按业务需要处理符号。
• 为什么不先调用 Abs 再调用 Cmp？可以这样写，但会多表达一个中间对象和修改/复用边界；只比较绝对值时，CmpAbs 更直接。