Go 中切片越界错误的根源与正确切片边界规则详解-Golang-PHP中文网

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

本文深入解析 Go 语言中切片（slice）越界 panic 的根本原因，明确区分 len() 与 cap() 在切片表达式中的不同作用，指出缺失高索引时默认值为长度而非容量，并给出安全切片的实践方案。

本文深入解析 go 语言中切片（slice）越界 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 语言规范，对 slice a 执行 a[low:high] 时，索引必须满足：

0 ≤ low ≤ high ≤ cap(a)

注意：此处的上界约束是 cap(a)，而非 len(a) —— 这是数组/字符串与切片的关键区别。但规范同时明确规定：“A missing high index defaults to the length of the sliced operand.”
因此，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）：

使用Go语言搭建家庭相册系统-相关课件

下载

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)
}

⚠️ 关键注意事项：