go 允许对切片执行 s[len(s):] 这样的切片操作，因其语义合法且符合语言规范——上界可取到 len(s)（等价于 cap(s)），结果为空切片；但 s[len(s)+1:] 则越界 panic。
go 允许对切片执行 s[len(s):] 这样的切片操作，因其语义合法且符合语言规范——上界可取到 len(s)（等价于 cap(s)），结果为空切片；但 s[len(s)+1:] 则越界 panic。
在 Go 中，切片表达式 s[low:high] 的索引合法性由语言规范严格定义。关键在于：对于切片（slice），上界 high 的有效范围是 0 ≤ low ≤ high ≤ cap(s)，而非 len(s)。这意味着 high 可以等于 cap(s)（包含），而 len(s) 通常 ≤ cap(s)；当切片底层数组未被其他切片引用时，len(s) == cap(s)，因此 s[len(s):] 是完全合法的。
以下代码清晰展示了这一行为：
package main
import "fmt"
func main() {
a := []int{1, 2, 3} // len=3, cap=3
fmt.Printf("len=%d, cap=%d\n", len(a), cap(a)) // len=3, cap=3
fmt.Println(a[0:]) // [1 2 3]
fmt.Println(a[1:]) // [2 3]
fmt.Println(a[2:]) // [3]
fmt.Println(a[3:]) // [] ← 合法！结果为空切片，len=0, cap=0
// fmt.Println(a[4:]) // panic: slice bounds out of range [:4] with length 3
}执行 a[3:] 时：
- low = 3, high 省略 → 默认为 len(a) = 3
- 实际计算为 a[3:3]，满足 0 ≤ 3 ≤ 3 ≤ cap(a) == 3，索引在范围内
- 结果切片长度为 3 − 3 = 0，即空切片，其 len = 0，cap = cap(a) − low = 3 − 3 = 0
⚠️ 注意事项：
- s[len(s):] 总是合法且返回空切片（len=0, cap=0），常用于安全清空切片或作为 append 目标起点；
- s[len(s)+1:] 或任何 high > cap(s) 的表达式均触发运行时 panic：“slice bounds out of range”；
- 若切片经 s = s[:2] 缩容后 len=2, cap=3，则 s[2:] 仍合法（因 2 ≤ 2 ≤ 3），且 s[2:3] 甚至可取到最后一个元素；
- 该设计支持高效、无 panic 的边界处理（如循环切片分块、流式读取），是 Go 切片“半开区间”语义（[low, high)）与容量模型协同的结果。
总结：Go 允许 s[len(s):] 并非特例，而是其切片模型的自然体现——以 cap(s) 为上界上限，兼顾安全性与灵活性。理解 len 与 cap 的区别，是写出健壮切片操作的关键。
