Go 字符串切片 s[low:] 允许 low 等于字符串长度（而非必须小于），此时返回空字符串，符合语言规范中“0 ≤ low ≤ high ≤ len(s)”的安全区间定义。
go 字符串切片 `s[low:]` 允许 `low` 等于字符串长度（而非必须小于），此时返回空字符串，符合语言规范中“0 ≤ low ≤ high ≤ len(s)”的安全区间定义。
在 Go 中，字符串切片（slice expression）的行为由语言规范严格定义，其边界检查逻辑与直接索引访问（如 s[i]）有本质区别。
✅ 切片表达式的合法范围
根据 Go 语言规范，对于字符串 s，切片 s[low:high]（或省略 high 的 s[low:]）是安全的（不 panic），当且仅当满足：
0 <= low <= high <= len(s)
注意：这里使用的是 ≤，而非
- low 可以等于 len(s)（即指向字符串末尾之后的“虚拟位置”）；
- 当 low == len(s) 时，high 必须也为 len(s)，结果为空字符串 ""；
- s[low:] 是语法糖，等价于 s[low:len(s)]。
以你的例子为例：
s := "J" // len(s) == 1 fmt.Println(s[1:]) // 等价于 s[1:1] → 满足 0 ≤ 1 ≤ 1 ≤ 1 → 合法，输出 ""
而 s[1] 直接索引访问则遵循不同规则：
✅ 合法索引范围是 0
❌ s[1] 超出该范围（1 >= len("J") == 1），因此触发 panic。
? 对比验证
package main
import "fmt"
func main() {
s := "Go"
fmt.Printf("len(s) = %d\n", len(s)) // 2
fmt.Println(s[0:]) // "Go" → s[0:2]
fmt.Println(s[1:]) // "o" → s[1:2]
fmt.Println(s[2:]) // "" → s[2:2] ✅ 合法
// fmt.Println(s[3:]) // panic: index out of range [3] with length 2 ❌
// 直接索引（对比）
// fmt.Println(s[2]) // panic: index out of range [2] with length 2 ❌
}⚠️ 注意事项
- 此规则同样适用于 []byte 和其他切片类型；
- s[:high] 等价于 s[0:high]，要求 0
- s[:] 等价于 s[0:len(s)]，始终安全；
- 尽管 s[len(s):] 合法，但过度依赖易降低代码可读性，建议在明确意图（如安全截断、空值兜底）时使用。
✅ 总结
Go 的切片设计将“空结果”视为一种有效状态而非错误，从而避免大量冗余的长度判断。理解 low
