Go sync.Map Swap 怎样读取替换前的旧值

我第一次把并发缓存里的无条件替换改成 sync.Map.Swap 时，最容易误读的是第一个返回值：它不是“这次写入后的值”，而是被替换下来的旧值。真正用来判断键是否原本存在的，是第二个返回值 loaded。掌握这两个语义后，首次写入、已有键替换和旧值为 nil 就能分开处理。

官方地址：https://pkg.go.dev/sync#Map.Swap

Swap 的返回值到底表示什么

Map.Swap(key, value) 会把键对应的值替换成新值，并返回 (previous, loaded)。前者回答“原来放的是什么”，后者回答“原来有没有这个键”。这两个问题看起来接近，但在并发缓存里用途不同。

例如，第一次写入 profile:42 时没有旧键，loaded 是 false；第二次用新值替换时，loaded 是 true，而 previous 才是第一次保存的旧值。

把旧值判断接到业务更新分支

下面的例子固定约定缓存值是字符串。代码没有把 nil 当成“不存在”，而是优先判断 loaded，再对已有值做类型断言：

package main

import (
    "fmt"
    "sync"
)

func main() {
    var cache sync.Map

    // 第一次写入没有旧键，loaded=false；不能只看 previous。
    previous, loaded := cache.Swap("profile:42", "v1")
    fmt.Printf("previous=%v loaded=%v\n", previous, loaded)

    // 第二次替换会返回第一次写入的旧值。
    previous, loaded = cache.Swap("profile:42", "v2")
    if loaded {
        // 类型断言依赖业务约定；失败时不要静默当成空字符串。
        old, ok := previous.(string)
        if !ok {
            fmt.Println("旧值类型不符合约定")
            return
        }
        fmt.Println("replaced:", old)
    }
}

如果只是记录“这是新增还是替换”，到这里就够了；如果还要使用旧值，类型断言就是必要边界。Swap 的返回类型是 any，业务层应当明确规定每个键允许保存的类型。

兼容 nil、类型断言和普通 map 的边界

sync.Map 可以保存 nil，所以以下两种情况不能混为一谈：

因此，“previous 是 nil”只能说明取回的旧值为 nil，不能说明键不存在。只有 loaded 才承担存在性语义。这个区分也让日志更可靠：新增记录和替换一条原本就存在但值为空的记录，应该是两种事件。

func swapString(m *sync.Map, key, next string) (old string, existed bool, err error) {
    previous, loaded := m.Swap(key, next)
    if !loaded {
        // loaded=false 表示没有旧键，old 的空字符串只是返回约定。
        return "", false, nil
    }

    old, ok := previous.(string)
    if !ok {
        // 键的值类型不符合约定时，让调用方显式处理异常。
        return "", true, fmt.Errorf("key %q 的旧值不是 string", key)
    }
    return old, true, nil
}

这个辅助函数表达了一个实用边界：existed 单独表示键是否存在，old 只在类型符合约定时有业务意义。若替换动作必须先根据旧值决定“是否允许写入”，无条件的 Swap 就不是完整的条件更新方案，应改选带条件的并发操作。

相关问题

第一次 Swap 会返回什么？

如果键此前不存在，loaded 为 false，previous 通常为 nil。判断首次写入应看 loaded，不要只看旧值。

已有值就是 nil 时怎么判断？

仍然看 loaded。已有 nil 的结果可以是 previous=nil, loaded=true，这正是两个返回值必须一起读取的原因。

为什么 Swap 返回的旧值是 any？

sync.Map 面向任意键和值，标准库无法替业务规定具体类型。使用旧值前做类型断言，并在失败时保留错误边界。