为什么 go 允许从 len(slice) 切片？

Question

为什么会出现以下行为：

a := []int{1, 2, 3}
fmt.Println(a[0:])
fmt.Println(a[1:])
fmt.Println(a[2:])
fmt.Println(a[3:])// doesn't panic - why??
fmt.Println(a[4:])// panics as expected

可执行示例

Answer 1

引用规范：切片表达式：

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

所以本说明书中允许使用指数高达len(a)底层的阵列，len(a) 包括（或cap(a)在在这种情况下具有相同的值的切片的情况下）。这就是为什么a[3:]在你的情况下不恐慌。

但它当然会产生一个空切片，因为：

a[low : high]

意味着结果的索引从 at 开始，0长度等于high - lowand 由于high被省略，它默认为len(a)so len(a) - len(a) = 0。

而且（根据规范）使用索引> len(a) 将超出范围，因此会导致运行时恐慌：

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