Go sync.Map LoadOrStore 怎样判断是否写入新值-Golang学习网

Go 的 sync.Map.LoadOrStore 返回两个值：actual 和 loaded。判断本次调用是否真的把候选值写入 map，不要比较 actual 和传入值，而是直接看 loaded：false 表示本次完成了写入，true 表示键已经存在，本次只读到了旧值。

记住一句话：loaded == false 是“我写入了”，loaded == true 是“别人或之前的调用已经写入了”。无论哪种情况，最终应该使用返回的 actual。

两个返回值分别表示什么

LoadOrStore(key, value) 先按 key 查找。找到已有值时返回已有值；找不到时尝试保存传入的 value，并返回它。第二个返回值只描述这次调用观察到的路径，不是 map 中值的类型判断。

sync.Map LoadOrStore 的 key、候选值、actual 和 loaded 静态关系说明图 — 图1：结构说明图，展示 key、候选值与两个返回值之间的静态契约，不是运行截图。

最小写法如下，注意分支判断的是 loaded，而后续业务统一使用 actual：

package main

import (
    "fmt"
    "sync"
)

func main() {
    var cache sync.Map

    // loaded=false 表示本次把 candidate 写入；true 表示复用了已有值。
    actual, loaded := cache.LoadOrStore("user:42", "ready")
    if loaded {
        fmt.Println("复用已有值：", actual)
        return
    }

    // actual 仍是最终写入的值，后续逻辑不必再次 Load。
    fmt.Println("完成首次写入：", actual)
}

并发场景怎样确认谁真正写入

多个 goroutine 同时使用同一个 key 时，只有一个调用能拿到 loaded=false。其他调用会拿到同一个 key 的已存在值，并得到 loaded=true。因此可以把“首次登记”“去重占位”“缓存首写”放到 !loaded 分支，把所有调用都需要的后续处理放在返回值统一的位置。

import "fmt"

type entry struct {
    Owner string
}

func register(m *sync.Map, key string, candidate *entry) *entry {
    // 指针让调用方明确区分候选对象与最终共享对象。
    actual, loaded := m.LoadOrStore(key, candidate)
    if !loaded {
        // 只有这里的调用负责记录“首次登记”动作。
        fmt.Println("首次登记：", key)
    }

    // 无论是否首次写入，业务都应使用 map 返回的最终对象。
    return actual.(*entry)
}

这段代码的关键不是“谁先运行到函数”，而是 LoadOrStore 返回的 loaded。如果把候选指针当成最终对象继续修改，其他调用可能仍然持有另一份未被保存的候选值；应始终以 actual 为准。

sync.Map 并发调用中候选值、已存值和首次写入边界说明图 — 图2：边界说明图，展示并发调用共享最终值、首次写入判断和候选对象的关系，不是运行结果截图。

不要用值比较代替 loaded

下面几种判断都不稳妥：

用 actual == candidate 推断是否写入：值可能是指针、接口或不可比较类型。
用 actual == value 推断首次写入：已有值恰好和候选值相同，仍然会被误判。
忽略 loaded 后再次调用 Load：这会增加一次查找，而且无法还原本次调用的原子判断。

如果值是接口，类型断言也应放在明确的边界上，并按项目约定处理断言失败。LoadOrStore 解决的是 key 级别的并发存取，不会替你保证对象内部字段的后续修改安全。

值构造很重时要注意什么

传给 LoadOrStore 的表达式会在调用前求值。也就是说，并发调用可能各自构造候选对象，最后只有一个候选对象进入 map；loaded 只能告诉你谁成功写入，不能阻止候选值被重复创建。

如果“创建一次”本身就是要求，应考虑 sync.Once 或 sync.OnceValue 管理初始化过程；如果只是允许多个候选对象短暂创建，再由 actual 统一复用，LoadOrStore 就足够。选型时把“map 首次写入一次”和“初始化函数只执行一次”当作两个不同问题。

常见问题

`loaded=true` 时 actual 一定是传入的 value 吗？

不一定。它表示读取到了 map 中已经存在的值，应该以 actual 为准；传入的 value 只是本次调用准备好的候选值。

LoadOrStore 能代替所有带锁的 map 吗？

不能。它适合并发读取较多、按 key 独立操作的场景。如果还要维护多个字段、计数器或跨 key 不变量，仍需要明确的锁或更高层的协调方式。

官方依据：https://pkg.go.dev/sync#Map.LoadOrStore；实现说明：https://go.dev/src/sync/map.go。

Go sync.Map LoadOrStore 怎样判断是否写入新值