Go标准库reflect包没有DeepCopy函数,需手动实现深拷贝;关键点包括处理nil指针/slice/map、不可寻址值、函数/channel/unsafe.Pointer等特殊类型,并防范循环引用。

用 reflect.DeepCopy?不存在这个函数
Go 标准库的 reflect 包里根本没有 DeepCopy 函数。这是很多人查文档时第一反应踩的坑——误以为反射包自带深拷贝能力。实际它只提供类型和值的操作原语,拷贝逻辑必须自己组合实现。
手动实现深拷贝需处理的几个关键点
通用结构体拷贝的核心是递归遍历字段并分配新内存,但必须小心以下情况:
-
nil指针、nilslice、nilmap 要原样复制(不能 panic 或强制初始化) - 不可寻址的值(如 struct 字段是 unexported,或来自常量/字面量)无法用
reflect.Set赋值 - 函数类型、不安全指针(
unsafe.Pointer)、channel 无法合理复制,应直接 panic 或跳过 - 循环引用会导致无限递归,生产环境建议加深度限制或使用 visited map 记录已处理地址
一个轻量但可用的通用拷贝函数示例
下面是一个不依赖第三方库、支持常见类型的深拷贝实现(忽略循环引用检测,适合简单场景):
func DeepCopy(src interface{}) interface{} {
v := reflect.ValueOf(src)
if !v.IsValid() {
return src
}
return copyValue(v).Interface()
}
func copyValue(v reflect.Value) reflect.Value {
switch v.Kind() {
case reflect.Ptr:
if v.IsNil() {
return v
}
// 新建指针,递归拷贝所指向的值
ptr := reflect.New(v.Elem().Type())
ptr.Elem().Set(copyValue(v.Elem()))
return ptr
case reflect.Slice:
if v.IsNil() {
return v
}
slice := reflect.MakeSlice(v.Type(), v.Len(), v.Cap())
for i := 0; i < v.Len(); i++ {
slice.Index(i).Set(copyValue(v.Index(i)))
}
return slice
case reflect.Map:
if v.IsNil() {
return v
}
m := reflect.MakeMap(v.Type())
for _, key := range v.MapKeys() {
m.SetMapIndex(key, copyValue(v.MapIndex(key)))
}
return m
case reflect.Struct:
// 只拷贝可导出字段(即大写字母开头)
structVal := reflect.New(v.Type()).Elem()
for i := 0; i < v.NumField(); i++ {
if v.Type().Field(i).PkgPath != "" { // unexported 字段跳过
continue
}
structVal.Field(i).Set(copyValue(v.Field(i)))
}
return structVal
case reflect.Interface:
if v.IsNil() {
return v
}
return copyValue(v.Elem())
default:
// int/bool/string/float 等值类型,直接返回
return v
}
}
注意:copyValue 不处理 chan、func、unsafe.Pointer,遇到会 panic;若传入含 unexported 字段的 struct,这些字段不会被复制(Go 的反射机制限制,无法写入)。
立即学习“go语言免费学习笔记(深入)”;
为什么不用 json.Marshal/Unmarshal 代替?
虽然 json.Marshal + json.Unmarshal 是最简单的“伪深拷贝”手段,但它有明显缺陷:
- 结构体字段必须是 exported(大写开头),否则会被忽略
- 不支持
time.Time、map[interface{}]interface{}、func、chan等类型,会报错 - 浮点数精度可能因 JSON 编解码丢失(如
NaN、+Inf) - 性能差:序列化+反序列化开销远高于反射直拷
所以它只适合临时调试或数据层边界隔离(比如 API 入参脱敏),不适合通用结构体拷贝逻辑。
真正难的是处理嵌套指针、自定义类型方法集继承、以及 unexported 字段的语义一致性——这些没有银弹,得根据业务明确是否需要、如何定义“拷贝”的边界。










