Go 中切片越界错误的根源与正确切片边界规则详解

先说说一个常见但容易踩坑的问题：Go 切片越界 panic 到底是怎么触发的？很多人搞不清 len() 和 cap() 在切片表达式中的真正角色，默认索引的取值规则也常常被忽略。这篇文章就来拆解清楚，并给出安全切片的实践方案。

Go 的切片操作看似简单，但边界规则确实容易让人栽跟头，尤其是当遇到那种长度为零、容量却非零的切片时。来看一个典型的例子：b := make([]int, 0, 5) 创建了一个长度为 0、容量为 5 的切片，紧接着执行 c := b[1:]，结果却直接 panic，提示 slice bounds out of range。

不少人的第一反应是：下界 1 是不是超出了容量？毕竟 cap(b) == 5，1 ≤ 5 明明是合法的啊。问题其实出在 Go 切片表达式的隐式上界规则上：当高索引（high）省略时，默认取的是被切片对象的 len()，而不是 cap()。

根据 Go 语言规范，对切片 a 执行 a[low:high] 时，索引必须满足：

0 ≤ low ≤ high ≤ cap(a)

注意，这里的上界约束是 cap(a)，而不是 len(a)——这是数组、字符串和切片的关键区别。但规范同时还明确规定了另一条：“省略高索引时，默认取被切片操作数的长度。” 所以 b[1:] 等价于 b[1:len(b)]，而 len(b) == 0，实际计算变成 b[1:0]。此时 low=1，high=0，违反了 low ≤ high 的条件，运行时自然 panic。

那正确的做法是什么？显式指定一个合法的高索引，确保 1 ≤ high ≤ cap(b)（也就是 1 ≤ high ≤ 5）：

package main

import "fmt"

func main() {
    b := make([]int, 0, 5)
    printSlice("b", b) // b len=0 cap=5 []

    // ✅ 合法：high == low → 空切片，底层数组从索引1开始，容量为 cap(b)-low = 4
    c1 := b[1:1]
    printSlice("c1", c1) // c1 len=0 cap=4 []

    // ✅ 合法：取1个元素（索引1处的零值）
    c2 := b[1:2]
    printSlice("c2", c2) // c2 len=1 cap=4 [0]

    // ✅ 合法：取从索引1到容量末尾的所有可用空间
    c3 := b[1:cap(b)]
    printSlice("c3", c3) // c3 len=4 cap=4 [0 0 0 0]
}

func printSlice(s string, x []int) {
    fmt.Printf("%s len=%d cap=%d %v\n", s, len(x), cap(x), x)
}

⚠️ 有几个关键点需要特别留意：

• 切片的下界（low）可以等于甚至大于 len()，只要 ≤ cap() 就行，因为切片可以指向底层数组中尚未被 len 覆盖的区域；
• 上界（high）必须 ≥ low，且 ≤ cap()；省略时自动取 len()，这是最容易踩坑的地方；
• 对 len==0 的切片，[:] 等价于 [0:0]（安全），但 [1:] 等价于 [1:0]（非法）；
• 实际开发中，如果确实需要基于容量扩展切片，建议用 append() 或显式的 make() 配合 copy()，而不是依赖高风险的越 len 切片操作。

理解了这套机制，不仅能有效避免 panic，还能更精准地控制内存复用和切片生长行为，写出更健壮、高效的 Go 代码。