Go中数组赋值是值拷贝(类似深拷贝),切片赋值是头信息拷贝(浅拷贝),底层数组共享;深拷贝切片需make+copy或append(nil, s...);嵌套指针或切片需递归处理。

Go语言中没有直接的“深拷贝”或“浅拷贝”关键字,但数组和切片的行为差异天然体现了这两种语义。理解底层机制比套用术语更重要:数组赋值是值拷贝(类似深拷贝),切片赋值是头信息拷贝(即浅拷贝),而底层数组仍共享。
数组复制 = 值拷贝(自动深拷贝效果)
Go中数组是值类型。声明时长度固定,赋值或传参时整个数组内容被复制,新旧变量完全独立。
示例:
arr1 := [3]int{1, 2, 3}
arr2 := arr1 // 完整复制一份
arr2[0] = 999
fmt.Println(arr1) // [1 2 3]
fmt.Println(arr2) // [999 2 3]
✅ 关键点:修改 arr2 不影响 arr1,因为内存中存在两份独立数据。
立即学习“go语言免费学习笔记(深入)”;
切片复制 = 头部结构拷贝(典型浅拷贝)
切片是引用类型(包含指针、长度、容量三部分)。直接赋值只复制这三个字段,底层数组地址相同,因此修改元素会影响原切片。
示例:
s1 := []int{1, 2, 3}
s2 := s1 // 只拷贝头:指向同一底层数组
s2[0] = 999
fmt.Println(s1) // [999 2 3]
fmt.Println(s2) // [999 2 3]
⚠️ 注意:即使 s2 后续 append 扩容导致底层数组迁移,s1 也不受影响;但只要未扩容,它们就共享存储。
手动实现切片的深拷贝
若需完全独立副本,必须分配新底层数组并逐元素复制。标准做法是使用 copy() 或 append([]T(nil), s...)。
- 方法1:copy() + make()
s1 := []int{1, 2, 3}
s2 := make([]int, len(s1))
copy(s2, s1) // 从 s1 拷贝 len(s1) 个元素到 s2
s2[0] = 999
fmt.Println(s1) // [1 2 3]
fmt.Println(s2) // [999 2 3]
- 方法2:append + nil 切片(简洁惯用)
s1 := []int{1, 2, 3}
s2 := append([]int(nil), s1...) // 创建新底层数组并填充
s2[0] = 999
fmt.Println(s1) // [1 2 3]
fmt.Println(s2) // [999 2 3]
✅ 两种方式都确保 s1 和 s2 底层无共享,适合需要隔离修改的场景(如并发写入、函数返回副本等)。
嵌套结构的深拷贝需额外处理
如果切片元素是指针、map、struct(含指针字段)或另一切片,则上述 copy/append 只复制顶层元素——即“浅层深拷贝”。要真正深拷贝,需递归克隆每个可变内部值。
例如:
type Person struct {
Name *string
Tags []string
}
p1 := Person{
Name: new(string),
Tags: []string{"a", "b"},
}
*p1.Name = "Alice"
p2 := p1 // 结构体是值类型,但 Name 是指针,Tags 是切片头
*p2.Name = "Bob" // 影响 p1.Name!
p2.Tags[0] = "x" // 也影响 p1.Tags!
? 此时需手动构造新 Person,并 new() 新指针、make+copy 新切片。复杂场景建议用第三方库如 github.com/jinzhu/copier 或 gob 编码再解码(注意性能开销)。










