切片索引大于长度且小于容量会产生错误

Question

以下代码在运行时出现错误。

package main

import fmt "fmt"

func main(){

    type b []int
    var k = make([]b, 5, 10)
    fmt.Printf("%d\n",k[8])
    fmt.Printf("%d", len(k))
}

错误如下。

panic: runtime error: index out of range

runtime.panic+0x9e /go/src/pkg/runtime/proc.c:1060
        runtime.panic(0x453b00, 0x300203f0)
runtime.panicstring+0x94 /go/src/pkg/runtime/runtime.c:116
        runtime.panicstring(0x4af6c6, 0xc)
runtime.panicindex+0x26 /go/src/pkg/runtime/runtime.c:73
        runtime.panicindex()
main.main+0x8d C:/GOEXCE~1/basics/DATATY~1/slice.go:9
        main.main()
runtime.mainstart+0xf 386/asm.s:93
        runtime.mainstart()
runtime.goexit /go/src/pkg/runtime/proc.c:178
        runtime.goexit()
----- goroutine created by -----
_rt0_386+0xbf 386/asm.s:80

如果打印 k[0] 或 k[1] ，则运行正常。您能否解释一下容量对于切片到底意味着什么？

Answer 1

您只是简单地建立索引，因此索引必须小于长度。 Go 规范的相关部分 指出

形式的主要表达式

一个[x]

...

对于类型 A 或 *A（其中 A 是数组类型）的 a，或者对于类型 S 的 a
其中 S 是切片类型：

x 必须是整数值且 0 <= x <长度(a)

但是，如果您要“切片”（例如 a[6:9]），那么它将适用于大于长度但在容量范围内的索引。

Answer 2

var slice = make([]b, 5, 10)

等于

var array [10]b
slice := array[:5]

不同的是，当使用var slice = make([]b, 5, 10)时，无法访问slice下的array。 slice := array[:5] 表示 slice 的第一个元素是 array[0] 并且 slice< 的长度/code> 是 5，这意味着 slice[0] == array[0], slice[1] == array[1], ... slice[4] == array[4] 。因为你只能访问小于长度的索引（这意味着0 <=索引<长度）。 slice的长度为5，array的长度为10，因此可以访问array[8](0<=8<10 ) 但无法访问 slice[8](8>5)。

完整示例：

package main

import fmt "fmt"

func main(){

    type b []int
    var array [10]b
    slice := array[:5]
    // []
    fmt.Printf("%d\n",slice[1])
    // []
    fmt.Printf("%d\n",array[8])
    // panic: runtime error: index out of range
    fmt.Printf("%d\n",slice[8])
}

参考

1. https://blog.golang.org/go-slices-使用和内部