Go 切片 append 扩容后原切片数据"丢失"怎么办？

Question

仓乃文 · Accepted Answer

切片是 {ptr, len, cap} 结构体，传参时拷贝这个结构体，但共享底层数组。append 未超出容量时修改共享数组，超出容量时分配新数组，新旧切片从此分离。这种"有时共享有时分离"的行为是 Go 切片最大的坑。

问题场景：
```go
func modify(s []int) {
    s = append(s, 4) // 如果 cap 不够，s 指向新数组
    s[0] = 99        // 修改的是新数组，原切片不受影响
}

s1 := []int{1, 2, 3}      // len=3, cap=3
modify(s1)
fmt.Println(s1)            // [1 2 3]，修改完全丢失！
```

修复方法 1——返回新切片：
```go
func modify(s []int) []int {
    s = append(s, 4)
    s[0] = 99
    return s // 调用方用返回值覆盖
}
s1 = modify(s1)
```

修复方法 2——传指针（不推荐，切片本身只有 24 字节）：
```go
func modify(s *[]int) {
    *s = append(*s, 4)
}
```

修复方法 3——预分配容量避免扩容：
```go
s := make([]int, 0, 10) // 预留容量，append 不触发扩容
```

补充说明：
- 切片传参后，调用方和被调用方的 len/cap 是独立的
- 未超容量时 append 修改共享数组，超容量后分离——行为不一致是最大隐患
- 预分配容量是最稳妥的方案，既避免扩容分离，又减少内存分配
- 规则：如果函数会 append，要么返回新切片，要么预分配足够容量