Go math/bits.Mul 溢出后的高低位怎么核对

Go 里用普通的 x * y 只会得到目标整数类型宽度内的结果；当乘积超出低半部时，高位会丢失。math/bits.Mul 的处理方式是把全宽结果拆成 (hi, lo)：hi 是高半部，lo 是低半部。判断是否发生了需要关注的溢出，第一眼先看 hi != 0，不要只看 lo 是否变小。

先把 Mul 的返回值按位宽摆正

官方文档对 Mul 的定义很直接：(hi, lo) = x * y，高半部放在 hi，低半部放在 lo。Mul64 则明确返回 128 位乘积。泛型的 Mul 使用 uint，所以在 32 位和 64 位平台上，半部宽度不同。

因此，看到 hi 和 lo 时不要把它们当成“两个独立结果”。它们共同表示一个更宽的无符号乘积，顺序固定为高位在前、低位在后。

用非零 hi 判断是否截断

在 64 位版本里，hi == 0 表示乘积的第 64 位以上全是零，完整结果可以安全地用 lo 表示；hi != 0 才说明乘积超出了一个 uint64 的容量。如果把普通乘法的结果和 lo 比较，看到“数值不对”其实可能只是你漏读了高半部。

package main

import (
	"fmt"
	"math/bits"
)

func main() {
	// 这个输入的乘积超过 uint64，故意观察 hi 是否承接溢出位。
	x := uint64(0x8000000000000000)
	y := uint64(2)
	hi, lo := bits.Mul64(x, y)

	// 用十六进制打印，避免十进制看不出半部边界。
	fmt.Printf("hi=0x%016x lo=0x%016x overflow=%t\n", hi, lo, hi != 0)
}

这个示例的关键不是把高位“加回去”，而是保存两个返回值。若业务只允许 64 位结果，可以在转换或落库前明确检查 hi != 0 并返回错误；若业务支持更宽整数，则继续保留两半。

用 Mul64 和 math/big 重建完整值

需要定位“到底是哪一半错了”时，可以用一个独立表示重建结果。下面的核对代码不依赖把 128 位数字塞进单个内置整数：先计算 math/big 的完整乘积，再把 hi 左移 64 位并合并 lo。

package main

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

func main() {
	// 选择会产生高半部的输入，便于同时检查 hi 和 lo。
	x := uint64(0xf000000000000000)
	y := uint64(2)
	hi, lo := bits.Mul64(x, y)

	// 用 big.Int 计算独立的完整乘积。
	want := new(big.Int).Mul(new(big.Int).SetUint64(x), new(big.Int).SetUint64(y))
	// 128 位结果等于 hi*2^64 + lo。
	got := new(big.Int).Lsh(new(big.Int).SetUint64(hi), 64)
	got.Or(got, new(big.Int).SetUint64(lo))

	fmt.Printf("match=%t hi=0x%016x lo=0x%016x\n", want.Cmp(got) == 0, hi, lo)
}

重建公式里的 64 只属于 Mul64。如果改成 bits.Mul，应使用 bits.UintSize；混用固定的 64 会让 32 位构建出现错误的拼接位置。

检查类型、打印和测试边界

这类问题通常不是 math/bits 改变了乘法规则，而是调用方在三个地方弄错了边界：第一，把 hi 和 lo 交换；第二，把 uint 当成固定 64 位；第三，用十进制只打印 lo。排查时可以按下面清单收敛范围。

• 调用是否是 Mul、Mul32 还是 Mul64，输入类型是否对应。
• 是否保留了两个返回值，是否在赋值或序列化时丢掉了 hi。
• 是否用 hi != 0 作为“无法装入低半部”的判断。
• 测试是否覆盖 0、1、刚好不溢出，以及 hi=1 的最小溢出样例。

如果只需要一个固定宽度的结果，优先选 Mul64 或 Mul32，让协议和测试的位宽稳定；只有确实要跟随机器字宽时才选 Mul。这也是核对结果最容易被忽略的工程条件。

相关问题

为什么 Mul 的 hi 是 0，但普通乘法仍可能“溢出”

hi == 0 说明完整乘积能放入当前半部，不是溢出。若后续又把 lo 转成更窄的 uint32 或其他类型，仍可能在新的转换边界丢位。

Mul 和 Mul64 应该怎么选

协议、文件格式和测试希望固定 64 位时选 Mul64；需要适配机器字宽的底层算法才使用 Mul，并同步处理 bits.UintSize。

如何快速确认高低位没有写反

用一个能产生 hi=1 的样例，再按 hi 重建并和 math/big 比较；如果只交换一次返回值，比较通常会立即失败。