为什么 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)&nbsp;包括（或cap(a)在在这种情况下具有相同的值的切片的情况下）。这就是为什么a[3:]在你的情况下不恐慌。但它当然会产生一个空切片，因为：a[low&nbsp;:&nbsp;high]意味着结果的索引从 at 开始，0长度等于high - lowand 由于high被省略，它默认为len(a)so&nbsp;len(a) - len(a) = 0。而且（根据规范）使用索引> len(a)&nbsp;将超出范围，因此会导致运行时恐慌：如果索引在运行时超出范围，则会发生运行时恐慌。

Answer 2

a[3:] 构建一个空切片，它就像一个空数组一样，是一个有效且有用的对象（在所有语言中，不仅仅是在 Go 中）。空切片也仍然指向底层数组、位置和容量，有时可以扩展：a := []int{1, 2, 3}emptySlice := a[1:1]fmt.Println(emptySlice) // []notEmpty := emptySlice[0:2]fmt.Println(notEmpty)&nbsp; &nbsp;// [2 3]另一方面，具有负长度的切片是不一致的。它没有任何意义，因此被禁止。

Answer 3

因为在切片中有0元素 ( 3-3) 是完全有效的。但是有-1元素 ( 3-4) 不是。这种行为也与其他语言一致。例如，Java：System.out.println(Arrays.asList(1, 2, 3).subList(0, 3));System.out.println(Arrays.asList(1, 2, 3).subList(1, 3));System.out.println(Arrays.asList(1, 2, 3).subList(2, 3));System.out.println(Arrays.asList(1, 2, 3).subList(3, 3));System.out.println(Arrays.asList(1, 2, 3).subList(4, 3));只有最后一个语句失败。