Go OnceValue 的 panic 结果为什么会被记住

我第一次把 sync.OnceValue 用在配置初始化时，直觉是“函数只执行一次，成功值会被缓存”。真正容易漏掉的是另一半：如果初始化函数发生 panic，OnceValue 也会把这次 panic 的值记住，后续调用继续 panic，而且是同一个值。它不是失败后自动重试的缓存。

官方文档：https://pkg.go.dev/sync

OnceValue 的语义是“一次调用决定最终状态”：正常返回就缓存返回值，panic 就缓存 panic 值。需要临时故障重试时，不要只把 OnceValue 外面包一层 recover。

先把“只执行一次”和“只缓存成功”分开

sync.Once 解决的是初始化动作的并发互斥与一次性执行；sync.OnceValue 在此基础上增加了返回值缓存。两者都不是“失败就再试一次”的抽象。

例如下面的工厂函数第一次调用会 panic：

package main

import "sync"

func buildConfig() string {
	// 这里模拟不可恢复的配置错误；函数不会返回有效配置。
	panic("配置格式错误")
}

func main() {
	config := sync.OnceValue(buildConfig)
	_ = config // 后续每次调用都会复现同一个 panic 值。
}

如果把问题理解成“第一次失败，第二次应该重跑”，就会误选 OnceValue。它适合表达不可变配置、纯计算结果或初始化失败后就不应继续运行的组件。

OnceValue 到底保存了什么

标准库实现的关键不是单独保存一个结果，而是同时保存“是否得到有效结果”和“发生了什么 panic”。初始化函数执行期间，内部状态由 sync.Once 保证只进入一次；成功时写入 result，再把 valid 设为 true。只有这一步完成，后续调用才返回结果。

如果函数 panic，延迟逻辑会通过 recover 拿到 panic 值并保存到 p，但不会把 valid 设为 true。后续调用看到 valid 仍为 false，就直接再次 panic p。因此“没有有效返回值”和“要复现的异常值”是两条并行状态。

用代码看清 panic 值为什么稳定

下面的示例用一个计数器标记初始化函数只被进入一次，并在外层分别捕获两次调用的 panic 值。代码只用于说明语义，重点是两次调用拿到的异常值相同，而不是通过 recover 把 OnceValue 变成可重试函数。

package main

import (
	"fmt"
	"sync"
)

func main() {
	called := 0
	once := sync.OnceValue(func() string {
		called++ // 只在第一次真正进入初始化函数时增加。
		panic("依赖不可用")
	})

	for i := 0; i 

预期关系是：初始化函数的进入次数为 1，两次捕获到的文本相同。即使调用方在第一次 panic 后恢复，once 也不会重新执行工厂函数。

什么时候不该让 panic 变成永久结果

我现在会先问一个问题：初始化失败代表“程序配置本身不可用”，还是只代表“这一次外部依赖暂时没准备好”？前者可以用 OnceValue 固化，后者不应该用它承担重试。

我的采用清单

• 能否接受初始化函数只被调用一次，包括失败情况？
• panic 是否应该让整个组件保持不可用，而不是等待下一次机会？
• 如果必须重试，是否把重试次数、退避、超时和最后一次错误放在显式状态里？

最后记住：OnceValue 记住 panic 不是异常副作用，而是它对“一次性决定”的完整定义。把它用于稳定、不可变、失败即终止的初始化很自然；把它用于网络、文件和服务发现时，则应先设计可重试的生命周期。

相关问题

OnceFunc 和 OnceValue 的 panic 语义一样吗？一样，官方文档都说明 panic 时后续调用会复现同一个值；区别在于 OnceValue 还缓存正常返回值。

recover 之后能让 OnceValue 再执行吗？不能。recover 只改变当前调用方的控制流，不会重置内部的 sync.Once 状态。