Go map 迭代期间新增键的可见性与实现边界

Go 的 for range 遍历 map 时，如果在循环体内新增键，新增键本轮可能被访问，也可能不会被访问；代码不能依赖某一次运行的输出顺序或数量。这个规则适用于同一个 goroutine 内的普通 map 修改，并不等于允许多个 goroutine 同时读写 map。

规范到底保证了什么

Go 语言规范对 map 的 range 有一个容易被忽略的分支：尚未到达的键在迭代期间被删除，通常不会再产生；迭代期间新增的键则可能被产生，也可能不被产生。规范没有承诺新增键出现的位置、出现次数或是否能在下一轮继续出现。

因此下面的代码语法上成立，但 seen 的最终内容不能作为稳定结果。某次运行把新键也处理了，不代表换一次运行、换一个 map 容量或换一版实现仍然如此。

package main

import "fmt"

func main() {
	items := map[string]int{"seed": 1}
	for key := range items {
		// 新键可能在本轮被访问，也可能等到下一轮甚至永远不被访问。
		if key == "seed" {
			items["generated"] = 2
		}
		fmt.Println(key)
	}
}

先排除并发读写这个更大的坑

如果新增键来自另一个 goroutine，问题就不再只是“本轮会不会看到”。普通 map 不提供并发读写保护，range goroutine 与写入 goroutine 同时操作可能触发数据竞态或运行时错误。要处理跨 goroutine 数据，应先用互斥锁保护访问，或把写入集中到一个拥有 map 的 goroutine，再通过 channel 传递请求。

也不要把 sync.Map.Range 的语义套到普通 map 上。它们的 API、并发保证和遍历边界不同，替换容器前应重新确认读写模型。

需要稳定本轮集合时先做键快照

常见的批处理逻辑是：本轮只处理开始时已经存在的键，同时允许处理过程中写回结果。此时把键复制到切片，再遍历切片最清楚。若输出还要求稳定顺序，再对切片排序；排序是业务结果的要求，不是 map range 自带的保证。

package main

import (
	"fmt"
	"sort"
)

func processSnapshot(items map[string]int) {
	keys := make([]string, 0, len(items))
	for key := range items {
		// 先保存本轮边界，避免后续写入改变待处理集合。
		keys = append(keys, key)
	}
	sort.Strings(keys)
	for _, key := range keys {
		// 结果写回原 map，不会把新键偷偷加入本轮快照。
		items[key]++
	}
	fmt.Println(keys)
}

确实要继续处理新键，就把队列写出来

有些任务本来就是动态展开，例如从一个节点找到更多待处理节点。这时不要依赖 map range 是否恰好访问新键，而是维护一个队列和一个去重集合。队列表达“还要处理什么”，map 只负责快速判断是否已经加入。

func drain(start string, graph map[string][]string) []string {
	queue := []string{start}
	seen := map[string]bool{start: true}
	result := make([]string, 0, len(graph))
	for len(queue) > 0 {
		current := queue[0]
		queue = queue[1:]
		result = append(result, current)
		for _, next := range graph[current] {
			// 用显式队列控制新增任务，不把 map range 当作调度器。
			if !seen[next] {
				seen[next] = true
				queue = append(queue, next)
			}
		}
	}
	return result
}

实现前的检查清单

相关问题

新增键一定会在下一次 range 中出现吗？

下一次新的 range 通常会以当时的 map 内容为对象，但如果期间仍有修改，结果仍应按当前代码的同步边界判断；不要把本轮的不确定性写成跨轮保证。

可以在 range 中删除当前键吗？

同一 goroutine 内删除尚未到达的键时，它通常不会再被产生；删除已处理键也不会让本轮重新访问它。若有并发写入，先解决同步问题。

为什么测试里有时能看到新增键？

因为规范允许实现把新增键纳入剩余迭代范围。看到它是允许结果，不是可依赖的契约；测试应验证业务不依赖该偶然性。

Go map range 适合读取一个不要求稳定顺序的集合，不适合充当动态任务调度器。把“固定集合”“动态队列”和“并发访问”拆成三个明确的数据结构或同步边界，代码的结果才不会随着一次偶然的遍历表现改变。