Go clear 对 nil map 和空 map 的行为有什么区别

我在把旧代码里的 delete 循环换成 clear 时，最容易误判的不是“能不能清空”，而是清空之后 map 处于什么状态：nil map 调用 clear 是安全的无操作，但它仍然是 nil，后续直接写入会 panic；make 创建的空 map 调用 clear 后仍是非 nil，后续可以继续写入。

clear 从 Go 1.21 开始提供。它们都可以得到 len(m) == 0，所以只看长度不够，迁移时还要看 m == nil 和下一步是否会赋值。

先把 nil map 和空 map 分开

下面两种声明都表示当前没有元素，但底层状态不同。前者没有初始化 map，后者已经通过 make 得到一个可写的 map：

var nilMap map[string]int
emptyMap := make(map[string]int)

// 两者当前长度都为 0，但只有 nilMap 等于 nil。
fmt.Println(len(nilMap), nilMap == nil)
fmt.Println(len(emptyMap), emptyMap == nil)

因此，len(m) == 0 只能说明没有条目，不能说明 map 可以接受赋值。Go 规范也明确指出，nil map 的读取、遍历可以像空 map 一样工作，但向 nil map 的元素赋值会触发运行时 panic。

clear 对两种 map 的共同点

对 map 使用 clear(m) 的结果是删除全部条目；如果 m 本来就是 nil，调用也是 no-op，不会报错。空 map 没有条目可删，同样保持长度为 0。

var nilMap map[string]int
emptyMap := make(map[string]int)
emptyMap["old"] = 1

// clear 只负责清除条目，不负责把 nil map 变成 make 出来的 map。
clear(nilMap)
clear(emptyMap)

fmt.Println(len(nilMap), nilMap == nil)     // 仍是 0、true
fmt.Println(len(emptyMap), emptyMap == nil) // 仍是 0、false

这也是它和“重新赋值为 nil”或“重新 make 一个 map”不同的地方：clear 表达的是清空当前容器，而不是改变变量的初始化状态。若多个变量引用同一个非 nil map，清空后这些别名看到的条目都会消失；这属于共享 map 的自然结果。

真正的差异在清空后的第一次写入

如果清空之后还要继续收集数据，必须把写入路径单独看一遍：

var nilMap map[string]int
emptyMap := make(map[string]int)

// 空 map 已经初始化，清空后可以继续赋值。
clear(emptyMap)
emptyMap["new"] = 2

// nil map 没有写入存储，clear 不会替它初始化。
clear(nilMap)
// nilMap["new"] = 2 // 取消注释会触发运行时 panic

实际项目里，可以把“可能为 nil 的 map”统一收口到初始化函数或写入入口：

func put(m map[string]int, key string, value int) map[string]int {
    // 写入前补齐 nil map，避免把初始化责任交给调用方。
    if m == nil {
        m = make(map[string]int)
    }
    m[key] = value
    return m
}

如果 map 是结构体字段，也可以在构造函数里用 make 初始化，让调用方只负责清空和写入。并发场景还要保留原来的锁或其他同步边界，因为 clear 仍然是对 map 的写操作。

从 delete 循环迁移到 clear 时检查什么

Go 1.21 之前，整张 map 常见的清空方式是遍历删除：

for key := range cache {
    // 旧写法逐个删除已有条目。
    delete(cache, key)
}

// 新写法直接表达“清空这张 map”。
clear(cache)

迁移本身通常很直接，但我会按下面四项检查收尾：

• 版本：编译环境需要支持 Go 1.21 的内置 clear。
• 初始化：调用方是否可能传入 nil map；如果后面有写入，clear 后仍需 make。
• 别名：是否有其他字段或局部变量引用同一张 map，它们会共同看到清空结果。
• 并发：是否沿用了原先保护遍历删除的互斥锁，不能因为换成一行代码就移除同步。

迁移后可以这样速查

所以标题中的“区别”可以压缩成一句话：clear 对 nil map 和空 map 都不会留下元素，但只会清空，不会初始化；真正决定后续能否写入的是 map 是否为 nil。

相关问题

clear(nilMap) 会不会把 nil map 变成空 map？

不会。它是安全的 no-op，变量仍然等于 nil。

只判断 len(map) == 0 能判断是否可写吗？

不能。nil map 和非 nil 的空 map 长度都为 0；需要额外判断 m == nil。

clear 能替代并发 map 的锁吗？

不能。clear 仍然修改 map，共享 map 的并发访问仍要遵守原有同步方案。