Go math/bits.Mul32 怎样取得乘积的高低 32 位

我在处理两个 uint32 计数值相乘时，最容易漏掉的是结果位宽：两个 32 位无符号数相乘，完整结果最多需要 64 位。想保留这 64 位，不要直接依赖 uint32 乘法的结果，而应使用 math/bits.Mul32 取得高、低两个 32 位部分。

官方文档：https://pkg.go.dev/math/bits#Mul32

Mul32(x, y) 返回 (hi, lo)：hi 是乘积的高 32 位，lo 是低 32 位。需要完整值时，再把两半按 32 位边界重组。

先确认 Mul32 返回的高低两半

bits.Mul32 的参数都是 uint32，返回值也是两个 uint32。这里的两个返回值不是“商和余数”，而是同一个 64 位乘积的上半部与下半部。比如 0xffffffff × 2 = 0x1fffffffe，写成固定 64 位就是 0x00000001fffffffe，所以 hi=1、lo=0xfffffffe。

package main

import (
    "fmt"
    "math/bits"
)

func main() {
    x, y := uint32(0xffffffff), uint32(2)
    // Mul32 把完整乘积拆成高 32 位和低 32 位。
    hi, lo := bits.Mul32(x, y)
    fmt.Printf("hi=%#08x lo=%#08x\n", hi, lo)
}

这两个字段可以直接交给需要“宽整数两半”的算法，例如多精度运算、协议字段拆分或后续的 bits.Div32。如果只保存 lo，就等同于主动丢弃可能溢出 32 位范围的高半部。

用 uint64 重组并检查结果

重组时要先把 hi 转成 uint64，再左移 32 位；否则如果在窄类型上移位或拼接，容易把高位含义弄丢。低半部也显式转成 uint64，最后使用按位或合并两个不重叠的区间。

package main

import (
    "fmt"
    "math/bits"
)

func fullProduct(x, y uint32) uint64 {
    // hi 和 lo 各占 32 位，先扩宽再组合成一个 uint64。
    hi, lo := bits.Mul32(x, y)
    return uint64(hi)

重组后的 uint64 适合做范围判断、序列化或作为下游计算的单值输入。需要特别注意的是：hi 和 lo 的类型仍是 uint32，只是通过显式转换后才参与 64 位移位与合并。

排查最容易混淆的三种写法

遇到结果不对时，我会先把“乘法发生在哪个类型上”写在纸上。Go 的整数运算通常按操作数类型进行；先做 uint32 乘法，再把结果转换成 uint64，已经来不及恢复被截断的高位。

func compareProducts(a, b, c, d uint32) bool {
    // 先扩宽再相乘，避免 uint32 乘法先发生溢出。
    left := uint64(a) * uint64(b)
    right := uint64(c) * uint64(d)
    return left > right
}

如果调用方只需要比较两个 32 位乘积，直接扩宽后的 uint64 往往足够；如果协议或算法要求两个字段，就使用 Mul32。不要为了“看起来底层”而拆分数据，先确认下游接口的输入契约。

把高低位交给后续算法

最终选择可以归纳为三条：只需要低位时接受 uint32 的模运算语义；需要完整单值时先把操作数转换成 uint64 再相乘；需要两个 32 位字段时使用 Mul32。在序列化场景还要额外约定字节序，hi 在数值上是高半部，并不自动决定网络字节流的排列方式。

我的排查清单是：先确认输入是否真的是无符号 32 位；再确认乘法发生前有没有扩宽；随后确认 hi、lo 的顺序；最后才检查下游的移位、序列化或比较逻辑。这样能把“结果少了一半”定位到具体的类型边界，而不是反复改常量。

常见问题

为什么不能先算 uint32(x*y) 再转成 uint64？

因为乘法已经按 uint32 计算，超出低 32 位的部分在转换前就丢失了。要么先把操作数转成 uint64，要么直接使用 Mul32。

hi 和 lo 能不能交换？

不能。hi 固定表示高 32 位，lo 固定表示低 32 位；重组时应使用 uint64(hi)。

什么时候不必使用 Mul32？

如果只需要一个完整的 64 位数，uint64(x)*uint64(y) 更直接；只有在需要拆分字段、复用高低位或对接宽整数算法时，Mul32 的返回契约才更合适。