在 go 中直接遍历切片并使用 append(slice[:i], slice[i+1:]...) 删除元素会导致 panic，根本原因是 range 迭代器基于原始切片长度和索引快照，而原地修改会破坏索引一致性；正确做法是采用“覆盖保留元素 + 截断”模式。
在 go 中直接遍历切片并使用 append(slice[:i], slice[i+1:]...) 删除元素会导致 panic，根本原因是 range 迭代器基于原始切片长度和索引快照，而原地修改会破坏索引一致性；正确做法是采用“覆盖保留元素 + 截断”模式。
Go 的 range 语句在启动时会基于切片的初始长度生成迭代序列，它不会动态感知后续对切片长度或底层数组的修改。因此，在 for i, v := range slice 循环中执行 slice = append(slice[:i], slice[i+1:]...) 会导致两个严重问题：
- 索引越界 panic：当删除中间元素后，切片变短，但 range 仍按原始长度继续迭代，后续访问 slice[i]（如 i=3）可能超出新长度；
- 逻辑错误：删除元素后未调整索引，导致跳过紧邻的下一个元素（例如删除索引 2 后，原索引 3 的元素被移至 2，但循环已进入 i=3，从而遗漏处理）。
你尝试的三种方案中：
- goto 方案虽能工作，但反复重启整个循环，时间复杂度退化为 O(n²)，且可读性差，不推荐；
- 使用辅助切片 dest := slice[:0] 是常见惯用法，利用了切片共享底层数组的特性，内存高效、逻辑清晰，推荐用于多数场景；
- 基于 len(slice) 的 for 循环配合 i-- 在技术上可行，但需手动维护索引，易出错，且 append 操作频繁触发底层数组复制，性能不如覆盖法。
✅ 最优解：就地覆盖 + 截断（In-place overwrite + truncate）
这是 Go 官方推荐的高效、安全模式，无需额外分配，无副作用，代码简洁：
package main
import "fmt"
func main() {
slice := []int{1, 2, 3, 4, 5, 6, 7, 8, 9}
// 使用写指针 k 记录保留元素应存放的位置
k := 0
for _, n := range slice {
if n%3 != 0 { // 保留非 3 的倍数
slice[k] = n
k++
}
}
slice = slice[:k] // 截断切片，丢弃尾部冗余元素
fmt.Printf("%v\n", slice) // 输出: [1 2 4 5 7 8]
}该方法的核心思想是：
- 遍历原始切片（只读），用写指针 k 标记下一个“有效位置”；
- 对每个满足条件的元素，直接赋值到 slice[k]，然后 k++；
- 循环结束后，slice[:k] 即为过滤后的新切片——既保持原底层数组，又避免内存分配。
⚠️ 注意事项：
- 此法要求原切片容量足够容纳保留元素（本例中成立，因仅删除不新增）；若需大量新增或不确定容量，应预先 make([]T, 0, len(slice)) 或使用 dest := make([]T, 0, estimatedLen)；
- 切勿在 range 循环中修改正在遍历的切片长度或内容（包括 append、copy、赋值等），除非你明确控制索引逻辑；
- 若需稳定删除多个元素且顺序敏感（如按索引批量删除），可先收集待删索引，再倒序执行 append(slice[:i], slice[i+1:]...)，避免索引偏移。
总结：对于过滤类操作，优先选择「覆盖 + 截断」；若需构建新切片或逻辑更复杂，使用预分配的 dest 切片（slice[:0]）是清晰、安全、高性能的通用方案。
