Go 中 slice 赋值后为何修改不共享？深度解析引用语义与底层数组行为-Golang-PHP中文网

Go 中 slice 赋值后为何修改不共享？深度解析引用语义与底层数组行为

Go 的 slice 是值类型结构体（含指针、len、cap），赋值 s2 := s1 仅复制 header，二者初始共享底层数组；但 append 可能分配新数组并返回新 header，若未用返回值更新变量，s1 与 s2 将指向不同内存，导致长度、内容不再同步。

go 的 slice 是值类型结构体（含指针、len、cap），赋值 `s2 := s1` 仅复制 header，二者初始共享底层数组；但 `append` 可能分配新数组并返回新 header，若未用返回值更新变量，s1 与 s2 将指向不同内存，导致长度、内容不再同步。

在 Go 中，slice 常被误认为“纯引用类型”，但其本质是值语义的复合结构体：

type sliceHeader struct {
    ptr unsafe.Pointer // 指向底层数组首地址
    len int            // 当前长度
    cap int            // 容量上限
}

当执行 anotherSlice := theSlice 时，Go 复制的是整个 sliceHeader —— 包括指针、长度和容量。此时 anotherSlice 和 theSlice 确实共享同一底层数组，这也是为什么直接修改元素（如 anotherSlice[3] = 7）会同步反映到 theSlice 上（如实验输出 7 7）。

然而，关键转折点在于 append 的行为：
✅ 容量充足时：append(anotherSlice, x) 直接在原底层数组末尾写入，仅更新 len，返回的新 slice header 仍指向原数组。
❌ 容量不足时：append 必须分配全新底层数组，拷贝旧数据，追加新元素，并返回一个完全独立的新 header（ptr 指向新地址，len/cap 重置）。此时若未将返回值赋给变量——即 anotherSlice = append(anotherSlice, x) 缺失左侧赋值——anotherSlice 将继续持有旧 header，而新 slice “凭空消失”，造成数据丢失或逻辑错误。

回到你的实验：

HIX Translate

HIX Translate是一款由 HIX.AI 提供的在线 AI 文本翻译工具。

下载

anotherSlice = append(anotherSlice[:3], anotherSlice[4:]...) // 删除索引3元素

此处 anotherSlice[:3] 的容量为 cap(theSlice) - 0 = 6（因 theSlice 初始 cap=6），而 anotherSlice[4:] 长度为 2，6 ≥ 3+2 成立 → 无需扩容，append 在原数组上覆盖操作，anotherSlice header 更新为新长度 5，但 ptr 不变。因此 theSlice 仍可见被“覆盖”的第4个元素（原索引4→现索引3），导致 len(anotherSlice)=5 而 len(theSlice)=6。

⚠️ 注意事项：