Go语言切片索引的特殊行为：越界访问不报错
Go语言切片是一种灵活的动态数组，其索引机制有时会让开发者感到困惑。本文将解释一个特殊的切片索引场景：当切片只有一个元素时，从索引1开始截取，为什么不会报错？
让我们看一段代码：
func main() {
arr := []int{7}
s := arr[1:]
fmt.Println(s) // 输出 []
}
这段代码定义了一个包含单个元素7的整数切片arr，然后尝试从索引1开始截取切片，赋值给s。直觉上，索引1越界了，应该报错。然而，程序正常运行并输出空切片[]。这是因为Go语言切片采用半开区间表示法。
立即学习“go语言免费学习笔记（深入）”；
Go语言切片使用[start:end]表示法，其中start是起始索引（包含），end是结束索引（不包含）。因此，arr[1:]表示从索引1到切片末尾的所有元素。当切片只有一个元素时，索引1已超出范围，返回的子切片为空，而不是报错。
对比一下：
func main() {
arr := []int{7, 2}
s := arr[:2]
fmt.Println(s) // 输出 [7 2]
s = arr[2:]
fmt.Println(s) // 输出 []
}
arr[:2]表示从索引0到2（不包含2），输出[7 2]。arr[2:]表示从索引2到末尾，输出空切片[]。
Go语言允许切片索引越界，但不会引发运行时错误，而是返回空切片。这种设计简化了代码，避免了显式检查切片长度的冗余操作，也方便了空切片的创建。 如果禁止这种索引方式，获取空切片将变得更加复杂。
