Go constant.Compare 怎样比较大整数而不转成 float64

比较超出 float64 精确整数范围的大整数时，不要先调用 Float64Val。把两个字面量保留为 constant.Value，再把 token.LSS、token.EQL 或 token.GTR 传给 constant.Compare，比较结果就是布尔值，而且不会经过浮点舍入。

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

constant.Compare 的第三个参数不是数字，而是比较运算符；它适合比较 Go 常量求值结果、AST 中的数字字面量和需要保留精度的排序键。

constant.Compare 的参数和返回值是什么

它的签名是 Compare(x, op, y) bool。左右两侧都是 constant.Value，中间的 op 使用 go/token 中的比较令牌。函数只负责比较，不负责移位；移位应使用 constant.Shift。如果任一操作数是 Unknown，结果为 false。

大整数可以直接从 Go 字面量字符串创建。MakeFromLiteral 的类型参数使用 token.INT，最后一个参数按文档要求传 0；字面量语法无效时会得到 Unknown。

package main

import (
    "fmt"
    "go/constant"
    "go/token"
)

func main() {
    // 用字符串保留完整整数，不经过 int64 或 float64 的容量限制。
    left := constant.MakeFromLiteral("9007199254740993000001", token.INT, 0)
    right := constant.MakeFromLiteral("9007199254740993000002", token.INT, 0)

    // 用比较令牌表达关系，Compare 不需要把 Value 转成浮点数。
    fmt.Println(constant.Compare(left, token.LSS, right))
    fmt.Println(constant.Compare(left, token.EQL, right))
    fmt.Println(constant.Compare(left, token.GTR, right))
}

上例的三行结果依次是 true、false、false。关键点是两个输入仍然是 Kind 为 Int 的常量值；没有任何一步把它们压缩成有限位数的机器整数。

为什么不要先转成 float64

float64 可以表达很大的数量级，但不能精确表达所有很大的整数。比如相邻的两个整数可能在转换后落到同一个浮点值，随后比较就丢失了“谁更大”的信息。constant.Float64Val 会返回最近的浮点值以及一个表示是否精确的布尔值，因此它更适合作为显式的输出转换，而不是精确比较入口。

如果确实需要转成浮点数，应检查第二个返回值；如果需要调试或输出精确文本，可调用 Value.ExactString()，而不是依赖可能被截短的 String()。

package main

import (
    "fmt"
    "go/constant"
    "go/token"
)

func main() {
    // 这个值适合用于说明精确文本与浮点近似值的边界。
    value := constant.MakeFromLiteral("9007199254740993000001", token.INT, 0)

    // ExactString 直接给出可读的精确表示。
    fmt.Println(value.ExactString())

    // Float64Val 可能只能给出近似结果，必须读取 exact 标志。
    approx, exact := constant.Float64Val(value)
    fmt.Println(approx, exact)
}

Int64Val 和 Uint64Val 也遵循同样的约定：第二个返回值为 false 时，数值结果不能当作精确值使用。它们用于确认能否落入机器整数范围，不是替代 Compare 的办法。

用三路比较实现精确排序

Compare 返回的是布尔值。如果调用方需要排序器常见的 -1/0/1，可以按小于、大于、相等的顺序组合两次比较。这里的“相等”不是把两个值转成字符串比较，而是让 Compare 直接使用 token.EQL 的常量语义。

func compareValues(a, b constant.Value) int {
    // 先判断小于和大于，剩余情况就是相等或不可比较。
    if constant.Compare(a, token.LSS, b) {
        return -1
    }
    if constant.Compare(a, token.GTR, b) {
        return 1
    }
    return 0
}

如果输入来自解析器，建议在进入这个函数前就保留求值状态，并单独判断 Kind() == constant.Unknown。因为官方约定是 Unknown 参与比较时返回 false，单凭一个 false 无法区分“确实不小于”与“值本身未知”。

常见误区与选择建议

相关问题

constant.Compare 能比较字符串吗？

可以，只要该比较对两个 Value 有定义；但文章中的大整数场景应保持 Kind Int，不要把数字转成字符串后按字典序比较。

为什么不能用 Value.String() 判断相等？

String() 是面向人类阅读的短表示，数值可能是近似形式。需要精确输出用 ExactString()，需要精确关系判断用 Compare。