切片：Go语言中的越界错误

Question

package main

import "fmt"

func main() {
    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

为什么使用切片表达式创建 c 切片会导致错误？

- Loki

Answer 1

简而言之：问题不在于下限，下限可以等于或大于len()（上限在切片的情况下由cap()决定）。问题在于上界：它必须大于或等于下界。由于您没有指定上界，默认值为len()（而不是cap()！），它的值为0。因此，1不小于或等于0。

规范: 切片表达式:

对于数组或字符串，如果 0 <= low <= high <= len(a)，索引就在范围内，否则它们就超出范围。对于切片，上限索引是切片容量cap(a)而不是长度len(a)。

由于您正在对一个切片进行切片，因此索引在以下情况下处于范围内：

0 <= low <= high <= cap(a)

所以这一行：

c := b[1:]

是无效的，因为:

缺少下标默认为零; 缺少高下标默认为切片操作数的长度。

所以在您的情况下，low = 1，high = 0（隐式），这不满足：

0 <= low <= high <= cap(a)

例如，以下表达式是有效的：

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

- icza

---

问题变得更加棘手，因为如果您使用非文字表达式（请参见https://go.dev/play/p/Yv5EX1QNRD-），那么编译器不会警告较低>较高。在运行时，这种关于切片的不合规性会转化为恐慌。隐含地，表达式`b [1：]使用非文字表达式（icza突出显示的len（b）`）作为上限，最终导致了恐慌。只是为了补充。 - Victor