Go maps.Clone 复制嵌套 map 时哪些数据仍然共享

如果你把一个嵌套 map 交给 maps.Clone，最容易误判的是“克隆”三个字。它只保证顶层 map 容器和顶层键值赋值分开，并不递归复制每一层数据。值是整数、字符串或结构体值时，修改克隆后的顶层字段通常不会影响原 map；值是嵌套 map、切片、指针或含引用字段的结构体时，内部数据仍可能共享。

maps.Clone 先复制哪一层

官方文档把 maps.Clone 明确称为 shallow clone：目标 map 是新容器，新的键和值通过普通赋值写入。于是下面这种值类型字段可以安全地做顶层替换，base["retries"] 不会因为修改 snapshot 而变化。

package main

import (
    "fmt"
    "maps"
)

func main() {
    base := map[string]int{"retries": 2}
    snapshot := maps.Clone(base)

    // 只替换克隆 map 的顶层值，不会写回 base。
    snapshot["retries"] = 5
    fmt.Println(base["retries"], snapshot["retries"])
}

这个例子只能证明顶层 map 已经分开，不能推出“所有嵌套内容也都分开”。判断共享关系时，要继续看 map 的 value 类型。

嵌套 map、切片为什么还会共享

当 value 是切片时，切片描述符复制了，但它指向的底层数组没有自动复制；当 value 是另一个 map 时，内部 map 也没有递归克隆。指针更直接：指针值被复制后，两个顶层 map 仍指向同一个对象。

package main

import (
    "fmt"
    "maps"
)

func main() {
    source := map[string][]int{"ports": {8080, 8443}}
    cloned := maps.Clone(source)

    // 这里修改的是共享切片的元素，不是替换 cloned 的顶层 value。
    cloned["ports"][0] = 9090
    fmt.Println(source["ports"][0], cloned["ports"][0])
}

输出会同时看到 9090，因为两个 map 的 ports 值仍关联同一底层数组。若写成 cloned["ports"] = append([]int(nil), source["ports"]...)，再修改切片元素，才是在这一层建立独立副本。

嵌套 map 也要显式复制。下面的原则比“统一深拷贝”更稳：只复制业务真正会修改的层级，避免复制无用数据和不清晰地隐藏成本。

按 value 类型选择复制策略

工程上还要区分“替换 value”和“修改 value 指向的内容”。cloned["ports"] = []int{3000} 是替换克隆 map 的顶层值；cloned["ports"][0] = 3000 则是在尝试修改共享底层数组。两种写法的隔离结果完全不同。

生产环境别把 Clone 当成并发隔离

maps.Clone 不会自动解决并发访问问题，也不会为业务对象建立事务快照。如果原 map 或共享的嵌套值仍被其他 goroutine 写入，克隆前后的生命周期仍需要锁、所有权约定或不可变数据设计。需要完整隔离时，可以让数据结构提供明确的 Clone 方法，在其中逐字段处理引用型成员；不要用反射式“万能深拷贝”掩盖不可复制的资源、锁或连接。

另外，nil map 的语义要保留在接口设计里：调用方可能用 nil 表示“未配置”，而空 map 表示“已配置但没有条目”。复制策略应先确定这个区别是否重要，再决定是否把 nil 归一为空 map。

常见问题

maps.Clone 是深拷贝吗？

不是。它是浅克隆，只新建顶层 map，并按普通赋值设置键和值。

为什么修改克隆 map 的切片会影响原 map？

因为切片 value 的底层数组没有被 maps.Clone 复制。需要修改时，先为切片分配新的底层存储。

结构体 value 会完全独立吗？

结构体外壳会按值复制，但其中的 slice、map、指针或接口动态值仍可能共享，必须按字段判断。

只读配置还需要深拷贝吗？

如果从克隆完成后所有入口都只读，浅克隆通常足够；关键是建立并遵守不可变约定。