面试题：Go语言中sync.Once单例模式的实现原理

sync.Once实现单例模式原理

关键结构体：sync.Once 结构体在Go语言的 sync 包中定义，其结构如下：

type Once struct {
    done uint32
    m    Mutex
}

- `done`：一个 `uint32` 类型的字段，用于标记初始化是否完成。当 `done` 为0时，表示尚未初始化；非0值则表示已初始化。
- `m`：一个互斥锁 `Mutex`，用于在并发环境下保护 `done` 字段的读写操作，避免竞态条件。

2. 关键方法：sync.Once 只有一个公开方法 Do，其定义如下：

func (o *Once) Do(f func()) {
    if atomic.LoadUint32(&o.done) == 0 {
        o.doSlow(f)
    }
}

func (o *Once) doSlow(f func()) {
    o.m.Lock()
    defer o.m.Unlock()
    if o.done == 0 {
        defer atomic.StoreUint32(&o.done, 1)
        f()
    }
}

- `Do` 方法接收一个无参数无返回值的函数 `f`。首先，它使用 `atomic.LoadUint32` 原子操作检查 `done` 字段，如果 `done` 已经非0，说明初始化已经完成，直接返回，不再执行 `f`。
- 如果 `done` 为0，则调用 `doSlow` 方法。在 `doSlow` 方法中，先获取互斥锁 `m`，再次检查 `done` 字段（双重检查锁定机制），这是因为在获取锁之前可能有其他协程已经完成了初始化。如果 `done` 仍然为0，就执行传入的函数 `f` 进行初始化操作，并在最后使用 `atomic.StoreUint32` 原子操作将 `done` 设置为1，表示初始化完成。

相较于其他语言传统单例模式实现的优势

简洁性：在Go语言中使用 sync.Once 实现单例模式非常简洁。不像在一些其他语言（如Java、C++）中，需要手动处理复杂的线程安全问题、静态成员变量等。例如在Java中实现线程安全的单例模式可能需要使用双重检查锁定并配合 volatile 关键字，代码相对繁琐。而Go语言只需要借助 sync.Once 这个简洁的工具，几行代码就可以实现线程安全的单例。
性能优化：sync.Once 采用了原子操作和双重检查锁定机制，在高并发场景下性能表现良好。对于已经初始化过的单例，后续获取单例实例时不需要获取锁，直接返回，大大减少了锁竞争带来的性能开销。相比之下，一些传统实现方式可能在每次获取实例时都需要获取锁，导致性能瓶颈。
语言特性适配：Go语言的并发编程模型基于轻量级的协程（goroutine）和通道（channel），sync.Once 这种实现方式与Go语言的并发模型天然契合。它能很好地融入Go语言的并发编程环境，开发者无需额外引入复杂的第三方库来处理单例在并发场景下的问题。

星途面试题库

面试题：Go语言中sync.Once单例模式的实现原理

知识考点

面试题答案

sync.Once实现单例模式原理

相较于其他语言传统单例模式实现的优势