Go sync.Map 怎样在 Range 中删除键

Go sync.Map 可以在 Range 的回调函数里直接调用 Delete。如果当前键满足清理条件，就执行 m.Delete(key)，回调返回 true 继续遍历；如果返回 false，只是停止后续遍历，并不等价于删除。

真正需要注意的是，Range 不提供一致快照。官方文档明确说明：回调可以调用同一个 Map 的方法，同一个键不会被访问多次，但遍历期间发生的存储或删除可能让某个键看到遍历过程中的任意映射。因此，删除动作可以放在回调里，稳定清单则应先收集键再统一删除。

在 Range 回调里按条件删除键

最小写法是把判断放在回调内，命中后删除传入的 key。Range 会顺序调用回调；回调返回 true 代表继续查看其他键。

package main

import (
    "fmt"
    "sync"
)

func removeExpired(m *sync.Map, expired func(any, any) bool) {
    m.Range(func(key, value any) bool {
        // 只删除当前回调确认过期的键，其他键交给后续回调处理。
        if expired(key, value) {
            m.Delete(key)
        }
        // true 只表示继续遍历，不表示当前键一定仍存在。
        return true
    })
}

func main() {
    var m sync.Map
    m.Store("short", 1)
    m.Store("keep", 2)

    removeExpired(&m, func(key, value any) bool {
        // 示例按键名决定清理条件，实际项目可检查过期时间或状态。
        return key == "short"
    })

    value, ok := m.Load("short")
    // Load 的 ok 反映删除后的当前状态，value 可能为 nil。
    fmt.Println(value, ok)
}

这里的删除针对的是传给当前回调的键。删除不存在的键不会报错；如果其他协程在回调判断后重新写入同一个键，后续状态仍由并发写入决定，不能把一次 Delete 当成永久封禁。

删除当前键不会自动结束遍历

Delete 和回调的布尔返回值是两件事：前者修改 Map，后者控制 Range 是否继续。需要清理全部命中项时返回 true；命中某个条件后只想处理到这里时，可以删除后返回 false。

func removeUntil(m *sync.Map, stop func(any, any) bool) {
    m.Range(func(key, value any) bool {
        // 先删除当前命中的键，再明确决定是否停止本次遍历。
        if stop(key, value) {
            m.Delete(key)
            // false 是停止信号，不是删除信号。
            return false
        }
        return true
    })
}

因此不能写成“回调返回 false 就会删除当前元素”。如果既不调用 Delete，又直接返回 false，Map 中的当前键仍然存在，只是本次 Range 提前结束。

不要把 Range 当成一致快照

官方语义允许在回调中调用 Map 的任何方法，但也明确说 Range 不一定对应某个时刻的完整快照。遍历期间删除或写入某个键时，该键的值可能体现为遍历过程中的任意映射；唯一可以依赖的是同一个键不会被访问超过一次。

这会影响删除条件的写法：如果条件依赖一个会被其他协程更新的值，就只能把回调拿到的 value 当作本次判断依据，不能要求它代表全局同一时刻的状态。需要“先得到完整待删清单，再一次性执行删除”的业务语义时，先收集键：

func removeBySnapshot(m *sync.Map, shouldRemove func(any, any) bool) {
    keys := make([]any, 0)
    m.Range(func(key, value any) bool {
        // 第一阶段只记录键，避免把“收集清单”与“修改 Map”混在一起。
        if shouldRemove(key, value) {
            keys = append(keys, key)
        }
        return true
    })

    for _, key := range keys {
        // 第二阶段按清单删除；并发写入仍可能在此后重新放回同一键。
        m.Delete(key)
    }
}

这个“快照”只是应用层收集到的键列表，不是 sync.Map 的原子快照。若删除必须和读取到的旧值绑定，可以考虑 LoadAndDelete，它会删除键并返回删除前的值及是否存在；但它同样不替代业务层的版本校验或条件更新。

几个容易混淆的选择

可以把判断标准压缩成一句话：只关心“当前回调命中的键是否应该消失”，就在回调中 Delete；关心“本轮遍历是否继续”，用返回值；关心稳定清单或旧值条件，则把收集、删除和并发冲突处理拆开设计。

相关问题

Range 回调中删除当前键会漏掉下一个键吗？

不能把它理解成普通切片的下标删除。官方保证同一个键不会被访问多次，但不承诺一致快照，也不承诺某个并发变化下的固定访问顺序。清理任务不要依赖访问顺序。

删除后返回 false 能保证键已经删除吗？

只有在返回前确实调用了 Delete，才发生删除。false 本身只会让当前 Range 停止，不能改变 Map。

什么时候应该改用普通 map 加 Mutex？

当数据需要稳定遍历、强一致条件更新、明确的生命周期或复杂不变量时，普通 map 配合锁往往更容易表达约束。sync.Map 更适合读多写少、键集合相对独立或缓存类场景。