本文将深入探讨 Go 语言中 map 类型的无序性。通过一个简单的代码示例，展示了看似无关的代码格式修改如何影响 map 的输出顺序。文章解释了这种现象背后的原因，即 Go 语言为了防止哈希碰撞攻击，对 map 的哈希函数进行了随机化处理，并且 Go 语言规范中明确指出 map 是无序的。因此，开发者不应依赖 map 的特定顺序。
在 Go 语言中，map 是一种非常常用的数据结构，用于存储键值对。然而，很多开发者在使用 map 时可能会遇到一个令人困惑的问题：map 的输出顺序似乎是不确定的，甚至会因为一些看似无关的修改而发生变化。
让我们通过一个示例来具体说明：
package main
import "fmt"
type Vertex struct {
Lat, Long float64
}
var m map[string]Vertex
func main() {
m = make(map[string]Vertex)
m["Bell Labs"] = Vertex{
40.68433, 74.39967,
}
m["test"] = Vertex{
12.0, 100,
}
fmt.Println(m["Bell Labs"])
fmt.Println(m)
}这段代码的输出结果可能是：
{40.68433 74.39967}
map[Bell Labs:{40.68433 74.39967} test:{12 100}]但是，如果稍微修改一下 test 顶点声明的格式，比如将右括号 } 移动四个空格：
m["test"] = Vertex{
12.0, 100,
}再次运行，输出结果可能会变为：
{40.68433 74.39967}
map[test:{12 100} Bell Labs:{40.68433 74.39967}]可以看到，仅仅是修改了代码的格式，map 的输出顺序就发生了变化。这背后的原因是什么呢？
Go 语言 Map 的无序性
实际上，Go 语言的 map 本身就是被设计成无序的。Go 语言规范中明确指出：
A map is an unordered group of elements of one type, called the element type, indexed by a set of unique keys of another type, called the key type.
这意味着，map 中键值对的存储顺序是不确定的，每次迭代 map 得到的顺序都可能不同。
哈希函数随机化
为了防止拒绝服务攻击（Denial of Service attacks），Go 语言对 map 的哈希函数进行了随机化处理。这种随机化会影响键值对在 map 中的存储位置，从而导致每次运行程序时，map 的输出顺序都可能不同。
不要依赖 Map 的顺序
由于 map 的无序性是 Go 语言的设计特性，因此开发者在编写代码时，不应该依赖 map 的特定顺序。如果需要按照特定顺序遍历 map，可以考虑以下方法：
-
使用切片存储键，并对切片进行排序： 首先获取 map 的所有键，存储到一个切片中，然后对切片进行排序，最后按照排序后的键的顺序遍历 map。
package main import ( "fmt" "sort" ) func main() { m := map[string]int{"apple": 1, "banana": 2, "orange": 3} keys := make([]string, 0, len(m)) for k := range m { keys = append(keys, k) } sort.Strings(keys) // 对键进行排序 for _, k := range keys { fmt.Println(k, m[k]) } } 使用有序的数据结构： 如果需要频繁地按照特定顺序访问键值对，可以考虑使用有序的数据结构，例如 btree 或其他实现了有序 map 的库。
总结
Go 语言的 map 是无序的，这是其设计特性。为了防止哈希碰撞攻击，Go 语言对 map 的哈希函数进行了随机化处理。因此，开发者不应该依赖 map 的特定顺序。如果需要按照特定顺序遍历 map，可以使用切片存储键并排序，或者使用有序的数据结构。理解 map 的无序性对于编写健壮、可靠的 Go 程序至关重要。
