maps.Clone 保留嵌套引用时的复制边界

我在把配置快照放进缓存时，最容易误判的是 maps.Clone 的“复制”范围：外层 map 已经是新对象，但值里的切片、嵌套 map 或指针并不会自动递归复制。结论很简单：它适合复制容器边界，不等于业务对象的深复制。顶层键的增删改可以和原 map 分开，嵌套可变成员仍要按字段决定是否重新分配。

maps.Clone 复制了什么，哪些引用仍然共享

官方文档把它定义为 shallow clone。下面这个例子只改变克隆 map 的顶层键，因此原 map 的键值不变；但 Profile.Tags 是切片，切片头被复制了，底层数组仍然是同一份。

package main

import (
	"fmt"
	"maps"
)

type Profile struct {
	Name string
	Tags []string
}

func main() {
	source := map[string]Profile{
		"go": {Name: "语言", Tags: []string{"map", "泛型"}},
	}
	copyOfMap := maps.Clone(source)

	copyOfMap["go"] = Profile{Name: "更新后的语言", Tags: copyOfMap["go"].Tags}
	copyOfMap["go"].Tags[0] = "引用"
	fmt.Println(source["go"].Name)      // 顶层值替换不影响原 map
	fmt.Println(source["go"].Tags[0])   // 嵌套切片仍指向相同底层数组
}

判断边界时不要只看值是不是结构体。结构体本身会按字段复制，但字段里的切片、map、指针、通道或函数值各自保留引用语义。interface{} 也不能改变这一点：它只是装着原来的动态值。

按值类型列出复制策略，别把浅复制当成快照

这个表更适合放在代码评审清单里。特别是缓存、配置热更新和并发读场景，真正要问的不是“有没有调用 Clone”，而是“写入快照后，哪些成员还可能被另一个 goroutine 改到”。

需要独立嵌套状态时，显式写出 deepClone

深复制没有适用于所有类型的通用魔法。业务结构越明确，显式复制越容易审查。下面先用 maps.Clone 复制 map，再分别复制切片与指针；nil 输入保持 nil，避免把“未设置”和“空集合”混在一起。

type Config struct {
	Retries int
}

type Profile struct {
	Name   string
	Tags   []string
	Config *Config
}

func cloneProfileMap(src map[string]Profile) map[string]Profile {
	// 先切断外层 map 的增删改，再处理值中的可变引用。
	dst := maps.Clone(src)
	for key, value := range src {
		if value.Tags != nil {
			// 重新分配切片，避免修改副本元素时写回原数组。
			value.Tags = append([]string(nil), value.Tags...)
		}
		if value.Config != nil {
			// 指针字段也要创建新对象，不能只复制指针地址。
			configCopy := *value.Config
			value.Config = &configCopy
		}
		dst[key] = value
	}
	return dst
}

如果值里还有嵌套 map、指向切片的指针或 interface，继续把规则下沉到对应的复制函数。不要用序列化绕过类型边界：它可能丢失函数、通道、未导出字段或自定义语义，还会引入额外成本。

迁移前的最小检查清单

从手写外层复制改成 maps.Clone 时，我会先做三组断言：一是给副本新增或删除键，原 map 不变；二是修改副本中的每个可变成员，原值也不应变化；三是 nil map、nil 切片和 nil 指针的状态与项目约定一致。并发场景再配合 race 检测，确认“复制完成”没有被误解成“从此可以无锁共享”。

如果业务只需要只读视图，浅复制可能已经足够；如果要保存可回滚快照、跨 goroutine 传递并继续修改，显式深复制更稳。关键不是复制层数越深越好，而是让每个可变字段的所有权有清楚的答案。

相关问题

maps.Clone 会复制嵌套 map 吗？

不会。嵌套 map 作为值按普通赋值放入新 map，仍指向原来的 map；需要独立写入时要单独遍历并复制。

值是结构体就一定安全了吗？

不一定。结构体外壳会复制，但内部 slice、map、指针等字段仍保留各自的引用语义。

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

当值是不可变语义的标量或你明确接受嵌套成员共享时可以直接使用；要形成独立可修改快照时，应补齐字段级深复制。