Go sync.Once 返回错误时怎样允许下一次重试

我在把远程配置加载放进 sync.Once 时踩过一个容易误判的坑：第一次请求因为网络抖动返回了错误，后面的请求却再也没有机会重新加载。原因不是错误被吞了，而是 sync.Once 的职责本来就是“这个动作最多执行一次”。如果初始化失败后仍要重试，就不能直接把“执行过”当成“初始化成功”。

需要“失败可重试、成功只执行一次”时，保留 sync.Once 会把失败状态锁死；应改用带互斥保护的状态封装，只有初始化成功才设置完成标记。

为什么 sync.Once 返回错误后仍然不会重试

Do 接收的是 func()，初始化函数的错误只能写入外部变量。更关键的是，官方实现会在函数返回后把内部完成状态设为 true；文档也说明，同一个 Once 实例只会调用第一次传入的函数，函数 panic 也会被视为已经返回。于是下面的写法只能记录第一次失败：

var once sync.Once
var loadErr error

func LoadConfig() error {
    once.Do(func() {
        // 错误只能写到外部变量，但 once 不会因为失败重来。
        loadErr = fetchConfig()
    })
    return loadErr
}

这段代码适合“失败就让进程启动失败”或“初始化结果永久固定”的场景，不适合依赖临时网络、令牌或远程服务的启动加载。不要通过复制已经使用过的 Once 来重置状态，Once 首次使用后也不应复制。

把“成功一次”与“尝试一次”分开

可重试封装的核心不是给 sync.Once 加一个重置方法，而是改变状态定义：ready=false 表示还没有成功；调用期间持有锁，避免多个 goroutine 同时执行同一份初始化；只有 err == nil 时才保存值并将 ready 设为 true。

type RetryOnce[T any] struct {
    mu    sync.Mutex
    value T
    ready bool
}

func (r *RetryOnce[T]) Do(load func() (T, error)) (T, error) {
    r.mu.Lock()
    defer r.mu.Unlock()

    if r.ready {
        // 成功结果可复用，不再调用初始化函数。
        return r.value, nil
    }

    value, err := load()
    if err != nil {
        // 失败不写入 ready，下一次调用仍可重新尝试。
        var zero T
        return zero, err
    }
    r.value, r.ready = value, true
    return value, nil
}

这个实现的取舍很明确：失败时锁内只完成一次尝试，返回后下一次调用才能重试；成功后所有调用都读取同一个值。初始化函数不要在持锁期间反过来调用同一个 RetryOnce.Do，否则会像递归调用 sync.Once.Do 一样造成死锁风险。

重试不是无限重试，还要放入工程边界

示例只解决并发互斥和成功缓存，生产代码还应在 load 内使用超时与取消，避免某次网络调用长期占住锁。临时故障可以由上层按次数和间隔调用；若希望封装自己等待，可增加指数退避和最大尝试次数，但不要把永久故障变成无休止的后台循环。

如果使用 sync.OnceValues 让函数返回 (T, error)，也不要把它误认为“错误自动重试”。它仍然只执行一次，只是把值和错误一起缓存。需要重试时，应让一次尝试成为可重复调用的函数，再由状态对象决定何时缓存成功结果。

最后检查这四个并发边界

验证时先让前几次 load 返回错误，确认每次错误都能再次触发；随后让某次返回成功，确认之后不再增加成功初始化计数。再用多个 goroutine 并发调用，检查成功初始化最多一次、失败期间没有并行进入，以及成功值对后续调用一致。测试命令可以使用：

go test -race ./...
# 中文说明：用竞态检测器检查共享状态，重点观察 ready、value 和尝试计数。

常见问题

sync.Once 能不能通过重新赋值来重置？

可以在你完全拥有且尚未并发使用的对象生命周期内重新创建实例，但不要在已有调用并发进行时替换共享变量；更安全的做法是显式设计可重试状态。

失败后立刻重试会不会打爆远程服务？

会有这个风险。重试次数、退避、超时和熔断应由业务策略限制，初始化封装只负责保证并发下的状态一致。

为什么不直接用原子变量实现？

原子变量适合做快速状态判断，但还要保证只有一个 goroutine 执行初始化并让其他调用等待完成；只用 CAS 容易让后来者过早返回，互斥锁更容易先写对。