copy函数实现浅拷贝,仅复制元素值而不复制底层数组或递归处理指针字段;目标切片需预先分配空间,返回实际复制数,重叠时行为安全但需自行理清逻辑。

用 copy 函数做浅拷贝,不是赋值也不是深拷贝
直接写 a = b 是让两个变量指向同一底层数组,改一个会影响另一个。真正复制元素得靠 copy —— 它只复制元素值,不复制底层数组结构,也不递归处理指针或结构体字段。
常见错误是忽略返回值或长度不匹配:
-
copy返回实际复制的元素个数,取len(src)和cap(dst)的较小值 - 目标切片必须已分配空间(比如用
make([]int, len(src))),否则复制 0 个元素 - 源和目标重叠时行为类似
memmove,安全,但逻辑要自己理清
src := []int{1, 2, 3}
dst := make([]int, len(src)) // 必须先分配
n := copy(dst, src)
// n == 3,dst 现在是 [1 2 3]
扩容不是手动算 cap,而是依赖 append 的自动策略
切片扩容由 append 触发,Go 运行时按底层数组剩余容量决定是否分配新底层数组。你不能直接修改 cap,也不能靠 make([]T, 0, N) 预留“永远够用”的空间——因为 append 超出当前 cap 后仍会重新分配。
关键点:
立即学习“go语言免费学习笔记(深入)”;
- 小切片(
cap ):每次翻倍扩容 - 大切片(
cap >= 1024):每次增加约 25%(cap += cap / 4) - 扩容后原底层数组可能被 GC,原切片变量若还持有旧头指针,就变成悬空引用(但 Go 不允许你拿到那个指针)
s := make([]int, 0, 2) s = append(s, 1, 2, 3) // 触发扩容:2→4 fmt.Println(cap(s)) // 输出 4
想完全隔离底层数组?用 make + copy 组合最可靠
如果需要确保后续对新切片的 append 不影响原切片(哪怕原切片也继续追加),就必须让它们底层数组物理分离。仅靠 copy 到已有切片不够——目标切片本身可能和别的变量共享底层数组。
正确做法:
- 用
make([]T, len(src))分配全新底层数组 - 再用
copy(dst, src)填入数据 - 避免用
src[low:high]直接构造然后copy,因为子切片仍共享原底层数组
original := []string{"a", "b", "c"}
clone := make([]string, len(original))
copy(clone, original) // clone 底层数组与 original 完全无关
注意结构体切片里的指针字段不会被 copy 深拷贝
copy 对结构体切片只是逐字段复制,如果结构体里有 *T、map、chan 或 slice 字段,这些值(即地址、map header 等)被复制过去,但指向的数据没变——还是共享的。
例如:
type Person struct {
Name *string
Tags []string
}
p1 := Person{new(string), []string{"go"}}
p2 := Person{}
copy((*[1]Person)(&p2)[:], (*[1]Person)(&p1)[:])
// p1.Name 和 p2.Name 指向同一地址;p1.Tags 和 p2.Tags 底层数组相同
这种场景必须手写深拷贝逻辑,或用 encoding/gob、json 序列化绕过——但要注意性能和循环引用问题。
切片复制和扩容看着简单,真正难的是判断什么时候需要物理隔离、什么时候可以容忍共享。别迷信 make(..., cap) 能一劳永逸,运行时扩容策略和你的初始 cap 共同决定内存行为。










