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切片的切片表达式会导致错误？

Answer 1

前言：问题是好的，downvotes的来源是因为乍一看这个问题看起来好像提问者在切片时根本不知道有效边界是什么。但这种情况并不常见！很少有人以一种方式切片，即使下限超出切片的长度！

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

Spec: Slice expressions:

对于数组或字符串，如果0 <= low <= high <= len(a)，则索引在范围中，否则它们超出范围。对于切片，上部索引边界是切片容量cap(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]

切片：Go

1 个答案: