Go 怎样用 math/bits 检测乘法溢出
来源:17golang原创
时间:2026-10-14 19:28:43 308浏览 收藏
两个 uint64 相乘时,Go 会保留低 64 位,超出的高位不会自动变成错误。需要检测溢出时,直接使用 math/bits 的 Mul64:它返回完整 128 位乘积的 hi 和 lo,只要 hi != 0,就说明结果已经超过一个 uint64 可以表示的范围。
lo是乘积低 64 位,hi是高 64 位,不是错误码。- 无符号
uint64乘法的溢出条件只有一个:hi != 0。 - 业务函数应先判断高位,再决定是否返回低位,避免静默使用截断值。
先看懂 Mul64 的高低位结果
bits.Mul64(x, y) 计算的是 128 位乘积,返回值满足 product = (hi 。当乘积较小时,高 64 位为零;当乘积需要第 65 位及以上才能表达时,超出的部分就会落在 hi 中。

例如 12 × 12 的结果是 hi=0、lo=144;而 math.MaxUint64 × 2 的结果一定会有非零高位。这里的 lo 仍然有用,它代表模 2^64 后的低位结果,但不能单独代表完整乘积。
用 hi != 0 判断 uint64 乘法溢出
如果目标类型就是无符号 uint64,判断逻辑很短:调用 Mul64,检查 hi。不要先做 x*y 再和某个阈值比较,因为乘法已经可能在比较前被截断。
package main
import (
"fmt"
"math/bits"
)
func main() {
// Mul64 返回完整乘积的高、低 64 位。
hi, lo := bits.Mul64(^uint64(0), 2)
fmt.Printf("hi=%d lo=%d overflow=%t\n", hi, lo, hi != 0)
}
这段判断只针对非负的 uint64 乘法。Mul64 不会因为高位非零而 panic,也不会把 hi 自动转换成错误;是否报错、记录日志或降级,都应由业务封装函数决定。
把检查封装成不会误用的函数
更适合业务代码的写法是:溢出时返回明确错误,成功时才返回 lo。这样调用方不会在看到一个看似正常的低位结果后继续计算。

package main
import (
"errors"
"fmt"
"math/bits"
)
var ErrUint64Overflow = errors.New("uint64 multiplication overflow")
func checkedMul(a, b uint64) (uint64, error) {
// 高半部非零表示完整乘积超过 uint64 的最大宽度。
hi, lo := bits.Mul64(a, b)
if hi != 0 {
// 不把已经截断的 lo 当作成功结果返回。
return 0, ErrUint64Overflow
}
return lo, nil
}
func main() {
value, err := checkedMul(1
边界检查清单:什么时候不该只看 lo
| 场景 | 判断方式 | 注意点 |
|---|---|---|
| 两个 uint64 相乘 | hi != 0 | 高位非零即超出 uint64 宽度 |
| 只需要低 64 位哈希或掩码 | 直接使用 lo | 必须明确接受模 2^64 截断语义 |
| 有符号整数范围 | 另做符号和上限判断 | Mul64 处理的是 uint64,不等于 int64 安全检查 |
| 需要完整任意精度结果 | 改用 math/big.Int | 不要把 hi、lo 拼接后误当任意精度类型 |
还要注意输入来源。如果乘数来自字节长度、数量和单价的组合,最好在转换成 uint64 前先完成负数校验;如果最终还要转换成 int 或数据库有限精度字段,则需要对目标类型再次做范围判断。
常见问题
为什么不能用 lo 判断所有乘法溢出?
这种技巧依赖特定输入条件,表达不了完整的 128 位结果。使用 Mul64 直接检查 hi 更清晰,也不会把边界判断和业务类型混在一起。
hi 非零时还能使用 lo 吗?
可以把它当作低 64 位片段用于明确的模运算,但不能把它当作完整乘积。若业务要求精确值,应保留高低位或切换到 math/big.Int。
bits.Mul64 会因为溢出返回错误吗?
不会。它只返回高、低两个无符号整数,溢出语义由调用方通过 hi != 0 判断,并决定后续处理。
-
860 收藏
-
843 收藏
-
826 收藏
-
809 收藏
-
792 收藏
-
339 收藏
-
265 收藏
-
497 收藏
-
307 收藏
-
135 收藏
-
427 收藏
-
274 收藏
-
439 收藏
-
353 收藏
-
326 收藏
-
486 收藏
-
323 收藏
-
- 前端进阶之JavaScript设计模式
- 设计模式是开发人员在软件开发过程中面临一般问题时的解决方案,代表了最佳的实践。本课程的主打内容包括JS常见设计模式以及具体应用场景,打造一站式知识长龙服务,适合有JS基础的同学学习。
- 立即学习 543次学习
-
- GO语言核心编程课程
- 本课程采用真实案例,全面具体可落地,从理论到实践,一步一步将GO核心编程技术、编程思想、底层实现融会贯通,使学习者贴近时代脉搏,做IT互联网时代的弄潮儿。
- 立即学习 516次学习
-
- 简单聊聊mysql8与网络通信
- 如有问题加微信:Le-studyg;在课程中,我们将首先介绍MySQL8的新特性,包括性能优化、安全增强、新数据类型等,帮助学生快速熟悉MySQL8的最新功能。接着,我们将深入解析MySQL的网络通信机制,包括协议、连接管理、数据传输等,让
- 立即学习 500次学习
-
- JavaScript正则表达式基础与实战
- 在任何一门编程语言中,正则表达式,都是一项重要的知识,它提供了高效的字符串匹配与捕获机制,可以极大的简化程序设计。
- 立即学习 487次学习
-
- 从零制作响应式网站—Grid布局
- 本系列教程将展示从零制作一个假想的网络科技公司官网,分为导航,轮播,关于我们,成功案例,服务流程,团队介绍,数据部分,公司动态,底部信息等内容区块。网站整体采用CSSGrid布局,支持响应式,有流畅过渡和展现动画。
- 立即学习 485次学习