Go 字符串切片 s[low:] 允许 low == len(s)，此时返回空字符串而非 panic；仅当 low > len(s) 才触发索引越界错误，这与单个字符访问 s[i] 的严格检查机制不同。

go 字符串切片 `s[low:]` 允许 `low == len(s)`，此时返回空字符串而非 panic；仅当 `low > len(s)` 才触发索引越界错误，这与单个字符访问 `s[i]` 的严格检查机制不同。

在 Go 中，字符串切片（slice expression）的索引合法性判定遵循明确的语言规范：对于表达式 s[low:high]（包括省略 high 的 s[low:] 形式），只要满足 0 ；否则运行时触发 panic: index out of range。

以示例代码为例：

s := "J" // len(s) == 1
fmt.Println(s[1:]) // ✅ 合法：low = 1, high 默认为 len(s) = 1 → 0 <p>此处 s[1:] 等价于 s[1:1]，表示从索引 1 开始、到索引 1 结束的子串——这是一个长度为 0 的有效区间，因此结果为空字符串 ""，不 panic。</p><p>而 s[1] 是<strong>单个字节访问</strong>（不是切片），其要求是 0 </p><p>⚠️ 注意事项：</p>

• 切片操作的“上界包容性”仅适用于 high 的默认值（即 len(s)），不适用于 low：s[2:] 在 len(s)==1 时仍会 panic（因 2 > 1，违反 low
• 此规则同样适用于字节数组、切片等，是 Go 统一的切片语义；
• 实际开发中可安全使用 s[i:] 做边界容错处理（如 if i

总结：Go 的切片设计将 [i:] 视为“从位置 i 开始取剩余全部内容”，而当 i == len(s) 时，“剩余内容”自然为空——这是一种有意为之的安全语法糖，提升了字符串处理的健壮性与简洁性。