切片：Go 中的越界错误

在 Go 中，切片涉及提取现有切片的一部分以创建新切片片。当切片过程中出现越界错误时，表明指定范围超出了源切片的有效索引边界。

考虑以下代码片段：

a := make([]int, 5)
printSlice("a", a)
b := make([]int, 0, 5)
printSlice("b", b)
c := b[1:]
printSlice("c", c)

}

func printSlice(s string, x []int) {

fmt.Printf("%s len=%d cap=%d %v\n",
    s, len(x), cap(x), x)

}

运行此代码会导致越界错误：

a len=5 cap=5 [0 0 0 0 0]
b len=0 cap=5 []
panic: runtime error: slice bounds out of range

goroutine 1 [running]:
main.main()
   /private/var/folders/q_/53gv6r4s0y5f50v9p26qhs3h00911v/T/compile117.go:10  0x150

要理解为什么会出现这个错误，我们需要深入研究 Go 中的切片规则。

切片规则

对切片或数组进行切片时，指定的索引可以是显式的，也可以是隐式的。如果未明确提供索引，则它默认为特定值。对于切片：

• 缺少下限默认为 0。
• 缺少上限默认为 len(slice)（不是 cap(slice)）。

在给定的代码中，发生错误是因为创建 c 切片的切片表达式is:

c := b[1:]

这意味着显式指定了下限 (1)，但未明确指定上限。因此，它默认为 len(b)，即 0。但是，指定的下限 (1) 必须 小于或等于 上限 (0)。不满足此条件，导致越界错误。

要避免此错误，可以显式指定下限和上限。例如，要从 b 切片中仅提取第二个元素，您可以编写：

c := b[1:2] // c len=1 cap=4 [0]

或者，如果要从第二个元素开始提取整个 b 切片，可以使用：

c := b[1:cap(b)] // c len=4 cap=4 [0 0 0 0]