Go 切片的 s[:0] 操作仅重置长度为 0，但保留原有底层数组和容量，以支持高效内存复用；如需真正缩减容量，应使用三索引切片 s[:0:0]。

go 切片的 `s[:0]` 操作仅重置长度为 0，但保留原有底层数组和容量，以支持高效内存复用；如需真正缩减容量，应使用三索引切片 `s[:0:0]`。

在 Go 中，切片（slice）本质上是一个轻量级的引用结构，包含三个字段：指向底层数组的指针（ptr）、当前长度（len）和容量（cap）。执行 s = s[:0] 时，Go 仅修改 len 字段为 0，而 ptr 和 cap 保持不变——因为该操作语义上是“逻辑清空”，而非“释放或截断底层数组”。底层数组内存未被回收或重新分配，因此容量自然维持原值。

这并非缺陷，而是有意为之的设计：它允许后续通过 append 高效复用已有内存。例如：

s := make([]int, 5, 10) // len=5, cap=10
fmt.Printf("before: len=%d, cap=%d\n", len(s), cap(s)) // len=5, cap=10

s = s[:0] // 仅重置长度
fmt.Printf("after s[:0]: len=%d, cap=%d\n", len(s), cap(s)) // len=0, cap=10

s = append(s, 1, 2, 3)
fmt.Printf("after append: len=%d, cap=%d\n", len(s), cap(s)) // len=3, cap=10 —— 无内存分配

✅ 何时需要真正缩小容量？
当希望切断对原底层数组的引用（例如避免意外修改、防止内存泄漏、或为 GC 提供释放机会），应使用三索引切片语法 s[:0:0]：

s := make([]int, 5, 10)
s = s[:0:0] // len=0, cap=0 —— ptr 仍指向原数组，但 cap 归零，append 将触发新底层数组分配
fmt.Printf("s[:0:0]: len=%d, cap=%d\n", len(s), cap(s)) // len=0, cap=0

⚠️ 注意：s[:0:0] 并不会释放原底层数组内存，但因新切片的 cap == 0，任何 append 操作都会触发 make 分配全新底层数组（除非原切片已无其他引用，否则原数组可能滞留至 GC 回收）。

总结：s[:0] 是轻量级重置，适用于循环复用场景；s[:0:0] 是容量归零操作，适用于隔离数据或控制内存生命周期——二者语义不同，应按需选用。