go 语言允许使用 slice[len(slice):] 这种“越界但合法”的切片操作，因其语义上等价于空切片且符合规格中对索引范围的精确定义（0 ≤ low ≤ high ≤ cap(slice)），而非 len(slice)。
go 语言允许使用 slice[len(slice):] 这种“越界但合法”的切片操作，因其语义上等价于空切片且符合规格中对索引范围的精确定义（0 ≤ low ≤ high ≤ cap(slice)），而非 len(slice)。
在 Go 中，切片（slice）的底层是数组，其行为由语言规范严格定义。一个常见困惑是：为什么 a[3:] 对长度为 3 的切片不 panic，而 a[4:] 却会触发运行时恐慌？答案在于 Go 规范对切片表达式索引范围的特殊约定。
根据 Go 语言规范：Slice Expressions，对于切片 a，索引 low 和 high 是 in range（有效）的充要条件是：
0 <= low <= high <= cap(a)
注意：此处的上界是 容量（cap(a)），而非长度（len(a)）。当切片未被重切（即未通过 s[i:j] 缩容）时，len(a) == cap(a)；因此 a[len(a):] 实际等价于 a[cap(a):]，完全满足 low == high == cap(a)，属于合法边界情况。
例如：
a := []int{1, 2, 3} // len=3, cap=3
fmt.Println(a[3:]) // 输出: [], 类型为 []int，len=0, cap=0该表达式生成一个零长度、零容量的新切片，其底层数组指针与原切片相同（若未超出容量），但长度为 high - low = 3 - 3 = 0。由于 high 被省略，它默认取 len(a)，而规范明确允许 low == len(a)（只要 low
⚠️ 关键注意事项：
- a[len(a):] 合法，返回空切片；
- a[len(a)+1:] 非法（因 low > cap(a)），触发 panic：panic: runtime error: slice bounds out of range;
- 此规则仅适用于切片；对数组使用 arr[len(arr):] 仍会 panic，因为数组的索引上界是 len(arr)（且不支持 : 省略语法）；
- 实际开发中，s[len(s):] 常用于清空切片（保留底层数组引用）或作为构建新切片的起点，但需谨慎避免意外创建高容量空切片导致内存泄漏。
总结：Go 的设计在安全与灵活性间做了权衡——允许 len(s) 作为切片起始索引，既支持惯用的“截断至末尾”语义，又通过 cap(s) 作为硬性边界防止真正越界。理解 len 与 cap 在切片表达式中的不同角色，是掌握 Go 内存模型和高效切片操作的关键。
