本文介绍在 go 中高效、无依赖地检测 int32/int64 有符号整数加法溢出的正确方法，避免运行时 panic，适用于实现动态精度切换的语言（如 lisp 解释器），兼顾性能与安全性。
本文介绍在 go 中高效、无依赖地检测 int32/int64 有符号整数加法溢出的正确方法，避免运行时 panic，适用于实现动态精度切换的语言（如 lisp 解释器），兼顾性能与安全性。
在 Go 中，整数溢出不会触发异常，而是静默回绕（wrap-around），这在系统编程中是预期行为，但在高级语言解释器（如 Lisp）中却构成严重隐患——你无法仅凭结果值判断是否发生了溢出。例如：
a, b := int32(2147483647), int32(1) // MaxInt32 + 1 c := a + b // 结果为 -2147483648 —— 完全无法从 c 推断溢出
因此，必须在运算前进行数学边界检查，而非事后校验结果。核心思想是：对 left + right，判断 right > 0 时是否 left > math.MaxInt32 - right（即相加后将超过上限）；right < 0 时是否 left < math.MinInt32 - right（即相加后将低于下限）。该方法不依赖额外类型转换，零分配、无反射、常数时间完成。
以下是一个生产就绪的 int32 安全加法函数示例：
package main
import (
"errors"
"math"
)
var ErrOverflow = errors.New("integer overflow")
// Add32 执行带溢出检测的 int32 加法
// 若溢出，返回 0 和 ErrOverflow；否则返回正确和与 nil 错误
func Add32(left, right int32) (int32, error) {
switch {
case right > 0 && left > math.MaxInt32-right:
return 0, ErrOverflow
case right < 0 && left < math.MinInt32-right:
return 0, ErrOverflow
}
return left + right, nil
}✅ 优势说明：
- 零开销：无类型提升（如转 int64）、无内存分配、无函数调用开销；
- 完备覆盖：正确处理正负边界（包括 MinInt32 和 MaxInt32 的所有组合）；
- 可扩展：同理可快速实现 Add64（使用 math.MaxInt64/MinInt64），并作为构建任意精度升级链（int32 → int64 → big.Int）的基石。
对于 int64 溢出检测，只需将类型和常量替换即可：
func Add64(left, right int64) (int64, error) {
switch {
case right > 0 && left > math.MaxInt64-right:
return 0, ErrOverflow
case right < 0 && left < math.MinInt64-right:
return 0, ErrOverflow
}
return left + right, nil
}⚠️ 注意事项：
- 不要使用 unsafe 或 reflect；不要依赖 GOEXPERIMENT=overflows（非稳定特性）；
- 避免“先算再比”模式（如 if left+right < left），在负数场景下逻辑失效（例如 -5 + (-10)）；
- 若需支持乘法/减法/除法，需分别推导对应不等式（减法可统一为 left + (-right) 复用加法逻辑）；
- 在解释器中，建议将此类检查封装为原子操作，并配合类型标签（如 Int32, Int64, BigInt）实现自动升阶策略。
综上，前置范围检查是 Go 中检测有符号整数溢出唯一可靠、高效且符合语言哲学的方式——它把确定性交还给开发者，让数值语义清晰可控。
