Go 切片操作中，省略高索引时默认使用长度而非容量，导致 b[1:] 因 low=1 > high=0 违反 0 ≤ low ≤ high ≤ cap(b) 规则而 panic。本文详解切片边界规则、默认行为及安全写法。
go 切片操作中，省略高索引时默认使用长度而非容量，导致 `b[1:]` 因 `low=1 > high=0` 违反 `0 ≤ low ≤ high ≤ cap(b)` 规则而 panic。本文详解切片边界规则、默认行为及安全写法。
在 Go 中，切片（slice）的索引规则与数组不同，其上下界约束更精细，尤其在涉及容量（cap）和长度（len）时极易引发误解。核心问题在于：切片表达式中缺失的高索引（upper bound）始终默认为 len(s)，而非 cap(s)——即使该值小于低索引（lower bound），也会直接触发运行时 panic。
回顾原始代码：
b := make([]int, 0, 5) // len=0, cap=5 c := b[1:] // ❌ panic: slice bounds out of range
此处 b 是一个长度为 0、容量为 5 的空切片。执行 b[1:] 时：
- 低索引 low = 1
- 高索引未指定 → 隐式取 high = len(b) = 0
- 检查条件：0 ≤ low ≤ high ≤ cap(b) → 0 ≤ 1 ≤ 0 ≤ 5？显然 1 ≤ 0 不成立
因此立即 panic。
✅ 正确做法是显式指定合法的高索引，确保 low ≤ high ≤ cap(b)：
b := make([]int, 0, 5) c1 := b[1:1] // ✅ len=0, cap=4, [] —— 空切片，但合法 c2 := b[1:2] // ✅ len=1, cap=4, [0] c3 := b[1:cap(b)] // ✅ len=4, cap=4, [0 0 0 0] c4 := b[:cap(b)] // ✅ len=5, cap=5, [0 0 0 0 0]（注意：low=0 可省略）
⚠️ 关键注意事项：
- 切片表达式 s[i:j:k] 中，i 和 j 必须满足 0 ≤ i ≤ j ≤ cap(s)；k（容量上限）进一步限制 j ≤ k ≤ cap(s)。
- s[i:] 等价于 s[i:len(s)]，永远不等于 s[i:cap(s)] —— 这是初学者最常见误区。
- 若需基于容量扩展切片（如追加元素），应先用 s = s[:cap(s)] 将长度拉满，再操作。
总结：Go 切片的安全操作依赖对 len 与 cap 的清晰区分。当需要从某偏移开始访问全部可用底层数组空间时，务必显式写出高索引：s[i:cap(s)]，而非依赖 s[i:]。
