为什么在这种情况下go不会报告“切片边界超出范围”？

Question

这是要重现的代码：

package main

import "fmt"

func main() {
    var v []int
    v = append(v,1)
    v = append(v,v[1:]...)
    fmt.Println("hi", v)

}

v[1]会报告index out of range，但v[1:]...不会，为什么？

Answer 1

这就是spec定义slice表达式的方式

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

https://golang.org/ref/spec#Slice_expressions

这就是切片的索引表达式的定义方式

如果0 <= x <len（a），则索引x处于范围内，否则超出范围

如果x在运行时超出范围，则会发生运行时恐慌

https://golang.org/ref/spec#Index_expressions

例如：

v[1]恐慌，因为它属于上述定义的范围（因为1不符合0 <= x < len(a)要求）

v[1:]可以正常运行，因为它与要求相同v[1:len(v)]并且符合if 0 <= low <= high <= cap(a)要求。