当前位置:首页 > 文章列表 > Golang > Go教程 > Go 怎样用 math/bits 检测乘法溢出

Go 怎样用 math/bits 检测乘法溢出

来源:17golang原创 2026-10-14 19:28:43 0浏览 收藏

两个 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 中。

Go math bits Mul64 将两个 uint64 的乘积拆成 hi 高 64 位与 lo 低 64 位的结构说明图
图1:Mul64 的高低位结构说明图,展示 128 位乘积与 hi、lo 的对应关系。

例如 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。这样调用方不会在看到一个看似正常的低位结果后继续计算。

Go Mul64 先检查 hi 高位再返回 lo 结果的溢出保护结构说明图
图2:溢出保护结构说明图,只有 hi 为零时才把 lo 作为 uint64 结果交给调用方。
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 判断,并决定后续处理。

版本声明
本文转载于:17golang原创 如有侵犯,请联系study_golang@163.com删除
Go 怎样创建固定时区并格式化时间Go 怎样创建固定时区并格式化时间
上一篇
Go 怎样创建固定时区并格式化时间
Go 怎样拆分浮点数的尾数和指数
下一篇
Go 怎样拆分浮点数的尾数和指数
查看更多
最新文章
查看更多
课程推荐
  • 前端进阶之JavaScript设计模式
    前端进阶之JavaScript设计模式
    设计模式是开发人员在软件开发过程中面临一般问题时的解决方案,代表了最佳的实践。本课程的主打内容包括JS常见设计模式以及具体应用场景,打造一站式知识长龙服务,适合有JS基础的同学学习。
    543次学习
  • GO语言核心编程课程
    GO语言核心编程课程
    本课程采用真实案例,全面具体可落地,从理论到实践,一步一步将GO核心编程技术、编程思想、底层实现融会贯通,使学习者贴近时代脉搏,做IT互联网时代的弄潮儿。
    516次学习
  • 简单聊聊mysql8与网络通信
    简单聊聊mysql8与网络通信
    如有问题加微信:Le-studyg;在课程中,我们将首先介绍MySQL8的新特性,包括性能优化、安全增强、新数据类型等,帮助学生快速熟悉MySQL8的最新功能。接着,我们将深入解析MySQL的网络通信机制,包括协议、连接管理、数据传输等,让
    500次学习
  • JavaScript正则表达式基础与实战
    JavaScript正则表达式基础与实战
    在任何一门编程语言中,正则表达式,都是一项重要的知识,它提供了高效的字符串匹配与捕获机制,可以极大的简化程序设计。
    487次学习
  • 从零制作响应式网站—Grid布局
    从零制作响应式网站—Grid布局
    本系列教程将展示从零制作一个假想的网络科技公司官网,分为导航,轮播,关于我们,成功案例,服务流程,团队介绍,数据部分,公司动态,底部信息等内容区块。网站整体采用CSSGrid布局,支持响应式,有流畅过渡和展现动画。
    485次学习
查看更多
AI推荐
  • PubMedQA数据集详解:生物医学问答基准、功能与应用指南
    PubMedQA
    深入了解PubMedQA生物医学问答数据集,涵盖其核心功能、使用方法及在临床决策、药物研发等场景的应用,助力提升NLP模型性能。
    473次使用
  • H2O EvalGPT:开源LLM大模型评估与排行榜工具
    H2O EvalGPT
    H2O EvalGPT是H2O.ai推出的开源LLM评估平台,提供详细的大模型性能排行榜、行业特定基准测试及A/B测试功能,助您快速选择最适合项目的高性能大语言模型。
    531次使用
  • LMArena是什么?伯克利AI模型评估平台使用指南与功能解析
    LMArena
    LMArena是加州大学伯克利分校推出的AI模型匿名评测平台。通过盲测投票机制,用户可对比不同大模型回答并生成实时排行榜,助力开发者优化模型及用户选择最佳AI工具。
    551次使用
  • 斯坦福HELM:大语言模型Holistic Evaluation整体评估框架详解
    HELM
    深入了解斯坦福推出的HELM(Holistic Evaluation of Language Models)大模型评测体系。本文解析其核心功能、安装配置步骤及应用场景,涵盖准确性、公平性、鲁棒性等多维度指标,助力开发者全面优化语言模型性能。
    503次使用
  • MMBench详解:多模态大模型基准测试、功能特点与使用指南
    MMBench
    MMBench是由上海人工智能实验室等机构联合推出的多模态基准测试平台,提供细粒度能力评估、大规模数据集及VLMEvalKit工具。本文详细介绍其核心功能、安装使用方法及应用场景,助力开发者全面评估多模态模型性能。
    318次使用