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

Answer 1

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

简而言之:问题不在于下限可以等于或大于len()(上限由cap()切片的情况决定).该问题是与较高的结合:它必须大于或等于下界.因为你没有指定上限,所以它默认为len()(而不是cap()!)0.并且1不小于或等于0.

规范:切片表达式:

对于数组或字符串,该指数是在范围内,如果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]