sync.Once.Do 不仅确保函数只执行一次，还通过内存屏障提供跨协程的写入可见性保证，使得初始化操作对所有后续调用者立即可见——无论初始化的是单个变量还是结构体的多个字段，均无需额外同步。
`sync.once.do` 不仅确保函数只执行一次，还通过内存屏障提供跨协程的写入可见性保证，使得初始化操作对所有后续调用者立即可见——无论初始化的是单个变量还是结构体的多个字段，均无需额外同步。
在 Go 的并发编程中，sync.Once 是实现“一次性初始化”的标准工具。其核心方法 Once.Do(f func()) 保证传入的函数 f 在整个程序生命周期内最多执行一次，且该执行对其他 goroutine 具有强内存可见性（strong visibility guarantee）。
这一保证并非来自 sync.Once 自身的魔法，而是由 Go 内存模型严格定义的：根据 Go Memory Model 文档，once.Do(f) 的首次调用中，f() 的全部执行完成（即 f 返回）发生在任何 once.Do(f) 调用返回之前（happens-before）。这意味着：
- f 中对任意变量（包括全局变量、包级变量或结构体字段）的写入；
- 在 f 返回后，对所有后续调用 once.Do(f) 的 goroutine 来说，这些写入必然可见；
- 无需额外的 sync.Mutex、atomic.Store 或内存屏障指令。
✅ 正确示例：结构体多字段安全初始化
type Config struct {
Timeout time.Duration
Retries int
Endpoint string
Enabled bool
}
var (
config Config
once sync.Once
)
func GetConfig() *Config {
once.Do(func() {
config.Timeout = 30 * time.Second
config.Retries = 3
config.Endpoint = "https://api.example.com"
config.Enabled = true
// 所有字段写入均在 f() 返回前完成
})
return &config // 其他 goroutine 读到的必为完整初始化后的值
}在此例中，即使 config 是一个包含 4 个字段的结构体，只要所有字段都在 once.Do 的函数体内完成赋值，任意后续 goroutine 调用 GetConfig() 获取的 *Config，其所有字段值都一致、完整、最新——不存在部分字段未更新的“撕裂读”（torn read）问题。
⚠️ 注意事项与边界说明
- 仅适用于 Do 函数内的写入：可见性保证仅覆盖 f() 函数体中执行的写操作。若 f() 启动了另一个 goroutine 并在其中写入数据，则该异步写入不被保证可见。
- 不保证原子性读取整个结构体：虽然各字段单独可见，但若并发修改 config（如无保护地直接赋值 config = Config{...}），仍会破坏一致性。sync.Once 仅保障初始化阶段的一次性+可见性，不提供运行时的读写保护。
- 零值安全：sync.Once 初始化前，结构体字段保持零值（如 0, "", nil, false），这是安全且可预期的行为。
- 不可重置：sync.Once 是单向状态机，一旦 Do 返回，无法重置或重复初始化。
✅ 总结
sync.Once.Do 是 Go 中少数几个自带 happens-before 语义的同步原语之一。它天然解决了“一次性初始化 + 跨 goroutine 可见性”的经典并发问题。无论是字符串、切片、映射，还是复杂结构体的多个字段，只要在 Do 的回调函数中完成赋值，即可放心供其他 goroutine 直接读取，无需额外同步措施。合理使用它，能显著简化并发初始化逻辑，提升代码安全性与可维护性。
立即学习“go语言免费学习笔记（深入）”；
