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

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

这就是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)

要求。