如何使用Golang实现数组切片复制_Golangslice拷贝与扩容方法

12次阅读

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

如何使用Golang实现数组切片复制_Golangslice拷贝与扩容方法

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 对结构体切片只是逐字段复制,如果结构体里有 *Tmapchanslice 字段,这些值(即地址、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/gobjson 序列化绕过——但要注意性能和循环引用问题。

切片复制和扩容看着简单,真正难的是判断什么时候需要物理隔离、什么时候可以容忍共享。别迷信 make(..., cap) 能一劳永逸,运行时扩容策略和你的初始 cap 共同决定内存行为。

text=ZqhQzanResources