Go语言切片索引机制详解：单元素切片截取不越界的原因
Go语言中的切片是一种灵活的动态数组，其索引行为有时会与传统数组有所不同。本文将深入探讨Go语言切片索引的特性，特别是单元素切片截取为何不会引发越界错误。
考虑以下代码：
func main() {
arr := []int{7}
s := arr[1:]
fmt.Println(s) // 输出 []
}
这段代码定义了一个包含单个元素7的整型切片arr，并尝试从索引1截取一个新的切片s。直观来看，索引1超出了arr的有效范围（只有索引0），似乎应该报错。然而，程序输出的是一个空切片[]，并没有发生错误。
立即学习“go语言免费学习笔记（深入）”；
这是因为Go语言的切片采用半开区间表示法。[i:j]表示从索引i开始，到索引j之前的元素（不包含j）。因此，arr[1:]表示从索引1开始到切片末尾的所有元素。由于arr只有一个元素，索引1之后没有元素，所以结果为空切片。
这种行为与多元素切片的截取一致。例如：
func main() {
arr := []int{7, 2}
s := arr[:2] // 等同于 arr[0:2]
fmt.Println(s) // 输出 [7 2]
}
arr[:2]表示从索引0到索引2之前的元素，即包含索引0和1的元素7和2。
如果Go语言不允许从超出切片范围的索引开始截取，那么我们就无法方便地获取空切片。而空切片在许多场景下都是有用的，因此Go语言的设计是合理的。arr[1:]虽然看起来索引越界，但在Go语言的切片机制下，它被正确地解释为从索引1到结束的子切片，结果为空切片，这并非错误。 这种设计保证了切片操作的简洁性和灵活性。
