go 中 slice 是值传递，但其内部包含指向底层数组的指针；当函数内多次调用 append（如删除元素）而未将返回值重新赋值给原变量时，会导致底层数组被意外复用，引发数据覆盖等“诡异”行为。
go 中 slice 是值传递，但其内部包含指向底层数组的指针；当函数内多次调用 append（如删除元素）而未将返回值重新赋值给原变量时，会导致底层数组被意外复用，引发数据覆盖等“诡异”行为。
在 Go 中，slice 并非传统意义上的“引用类型”，而是一个包含三个字段的结构体：指向底层数组的指针（ptr）、长度（len）和容量（cap）。当我们将 slice 作为参数传递给函数时，传递的是该结构体的副本——即值传递。这意味着函数内对 slice 变量本身的重新赋值（如 s = append(s, x)）不会影响调用方的原始变量；但若未显式赋值，而直接操作其底层数组（尤其通过 append 或切片操作），就可能因共享底层数组而产生意外副作用。
你遇到的输出 [40 50 50 50 50] 正是典型表现。根本原因在于：
- 初始 slice test.testArray 指向底层数组 [10,20,30,40,50]，容量为 5；
- 第一次调用 removeFrom(array, 0) 返回 append(array[0:], array[1:]...) → 实际为 append([]float64{}, [20,30,40,50]...)，新 slice 长度 4，仍复用原数组内存（起始地址偏移）；
- 后续两次 removeFrom 持续在同一底层数组上执行 append，但由于容量足够，append 不触发扩容，而是直接覆写原数组末尾位置；
- 最终 test.testArray 的底层数组被修改为 [40,50,50,50,50] —— 前两个元素是最终结果，后三个是 append 覆写残留。
✅ 正确做法：始终将 append（及任何 slice 修改函数）的返回值重新赋值给 slice 变量。因为 append 可能返回指向新数组的 slice，忽略其返回值等于放弃更新后的状态。
以下是修正后的标准写法：
func testFunction(array []float64) []float64 {
for i := 0; i < 3; i++ {
array = removeFrom(array, 0) // ✅ 关键：必须赋值回 array
}
fmt.Println(array)
return array
}
func removeFrom(array []float64, index int) []float64 {
return append(array[:index], array[index+1:]...) // ✅ append 返回新 slice
}调用时也需接收返回值：
a := testFunction(test.testArray) // ✅ 接收新 slice fmt.Println(a) // [40 50] fmt.Println(test.testArray) // [10 20 30 40 50] —— 原始数据不变
⚠️ 注意事项：
- 永远不要忽略 append 的返回值：即使当前未扩容，语义上它可能返回新 slice；
- 若需就地修改原始 struct 字段，可改用指针传递（不推荐过度使用）：
func testFunction(array *[]float64) { for i := 0; i < 3; i++ { *array = removeFrom(*array, 0) // 解引用并赋值 } fmt.Println(*array) } - 更健壮的删除逻辑应考虑边界检查（如 index < len(array)），避免 panic；
- 对于频繁删除场景，建议使用 copy + 截断替代 append，或改用其他数据结构（如链表、deque 等）。
总结：Go 的 slice 设计兼顾性能与简洁，但要求开发者明确“值传递结构体 + 共享底层数组”的双重特性。牢记 “append 返回新 slice，必须赋值” 这一铁律，即可规避绝大多数 slice 相关陷阱。
