go 语言中，数组作为 map 键时会被完整复制（值语义），修改原数组不影响 map 中已存的键；这是因为数组是值类型，插入 map 时会复制整个结构，而非引用或浅拷贝。
go 语言中，数组作为 map 键时会被完整复制（值语义），修改原数组不影响 map 中已存的键；这是因为数组是值类型，插入 map 时会复制整个结构，而非引用或浅拷贝。
在 Go 中，所有数组都是值类型（value types），这意味着它们在赋值、函数传参或用作 map 键时，都会发生完整、独立的内存拷贝。这种行为与 slice 或指针截然不同——后者传递的是引用或地址，而数组传递的是“整个数据块”。
以你提供的示例为例：
m := make(map[[2][3]int]int)
a := [2][3]int{{1, 2, 3}, {4, 5, 6}}
m[a] = 1
a[0][0] = 999 // 修改原始数组
fmt.Println(m[a]) // 输出 0（未匹配到），因为 map 中存储的是原始 a 的副本
fmt.Println(m[[2][3]int{{1, 2, 3}, {4, 5, 6}}]) // 输出 1，键仍有效
这段代码清晰表明：m[a] = 1 这一操作将 a 的全部 12 个 int 值（2×3）逐字节复制到 map 内部的键存储区。后续对 a 的任何修改，均不会影响 map 中已存在的键——因为两者在内存中是完全独立的副本。
✅ 正确理解：这不是“深拷贝”（deep copy）的概念误用，而是 Go 值类型天然的行为。所谓“深拷贝”通常用于对比引用类型（如 struct 包含 slice 或 map）的嵌套复制逻辑；而固定长度数组本身不可变、无指针字段，其拷贝天然是完整且确定的——即“值拷贝”，等价于语义上的深拷贝。
你可以通过地址对比验证这一点（注意：&k 在 range 中取的是迭代变量地址，非 map 内部存储地址；更严谨的方式是使用 unsafe 或反射对比底层数据，但实践中无需如此复杂）：
// 更直观的验证方式：修改后查询原键
a := [2][3]int{{1, 2, 3}, {4, 5, 6}}
m := map[[2][3]int]int{a: 42}
a[0][0] = 0 // 破坏原数组
fmt.Println(m[a]) // 0 → 未命中
fmt.Println(m[[2][3]int{{1, 2, 3}, {4, 5, 6}}]) // 42 → 原始键仍有效
? 关键注意事项：
- 数组越长、维度越高，作为 map 键的拷贝开销越大（例如 [1024][1024]int 会复制约 8MB）；应避免大数组作键，优先考虑哈希摘要（如 sha256.Sum256）或转为 string/slice+自定义 hash。
- 若需可变性或共享状态，应改用指针（如 *[2][3]int）——但此时键变为指针地址，语义完全不同（相同地址才相等，且需确保生命周期安全）。
- map 对键的比较始终基于值相等（==），因此数组键的相等性天然支持多维逐元素比对，无需额外实现 Equal() 方法。
总之：Go 的 map 插入操作对数组键执行的是完整值拷贝，这是语言层面的确定性行为，也是编写可预测、线程安全键值逻辑的基础保障。
