Go maps.Clone 怎样复制 map 并避免共享修改

我第一次遇到这个问题，是在做配置快照：先保存一份 map[string]int，再修改工作副本，结果审计日志里的“旧配置”也跟着变了。后来把复制动作换成 maps.Clone，顶层字段终于隔离；但把值改成切片后，旧配置又会被悄悄改掉。真正的关键不是“有没有复制 map”，而是先确认 map 的值是什么类型。

官方地址：https://pkg.go.dev/maps#Clone

maps.Clone 会创建一个新的 map，并用普通赋值复制键和值，所以修改副本中的标量值不会影响原 map；它是浅复制，切片、指针等值内部的对象仍可能与原 map 共享。

故障现场：副本为什么没有按预期隔离

问题通常表现为两种情况混在一起：给副本增加或替换一个整数值时，原 map 没变化；但修改副本里的切片元素时，原 map 的同一个元素也变了。只看 map 变量名，很容易把这两种行为都归因于“复制失败”。

我会先把影响面缩小到一条规则：map 容器是新的，键和值只做一层赋值。这能解释为什么顶层键值可以独立，也能解释为什么值内部的数组、对象或指针不会自动递归复制。

先用 maps.Clone 复制 map 容器

标准库 maps 包提供泛型函数 Clone。它接受一个 map，返回同一类 map 的副本；如果使用自定义 map 类型，返回值也会保留该类型的形状。

package main

import (
    "fmt"
    "maps"
)

type Settings map[string]int

func main() {
    original := Settings{"timeout": 30, "retries": 2}
    snapshot := maps.Clone(original)

    // 修改副本的顶层键值，验证原 map 是否保持不变。
    snapshot["timeout"] = 60
    snapshot["mode"] = 1

    fmt.Println(original)
    fmt.Println(snapshot)
}

这里的 snapshot 不是 original 的另一个变量名，而是一个新的 map 容器。对 snapshot 做新增、删除或替换键值的操作，不会直接改变 original 的键集合和顶层值。

触发条件：标量值为什么能真正分开

当值是整数、浮点数、布尔值或字符串等直接可赋值的内容时，复制出来的是该值本身。副本中的重新赋值只替换新 map 对应的槽位，原 map 的槽位仍保留旧值。

package main

import (
    "fmt"
    "maps"
)

func main() {
    original := map[string]int{"limit": 10}
    copied := maps.Clone(original)

    // 这里只替换 copied 的值槽位，不会回写 original。
    copied["limit"] = 99

    fmt.Printf("original=%d copied=%d\n", original["limit"], copied["limit"])
}

判断结果时，关注的是两次索引读取，而不是比较 map 的打印顺序。map 的遍历顺序没有稳定保证，本文的隔离判断只看具体键的值。

根因：maps.Clone 是浅复制，不会递归复制值

真正容易复现事故的是把值换成切片。切片值本身包含指向底层数组的描述信息；普通赋值会复制这个描述信息，但不会自动创建新的底层数组。因此，两个 map 的同一个键可能分别存着两个切片值，却仍指向同一组元素。

package main

import (
    "fmt"
    "maps"
)

func main() {
    original := map[string][]int{"ports": {80, 443}}
    copied := maps.Clone(original)

    // Clone 只复制切片描述信息；这里修改底层元素会影响 original。
    copied["ports"][0] = 8080

    fmt.Println(original["ports"])
    fmt.Println(copied["ports"])
}

指针值也遵循同一边界：map 的键和值槽位是新的，但值中的指针仍指向原来的对象。如果业务要求“快照可以独立修改整个配置对象”，就不能只调用 maps.Clone，还要按值类型复制切片、结构体内部指针或其他引用对象。

修复动作：把快照函数的复制责任写清楚

如果 map 的值是标量，直接用 maps.Clone 就足够。如果值包含切片，可以在遍历键值时为每个切片创建新空间；如果值是结构体，则应明确哪些字段需要复制。下面的例子只处理 map[string][]int，避免把浅复制误当作通用深复制。

package main

import "maps"

// cloneLists 同时复制 map 容器和每个切片的底层数组。
func cloneLists(src map[string][]int) map[string][]int {
    dst := make(map[string][]int, len(src))
    for key, values := range src {
        // append 到 nil 切片会分配独立数组，避免元素写入互相影响。
        dst[key] = append([]int(nil), values...)
    }
    return dst
}

func cloneScalarConfig(src map[string]int) map[string]int {
    // 标量值只需复制 map 的一层键值。
    return maps.Clone(src)
}

这里没有把所有类型都塞进一个“万能深拷贝”函数。快照的复制策略应和领域对象的语义绑定：需要独立的是哪一层，就复制到哪一层；不需要独立的只读对象，则可以保留共享并在接口上说明。

防复发：用测试锁定“独立到哪一层”

最后我会给快照函数加两类测试：第一类修改副本的顶层键，确认原 map 不变；第二类修改嵌套切片元素，确认深复制函数也不共享底层数组。测试名称直接写出边界，比只断言两个 map “不相等”更容易阻止回归。

func TestCloneListsIsIndependent(t *testing.T) {
    original := map[string][]int{"ports": {80, 443}}
    copied := cloneLists(original)

    // 修改副本的嵌套元素，原切片仍应保持原值。
    copied["ports"][0] = 8080
    if original["ports"][0] != 80 {
        t.Fatalf("original slice changed: got %v", original["ports"])
    }
}

如果只想验证标准库函数本身，测试应围绕官方定义的浅复制语义来写，而不是要求它承担递归深复制职责。这样后续把值类型从整数改成切片时，代码评审也能及时发现需要新增的复制逻辑。

几个容易混淆的问题

maps.Clone 会不会排序 map？不会。它只复制键值，遍历顺序不是稳定接口。

复制后删除副本中的键会影响原 map 吗？不会。删除发生在新的 map 容器上。

为什么切片值仍会互相影响？因为 Clone 是浅复制，切片的底层数组不在复制范围内。

什么时候应该继续用 maps.Clone？当你需要新的 map 容器，且值的普通赋值语义已经满足隔离要求时；如果值内部有可变引用，就为那一层补充显式复制。

结论

这次故障最后落在一个很具体的判断上：maps.Clone 解决的是 map 容器和一层键值槽位的复制，不承诺递归复制值内部对象。把值类型列出来，再决定复制深度，才能让配置快照、默认值模板或工作副本真正符合预期。