time.Duration 乘法溢出时怎样提前判断

直接结论：time.Duration 本质上是以纳秒为单位的 int64。不要先执行 d * time.Duration(n) 再比较结果，而是先比较两个操作数的绝对值与可表示上限：同号乘法上限是 2^63-1，异号乘法还可以容纳 2^63 的绝对值。

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

下面的判断函数只负责回答“这次乘法会不会溢出”，返回成功后才执行真正的乘法。这样即使输入来自配置、请求参数或重试次数，也不会因为一次已经溢出的计算把时长变成错误的负数或小数值。

先明确 Duration 的边界

time.Duration 是一个有名的整数类型，底层按纳秒保存持续时间。它的范围是 [-2^63, 2^63-1]，也就是负方向比正方向多一个可表示值。Go 的有符号整数溢出不会自动 panic，而是按二进制补码得到一个确定的结果，所以“乘完再看是否异常”已经太晚。

把边界写成常量，既能让代码意图清晰，也不依赖不同平台上的 int 大小：

const (
    // Duration 的正向最大值，单位仍然是纳秒。
    maxDuration = time.Duration(1

用绝对值和除法提前判断

直接写四组正负分支容易漏掉 MinInt64：它取负后无法用普通 int64 表示。因此先把整数安全地转换为 uint64 的绝对值，再用除法做乘法上限判断。除数一定非零，因为零乘数已经在函数开头单独返回。

package durationcheck

import "time"

const maxInt64Magnitude = uint64(1 limit/right
}

// multiplyDuration 在安全时返回乘积，否则保留原值并返回 false。
func multiplyDuration(d time.Duration, n int64) (time.Duration, bool) {
    if durationMulWouldOverflow(d, n) {
        // 调用方可以记录配置错误或采用业务上限，不继续计算。
        return 0, false
    }
    return d * time.Duration(n), true
}

这里的关键不是把 Duration 转成浮点数，而是保留整数精度。判断式 left > limit/right 等价于“左边的绝对值是否超过允许上限除以右边绝对值”，所以乘法本身尚未发生。

正数、负数和零分别怎样落地

如果两个操作数同号，结果为正，只能使用 2^63-1 以内的绝对值；如果异号，结果为负，可以接受到 -2^63，所以阈值是 2^63。零不需要参与除法，否则可能把“零乘大数”的合法情况误判成除零。

例如 time.Duration(-1) * -1 是合法的正数，而 minDuration * -1 必须判定为溢出，因为它需要表示正的 2^63。这也是只用“是否小于零”来做简单判断时最容易漏掉的边界。

测试时优先覆盖四类边界

测试重点不是把所有时长都枚举一遍，而是覆盖“刚好可表示”和“刚好不可表示”的两侧。下面的表驱动示例只演示断言边界，代码不会先执行危险乘法。

func TestDurationMulWouldOverflow(t *testing.T) {
    cases := []struct {
        name string
        d    time.Duration
        n    int64
        want bool
    }{
        {"正向刚好可表示", maxDuration, 1, false},
        {"正向超过一纳秒", maxDuration, 2, true},
        {"负向最小值乘一", minDuration, 1, false},
        {"最小值乘负一", minDuration, -1, true},
        {"零乘大倍数", 0, 1

如果倍数来自用户输入，建议把解析、范围限制和乘法保护放在同一层：解析失败先返回错误，倍数为零按业务决定是否接受，保护函数返回溢出时给出明确错误。不要用“乘完以后如果结果小于零就失败”代替这个判断，因为负数本来就是合法的 Duration。

常见问题

为什么不用 recover 捕获溢出？

有符号整数溢出不是 Go 的运行时 panic，recover 没有可捕获的异常。应在运算前用边界判断保护。

为什么不全部改成浮点数计算？

浮点数会引入舍入误差，尤其是纳秒级边界。这个问题只需要整数除法和符号判断，保留 int64 更直接。

可以直接用第三方安全整数库吗？

可以，但如果这里只处理 Duration 乘法，上面的无依赖函数更容易审阅；若项目已有统一的溢出库，应保持全项目的错误语义一致。

小结：先把 Duration 当作有符号 int64，再按乘积符号选择 2^63-1 或 2^63 的绝对值上限，最后用除法比较。这样可以同时覆盖零、负数和 MinInt64，并确保危险乘法根本不会执行。