Go 语言中的 map 迭代顺序是不确定的，这是一个重要的设计特性[3]。

迭代顺序的特点

当使用 range 循环遍历 map 时，迭代顺序是不被指定的，并且不保证在不同次迭代中保持相同[3][5]。这意味着即使是同一个 map，多次遍历可能会得到不同的键值对顺序[5]。

例如，以下代码：

1for k, v := range map[string]string{"cow": "moo", "pig": "oink"} {
2    fmt.Println(k, v)
3}

可能输出 cow moo pig oink 或者 pig oink cow moo[5]。

实现原理

Go 中的 map 是通过 hashmap（哈希表）实现的[1][6]。迭代顺序由内部哈希函数以及键在哈希桶中的分布决定[6]。从 Go 1.0 开始，runtime 会故意随机化迭代顺序[7][8]。

具体实现机制经历了演进：

• 早期版本：迭代从随机选择的桶开始，但每个桶内部是从头到尾顺序遍历[8]
• Go 1.3 及以后：总是从第一个桶开始，但在每个桶内从随机偏移量开始迭代[8]

设计目的

这种不确定性是刻意的设计选择，目的是防止开发者依赖特定的迭代顺序[2][11]。如果 Go 团队想要改变 map 的底层实现，迭代顺序的变化可能会静默破坏现有代码[2]。

早期版本中，少于 8 个元素的 map 具有确定性顺序，但这也被改为非确定性的（Issue 6719）[2][8]。

需要有序遍历时的解决方案

如果需要稳定的迭代顺序，必须维护一个单独的数据结构来指定顺序[3]。常见做法是使用排序的键切片：

1var keys []string
2for k := range m {
3    keys = append(keys, k)
4}
5sort.Strings(keys)
6for _, k := range keys {
7    fmt.Println("Key:", k, "Value:", m[k])
8}

迭代过程中的特殊行为

在迭代过程中修改 map 会有特定行为[5]：

• 删除键：尚未访问的键如果被删除，将不会在迭代中出现
• 新增键：迭代过程中新增的键可能会被访问，也可能被跳过，具体行为是不确定的

这些特性强调了在遍历 map 时需要谨慎处理的重要性[5][12]。

[1] https://stackoverflow.com/questions/9619479/go-what-determines-the-iteration-order-for-map-keys [2] https://www.evergreeninnovations.co/blogs-maps-in-go/ [3] https://go.dev/blog/maps [4] https://bitfieldconsulting.com/posts/map-iteration [5] https://boldlygo.tech/archive/2024-06-19-iteration-over-maps/ [6] https://dhawalpandya01.hashnode.dev/demystifying-the-entry-order-of-maps-in-go [7] https://nathanleclaire.com/blog/2014/04/27/a-surprising-feature-of-golang-that-colored-me-impressed/ [8] https://news.ycombinator.com/item?id=7655948 [9] https://github.com/golang/go/issues/54500 [10] https://www.educative.io/answers/how-to-iterate-over-a-golang-map-in-sorted-order [11] programming.golang [12] programming.data_structures