Go maps.Clone 复制嵌套值时为什么仍会互相影响

我第一次把配置快照从一个 map[string][]string 复制出来时，最容易误判的是：顶层 map 已经是新的，嵌套内容却不一定是新的。maps.Clone 的结论很明确——它是浅拷贝，键和值使用普通赋值；所以标量值通常互不影响，slice、嵌套 map、指针等引用型值仍可能指向同一份内部状态。

先看清：顶层独立，不等于内容全部独立

下面的对照只改 clone，不改原始 map。整数值经过普通赋值后互不影响；slice 元素和嵌套 map 字段则会回写源数据。这正是排查“配置副本被意外改掉”时最有价值的最小例子。

package main

import (
    "fmt"
    "maps"
)

func main() {
    source := map[string]any{
        "retries":  3,
        "labels":   []string{"stable", "canary"},
        "metadata": map[string]string{"owner": "platform"},
    }
    clone := maps.Clone(source)

    // 标量字符串和整数是值拷贝，修改 clone 的槽位不会改 source。
    clone["retries"] = 5
    // interface 里仍装着同一个 slice，改元素会触及共享的底层数组。
    clone["labels"].([]string)[0] = "rollback"
    // interface 里仍装着同一个嵌套 map，改字段会回写原 map。
    clone["metadata"].(map[string]string)["owner"] = "runtime"

    fmt.Println(source["retries"])                 // 3
    fmt.Println(source["labels"].([]string)[0])    // rollback
    fmt.Println(source["metadata"].(map[string]string)["owner"]) // runtime
}

这里的三个观察点比“Clone 是否深拷贝”更准确：第一层 map 是否独立、值槽位是否重新赋值、值内部是否还持有数组或 map 的引用。只看第一层地址或只测试整数，都会漏掉真正的问题。

为什么普通赋值会留下共享状态

官方文档把 maps.Clone 定义为 shallow clone，并明确说明新键和值通过 ordinary assignment 设置。它不会根据 V 的动态结构递归探测。可以用下面这张表快速判断。

所以“复制嵌套值后互相影响”不是 maps.Clone 失效，而是复制深度和数据结构深度不一致。对 slice 来说，描述符包含指针、长度和容量；对嵌套 map 来说，值本身就是一个可变 map 句柄。普通赋值只搬运这层值，不替你创建新的内部容器。

需要真正独立的快照时，按层复制

如果业务要求“修改副本绝不能影响原配置”，先把边界写在类型上，再决定复制深度。对 map[string]map[string]int，外层 Clone 只够第一层；每个内层 map 还要再次 Clone：

package config

import "maps"

// cloneScores 为每个 key 创建新的内层 map，避免修改副本回写原配置。
func cloneScores(src map[string]map[string]int) map[string]map[string]int {
    // 先分配新的外层容器，容量提示只描述预计条目数。
    dst := make(map[string]map[string]int, len(src))
    for key, scores := range src {
        // 内层 map 也要单独复制，不能把同一个 map 句柄直接赋给 dst。
        dst[key] = maps.Clone(scores)
    }
    return dst
}

如果值是 map[string][]string，上面的写法仍不够，因为内层 map 的每个 value 又是 slice。此时要对 slice 创建新底层数组，例如 append([]string(nil), tags...)；如果值是指针，则要明确对象是否需要复制，以及对象内部还有没有 slice、map 或指针。

我会用这份清单决定 Clone 还是深复制

在代码评审里，我通常先数“可变容器的层数”，再看副本的生命周期，而不是看到 Clone 就默认安全：

• 只需要冻结一层键值，且 value 是标量：直接用 maps.Clone。
• value 是嵌套 map：为每个内层 map 单独复制。
• value 是 slice：确认是否会改元素；会改就复制元素数组。
• value 是指针或复合结构体：沿着可变字段继续检查，必要时提供明确的 Clone 方法。

还要留意 nil：对 nil map 做复制时，业务若依赖 nil 与空 map 的区别，就应把这个语义写进测试和接口约定。并发场景下，深复制只解决“是否共享”的问题，不会自动替代锁或不可变数据设计。

常见问题

maps.Clone 是深拷贝吗？

不是。它复制顶层 map，并对键和值做普通赋值；嵌套 map、slice、指针等内部对象可能继续共享。

为什么改 clone 的 slice 元素会影响 source？

因为两个 slice 值可能描述同一个底层数组。若要隔离元素，需要创建新 slice 并复制元素。

什么时候只用 maps.Clone 就够了？

当 value 是不再向内部可变状态延伸的标量，或业务明确允许共享内部对象时，浅拷贝通常就是合适的选择。