Go 切片的 s[:0] 操作仅重置长度为 0，而容量保持不变，因其本质是调整切片头（Slice Header）中的 len 字段，不涉及底层数组内存释放；若需真正缩减容量，应使用三索引切片 s[:0:0]。

go 切片的 `s[:0]` 操作仅重置长度为 0，而容量保持不变，因其本质是调整切片头（slice header）中的 `len` 字段，不涉及底层数组内存释放；若需真正缩减容量，应使用三索引切片 `s[:0:0]`。

在 Go 中，切片（slice）是一个包含三个字段的结构体：指向底层数组的指针（ptr）、当前长度（len）和最大可用容量（cap）。执行 s = s[:0] 时，运行时仅修改 len 为 0，cap 和 ptr 均保持不变——这意味着底层数组未被释放或截断，原有内存空间依然可被后续追加操作复用。

s := make([]int, 3, 5) // len=3, cap=5, 底层数组长度为5
fmt.Printf("before: len=%d, cap=%d\n", len(s), cap(s)) // len=3, cap=5

s = s[:0]
fmt.Printf("after s[:0]: len=%d, cap=%d\n", len(s), cap(s)) // len=0, cap=5 ← 容量未变

这种设计并非缺陷，而是有意为之的性能优化：避免频繁内存分配。例如，在循环复用切片收集数据时，s = s[:0] 可安全清空内容并立即 append，复用原有底层数组，显著减少 GC 压力。

但若需彻底切断与原底层数组的关联（如防止意外内存持有、缩小暴露范围或强制 GC 回收），则必须使用三索引切片语法：
s = s[:0:0] —— 它将 len 和 cap 同时设为 0，并使新切片的容量基准重置为 0，从而在后续 append 时触发全新底层数组分配（除非显式指定足够大的初始容量）。

s := make([]int, 3, 5)
s = s[:0:0]
fmt.Printf("after s[:0:0]: len=%d, cap=%d\n", len(s), cap(s)) // len=0, cap=0
// 此时 append(s, 1, 2) 将分配新数组（cap 至少为 2），不再复用原数组

⚠️ 注意事项：

• s[:0] 是高效清空的惯用写法，适用于缓冲区、临时集合等需反复复用的场景；
• s[:0:0] 应用于需隔离内存、规避“内存泄漏”风险（如切片源自大数组某小片段，且该大数组不应长期驻留）；
• 二者均不修改原底层数组内容，仅改变切片头视图，因此无拷贝开销；
• 切片本身是值类型，赋值或传参时复制的是 header，而非底层数组。

总之，s[:0] 保留容量是 Go 切片“轻量视图”语义的核心体现，而 s[:0:0] 提供了精确控制内存边界的能力——理解二者差异，是写出高性能、内存安全 Go 代码的关键基础。