Go math/bits.Add64 怎样处理带进位的 64 位加法

先给结论：math/bits.Add64(x, y, carry) 适合处理固定宽度的 64 位无符号加法。它返回两个值：低 64 位的 sum，以及是否溢出到更高一位的 carryOut。第三个参数不是任意整数，只能传 0 或 1；做多字加法时，低位返回的进位要原样交给高位。

我把它理解成“把普通加法拆成一个有明确出口的 64 位模块”：sum 留在当前字，carryOut 负责把宽度信息传到下一个字。这样既不会把溢出悄悄丢掉，也不用手写容易出错的位运算。

先确认 Add64 的输入输出契约

函数签名是 bits.Add64(x, y, carry)，计算关系可以写成 sum = x + y + carry。由于结果仍然放在 uint64 中，超出 64 位的部分不会出现在 sum，而是通过 carryOut 返回。官方实现还保证输出进位只有 0 或 1。

这里有一个容易忽略的边界：输入进位必须是 0 或 1。它表示“前一个更低位的加法是否溢出”，不是要额外加上的一整段数值。如果把 2 或更大的值传进去，不能把它当作正常的扩展加法使用。

用一个溢出案例读懂返回值

假设当前字要计算 math.MaxUint64 + 1 + 0。当前 64 位容器装不下完整数学结果，所以返回的 sum 是 0，carryOut 是 1。这个 1 不是错误码，而是下一字需要接收的输入进位。

package main

import (
    "fmt"
    "math"
    "math/bits"
)

func main() {
    // 当前字从 0 开始加，表示没有更低字传入的进位。
    sum, carryOut := bits.Add64(math.MaxUint64, 1, 0)
    // sum 保存低 64 位，carryOut 保存溢出到更高位的 1。
    fmt.Printf("sum=%d carryOut=%d\n", sum, carryOut)
}

这个例子真正要观察的不是打印格式，而是两个出口的职责分工：只看 sum 会误以为结果回到了零；只看 carryOut 又会丢掉当前字的结果。固定宽度运算必须把两者一起保存或继续传递。

把低位进位传给高位加法

当两个 128 位整数分别用两个 uint64 表示时，可以约定下标 0 是低位字、下标 1 是高位字。先对低位使用初始进位 0，再把它返回的进位传入高位；高位返回的进位就是整个 128 位结果之外的最终溢出。

package main

import "math/bits"

// add128 使用两个 uint64 字表示一个 128 位无符号整数。
func add128(a, b [2]uint64) (sum [2]uint64, carryOut uint64) {
    // 低位字从零开始，先取得低位结果和传给高位的进位。
    sum[0], carry := bits.Add64(a[0], b[0], 0)
    // 高位字接收低位 carry；这里的返回值是整个 128 位加法的最终进位。
    sum[1], carryOut = bits.Add64(a[1], b[1], carry)
    return sum, carryOut
}

这个拆分的好处是边界很清楚：sum[0] 和 sum[1] 是结果的两个字，carryOut 则说明结果是否需要第三个字。若业务只接受 128 位范围内的值，可以在调用方显式处理这个最终进位；不能把它静默丢掉后再声称没有溢出。

上线时要保留的三个判断

如果你只是做普通的单字加法，直接使用 uint64 运算通常更直观；当你需要把多个固定宽度字连接起来、实现协议字段运算或处理大于机器字长的无符号数时，Add64 的双返回值才真正体现价值。它付出的代价是调用方必须认真维护进位链。

常见问题

carryOut 是不是错误？不是，它是当前 64 位字向更高位产生的进位。是否算业务错误，要由调用方的数值范围决定。

可以用 Add64 处理有符号整数溢出吗？本文讨论的是 uint64 的固定宽度无符号加法。若要判断有符号溢出，需要采用有符号整数自己的规则，不能直接把 carryOut 当成结论。