go 中使用 append 删除切片元素时，若未显式限制底层数组容量，可能意外修改原切片——这是由切片共享底层数组且 append 原地扩容机制导致的常见陷阱。
在 Go 中，切片是引用类型，底层指向同一数组。当你执行 y := append(x[:3], x[4:]...) 时，表面上只是“拼接前 3 个元素和第 5 个起的元素”，但实际行为取决于 x[:3] 的容量（cap）。
原始切片 x := []int{1,2,3,4,5,6,7,8} 长度为 8，容量也为 8（假设由字面量创建）。此时 x[:3] 的长度是 3，但容量仍是 8（从底层数组起始位置算起），因此 append(x[:3], x[4:]...) 会直接在 x[:3] 的底层数组第 3 位之后（即原 x[3] 位置）开始写入 x[4:] 的元素：
- 写入 5,6,7,8 → 覆盖原 x[4]~x[7]；
- 但 x[7]（即第 8 个位置）被重复写入一次（因 x[4:] 有 4 个元素，而 x[:3] 后剩余空间为 5 个槽位，append 按需填充后未越界，最终将 x[7] 设为 8）；
- 更关键的是：x[3]（原值 4）被 5 覆盖，x[7] 被再次写入 8，导致 x 变为 [1 2 3 5 6 7 8 8]。
✅ 正确做法：使用三索引切片语法 x[:3:3] 显式限制容量，使新切片容量 = 长度 = 3，强制 append 分配新底层数组：
package main
import "fmt"
func main() {
x := []int{1, 2, 3, 4, 5, 6, 7, 8}
y := append(x[:3:3], x[4:]...) // 关键：:3 限定容量
fmt.Println("x =", x) // [1 2 3 4 5 6 7 8] —— 保持不变
fmt.Println("y =", y) // [1 2 3 5 6 7 8]
}? 补充说明：
- x[:3:3] 表示取前 3 个元素，且容量截断为 3，后续 append 无法复用原数组空间，必须分配新数组；
- 若需通用删除函数，推荐封装为：
func deleteAt[T any](s []T, i int) []T { if i < 0 || i >= len(s) { return s } return append(s[:i:i], s[i+1:]...) } - ⚠️ 注意：此问题与“是否赋值给新变量”无关，核心在于 append 是否触发原地写入——而该行为完全由输入切片的容量决定。
总结：在 Go 中安全删除切片元素，务必使用三索引切片（s[:i:i]）约束容量，避免隐式共享底层数组引发的副作用。这是理解 Go 切片内存模型的关键实践之一。
