go整数溢出默认静默回绕不panic，math.safeadd等函数仅支持int64/uint64且需显式类型转换；手动检测须前置分支判断边界，-gcflags="-d=checkoverflow"仅检查字面量常量溢出。
Go 语言没有内置的 Overflow 函数，也不存在能“捕获”溢出的运行时机制——整数溢出默认静默回绕，不会 panic，更不会触发 recoverable 错误。所谓“检测”，必须靠显式逻辑判断，而非事后捕获。
math.SafeAdd 等函数只支持 int64/uint64，且不自动适配 int
Go 1.21+ 的 math 包提供 SafeAdd、SafeSub、SafeMul 等函数，但它们仅接受 int64 或 uint64 类型参数：
- 传入
int（平台相关宽度）会编译报错，必须显式转成int64 - 传入
int32同样不兼容，需先转int64，再检查结果是否仍在int32范围内（例如：int32(safe) == safe或safe = math.MinInt32） -
SafeAdd返回(int64, bool)，第二个布尔值为true表示未溢出；它不抛 panic，也不返回 error
手动检测有符号加法溢出：必须分符号分支判断
对 int32 或 int64，不能依赖结果值反推溢出（比如 “正+正得负”），因为这在边界附近可能失效（如 math.MaxInt32 + 1 得 math.MinInt32，确实为负，但若用 uint32 解释该结果则完全合法）。正确做法是前置数学边界检查：
Go语言（Golang）1.26.0
下载
Go语言（Golang）1.26.0版本提供 Go 官方 Windows amd64 MSI 安装包下载入口，版本号 1.26.0，可用于旧项目维护、兼容性测试和指定版本开发环境配置。
- 若
b > 0，检查a > math.MaxInt32 - b→ 溢出 - 若
b ，检查 <code>a → 溢出 -
b == 0无需检查，直接返回a - 注意：减法可统一转为加法处理（
a - b == a + (-b)），但-b本身可能下溢（如math.MinInt32取负），应先判断b == math.MinInt32
go tool compile -gcflags="-d=checkoverflow" 几乎没用
这个 flag 常被误认为是“开启运行时溢出检查”，实际作用极窄：
- 仅在编译期对**字面量表达式**做常量折叠检查，例如
const x = math.MaxInt64 + 1会报错 - 对任何含变量的表达式（
a + b、arr[i] + offset、循环中累加）完全无效 - 不生成任何运行时校验代码，不影响二进制大小或性能
- CI 中加它只能防住低级笔误，无法替代业务逻辑中的溢出防护
模糊测试（fuzz）是发现漏检溢出场景最有效的手段
单元测试容易遗漏边界组合，而 Go 内置 fuzz 可自动探索极端输入：
- fuzz target 必须用
f.Add()显式注入极值种子：如math.MaxInt64、math.MaxInt64-1、1、0、-1、math.MinInt64 - 在
f.Fuzz闭包中，别只检查 panic —— 静默回绕不会 panic，要主动调用math.SafeAdd或手动边界判断，并比对结果一致性 - 对无符号类型，可用
a + b 检测上溢（前提是 a,b 均为 uint* 且未被错误转换） - fuzz 运行时长建议设为至少 30 秒，否则可能跳过深度变异路径
真正容易被忽略的是：溢出检测逻辑本身可能引入新 bug。比如在递归求和中每层都做 SafeAdd，却忘了中间结果仍可能作为索引传给切片访问——此时即使加法没溢出，[]byte 下标越界 panic 仍会发生。检测必须贴合使用上下文，而不是孤立地“把数字加安全”。
golang免费学习笔记（深入）：立即使用
在学习笔记中，你将探索golang的核心概念和高级技巧！
