Go问答：math/bits整数乘法溢出怎样得到高低位结果为什么结果为空或不符合预期

要得到两个 uint64 的完整乘积，用 hi, lo := bits.Mul64(x, y)，它把128位乘积拆为高64位与低64位。数学值为 hi × 2^64 + lo；hi 非零表示乘积放不进一个 uint64。普通 uint64 乘法只保留低64位，事后转换无法恢复已丢失的高位。

我在设计数量和容量计算接口时，会把“完整乘积”与“可否放进64位”作为两种返回契约。这样调用方不会把溢出后的零误认成业务结果。下面示例未执行，数学推导与代码用途分开说明。

官方地址：https://pkg.go.dev/math/bits

确定输入是无符号定宽整数

bits.Mul64 接收无符号 uint64，不是任意 int 乘法的通用补救。Go 的 uint 和 int 宽度依赖实现；需要固定64位语义时，应直接使用 uint64 与 Mul64。负数不能不加说明地转换为 uint64 后按正数乘积解释。

无符号整数运算按类型位宽取模，高位会被截断。变量运算可能得到一个合法但与数学整数乘积不同的值；编译期常量无法表示的错误属于另一问题，不能用变量的回绕规则解释常量赋值。

用高低位保存完整乘积

Product128 包含 Hi、Lo 两个字段，Multiply 只负责生成完整乘积。bits.Mul64 的第一个返回值是高位，第二个才是低位。二者都是 uint64，不是字节数组，也不是可空结果。

package main

import (
    "fmt"
    "math/bits"
)

type Product128 struct {
    Hi uint64 // 完整乘积的高六十四位。
    Lo uint64 // 完整乘积的低六十四位。
}

func Multiply(x, y uint64) Product128 {
    hi, lo := bits.Mul64(x, y) // 返回顺序始终是高位、低位。
    return Product128{Hi: hi, Lo: lo}
}

func CheckedMul(x, y uint64) (uint64, bool) {
    p := Multiply(x, y)
    // 高位非零表示完整乘积放不进一个 uint64。
    if p.Hi != 0 { return 0, false }
    return p.Lo, true
}

func main() {
    x, y := uint64(1)

在这个例子里，x 为2^63，y为3。数学上乘积为2^64加2^63，因此 hi 应为1、lo应为2^63。这是算术推导，不是本机执行回执。高位为零也完全正常，只表示完整乘积不超过64位范围。

给调用方返回明确的溢出状态

CheckedMul 返回的 bool 是“是否能表示”的状态：true 时数值才可直接使用；false 时返回的0是约定占位，不能当作实际乘积。调用方必须先判断 ok。完整乘积需求则调用 Multiply，不要把 CheckedMul 的占位结果拿去拼高低位。

容量计算还可能有更小的业务上限。即便 ok 为true，也不代表可以分配同样大小的内存，或能转换为当前平台 int；应继续与目标类型范围和业务限额比较。

避免展示和转换再次截断

把两个字段展示成十六进制时，高位在前，低位补足16个十六进制数字；这是一种文字表示，与机器字节序无关。需要传输为字节时，应另行约定字段顺序和各字段的端序。

不要用 uint64 的 hi 重组128位值：左侧值仍然只有64位容器，不能容纳移动后的高位。需要十进制完整值时，可用 math/big 在足够宽的对象中重组，或先把原操作数转换成 big.Int 再乘。

同样，先算 x*y 再传给大整数，只会把已经截断的低位放进去。float64 也不能精确表示所有64位整数，更不能当作完整128位整数容器。

选择固定宽度或任意精度

固定128位乘积适合只需一次64位乘法完整结果的场景；一旦继续累加、连乘或要求有符号语义，就需要为进位、位宽和符号另立规则。我会先保持接口清楚，再决定采用定宽分块运算还是任意精度，避免把几个字段拼接当作完整数值系统。

本示例没有文件、网络或句柄需要清理。Hi、Lo是普通值字段，不需要关闭；结果为空通常来自调用方容器、格式化或丢弃状态，而不是 Mul64 返回了 nil。

hi 为零是不是没有算出来？

不是。乘积能放进64位时，高位自然为零。

lo 为零是否表示乘积为零？

不一定。2^63乘2的完整结果高位为1、低位为0；必须同时看两个字段。

能直接处理 int64 的负数吗？

不能按无符号数学值照搬。需要明确符号扩展或使用有符号大整数方案，不要把转成uint64当作保留正负意义。

参考：https://pkg.go.dev/math/bits#Mul64；整数溢出规则：https://go.dev/ref/spec#Integer_overflow。