golang：为什么以下代码不会因 "slice index out of range" 错误而恐慌

Question

package main

import "fmt"

type Point struct {
        X int
        Y int
}

type Points struct {
    P []Point
}

func main() {
    data := Points{}
    for i := 0; i < 10; i++ {
        data.P = append(data.P, Point{
            X: i,
            Y: i*2,
        })
    }
    fmt.Printf("%+v\n", data.P[5:11]);
}

虽然上面的程序是运行，但是打印出来的是：

[{X:5 Y:10} {X:6 Y:12} {X:7 Y:14} {X:8 Y:16} {X:9 Y:18} {X:0 Y:0}]

为什么有 {X:0, Y:0} 似乎是自动生成的，因为切片的长度是 10 但我试图得到 5:11?

我在我的代码中发现了问题并使用 "raw" 切片进行了测试，例如：

package main

import "fmt"

func main() {
    v := []int{0,1,2,3,4,5,6,7,8,9}
    fmt.Printf("%v\n", v[5:11])
}

这个简单的程序会产生错误（正如预期的那样）：

panic: runtime error: slice bounds out of range

goroutine 1 [running]:
panic(0x47a8e0, 0xc42000a130)
        /usr/local/go/src/runtime/panic.go:500 +0x1a1
main.main()
        /home/fxr/go/src/cmhwc/test2.go:7 +0x53
exit status 2

为什么第一个程序不死机？

Answer 1

因为当您使用 append() 将元素添加到没有更多空间添加新元素的切片时，它会创建一个新的切片，使其容量增加一倍，复制旧元素以及您要求的新元素添加并返回对此的引用。进一步向下，当您使用切片语法来请求超过切片明显末端的元素时，长度实际上应用于由追加创建和返回的基础数组。

正如@JimB 在评论中建议的那样，您可以添加一条语句来在附加循环的每一步打印容量以查看发生的情况：

fmt.Println(cap(data.P))

应该生成如下内容：

golang：为什么以下代码不会因 "slice index out of range" 错误而恐慌

golang: Why the following code does NOT panic with "slice index out of range" error

go

slice