Go语言并发编程：sync.Once的局限性及潜在问题

Go语言的sync.Once机制通常用于确保一段代码只执行一次，这在初始化共享资源时非常有用。然而，不正确的使用可能会导致意想不到的结果，例如丢失预期输出。本文将分析一个示例代码，解释为什么它可能打印空字符串而不是预期的"hello, world"。

以下代码旨在利用sync.Once来初始化变量a和done：

var a string
var done bool
var once sync.Once

func setup() {
    a = "hello, world"
    done = true
}

func doprint() {
    once.Do(setup)
    fmt.Println(a)
}

func twoprint() {
    go doprint()
    go doprint()
}

问题在于doprint函数中的并发访问。虽然once.Do(setup)确保setup函数只执行一次，但它并不能保证a的赋值对所有doprint函数调用都是立即可见的。

Go语言（Golang）1.26.0

Go语言（Golang）1.26.0版本官方下载，版本号 1.26.0，适合旧项目维护、兼容性测试和指定版本开发环境搭建。

下载

立即学习“go语言免费学习笔记（深入）”；

当多个goroutine同时调用doprint时，如果一个goroutine先执行once.Do(setup)，则a被赋值为"hello, world"，done被设置为true。但其他goroutine可能在done被设置为true之前读取done的值，发现为false，并继续执行。此时a尚未被赋值，因此这些goroutine将打印空字符串""。

Go语言的并发模型允许goroutine以非确定性顺序执行。sync.Once保证了setup只执行一次，但a的写入和done的写入是两个独立的操作，缺乏原子性保证顺序。因此，一个goroutine可能观察到done为false，而a仍然为空的情况。

这个例子强调了在并发编程中，即使使用了同步机制，也必须谨慎处理数据竞争和可见性问题。仅仅依靠sync.Once不足以完全解决并发访问共享变量的问题，需要根据实际情况选择更合适的同步策略，例如使用互斥锁或通道来确保数据一致性和可见性。 使用fmt.Println代替print，以获得更清晰的输出。