为什么 Go 切片不能用作 Map Key？

使用 Go 切片作为 Map Key 的局限性

Go 切片本质上是 Go 数组的实现，与数组在以下方面有相似之处：他们的价值类型本质。然而，它们作为映射键的适用性与数组的适用性有很大不同。这种区别源于切片引用底层数组的事实，这引入了数组所不存在的复杂性。

正如 Nigel Tao 所解释的，复制切片比复制数组要快得多，这要归功于它的 O(1 ) 时间复杂度与数组的 O(length) 复杂度相比。这种差异突出了值类型（数组）和引用类型（切片）之间的区别。

定义映射键时，有必要建立相等的概念。对于数组，通过比较各个元素可以直接确定相等性。然而，对于切片来说，有多种方法来定义相等性。考虑元素级相等或基于它们引用的底层数组存储的相等。

此外，将键插入映射的行为会产生关于是否需要整个后备数组的昂贵副本的不确定性。虽然复制可能符合预期，但它会偏离切片的赋值行为。

为了说明这些复杂性，请考虑以下示例：

m := make(map[[]int]bool)
s0 := []int{6, 7, 8}
s1 := []int{6, 7, 8}
s2 := s0
m[s0] = true
s2[0] = 9
println(m[s0])
println(m[s1])
println(m[s2])

程序员可能对切片有不同的期望结果表明，使用切片作为映射键时可能会出现混乱。为了避免这种歧义，我们选择禁止在 Go 中使用切片作为映射键。

以上是为什么 Go 切片不能用作 Map Key？的详细内容。更多信息请关注PHP中文网其他相关文章！