Go中slice传参不拷贝底层数组,只拷贝头部结构(len/cap/ptr),故修改元素(如s[0]=x)影响原slice;但append、make、重赋值等操作仅改变局部头部,需返回并显式接收才能更新调用方变量。
不会拷贝底层数组数据,但会拷贝 slice 头部结构(即 len、cap、ptr 三个字段)。这意味着:修改 slice 元素会影响原 slice,但对 slice 本身做 append、make 或重新赋值,通常不影响调用方的变量。
因为所有 slice 变量共享同一块底层数组内存(只要没触发扩容),ptr 指向相同地址。所以通过索引赋值(如 s[0] = 100)会直接写入原数组。
func modifyElement(s []int) {
s[0] = 999 // ✅ 影响原 slice
}
func main() {
a := []int{1, 2, 3}
modifyElement(a)
fmt.Println(a) // [999 2 3]
}
以下操作仅改变函数内局部变量的 ptr/len/cap,不波及调用方:
append 后未检查是否扩容 —— 若底层数组容量不足,会分配新数组,原 slice 不变s = append(s, x) 或 s = make([]int, 5) 这类重赋值s = s[1:] 等切片操作虽共享底层数组,但若后续 append 触发扩容,新 slice 就脱离原数组func tryAppend(s []int) {
s = append(s, 4) // ❌ 不影响 main 中的 a(除非原 cap 足够且你观察的是元素变化)
}
func main() {
a := []int{1, 2}
tryAppend(a)
fmt.Println(len(a)) // 仍为 2
}
必须返回新 slice,并由调用方显式接收。Go 没有“引用传递”,只有“传值(头部结构)+ 共享底层数组”这一种行为。
[]T,不能只靠参数修改a = grow(a)
len 和 cap 也不会自动更新;这是开发者责任func grow(s []int) []int {
return append(s, 99)
}
func main() {
a := []int{1, 2}
a = grow(a) // ✅ 必须这样
fmt.Println(a) // [1 2 99]
}
实际编码中最容易忽略的是
append 会“就地扩展”原 slice 变量,结果发现长度没变、新增元素丢了。记住——append 总是返回新 slice,旧变量不变。