Go语言切片索引行为详解：单元素切片截取不报错的奥秘
Go语言切片是一种强大的动态数组结构，允许灵活地截取子切片。然而，针对单元素切片进行超出索引范围的截取操作却不会引发运行时错误，这常常令初学者困惑。本文将深入剖析这一现象。
让我们先看一段Go代码：
func main() {
arr := []int{7}
s := arr[1:]
fmt.Println(s) // 输出 []
}
这段代码定义了一个包含单个元素7的整数切片arr，随后尝试从索引1截取子切片，并将结果赋值给s。程序运行正常，输出一个空切片[]。这与我们通常理解的索引越界错误大相径庭。
立即学习“go语言免费学习笔记（深入）”；
Go语言切片的关键特性在于其半开区间表示法：[low:high)，其中low是起始索引（包含），high是结束索引（不包含）。
因此，arr[1:] 表示从索引1到切片末尾的子切片。由于arr只有一个元素，索引为0，索引1之后已无元素，所以s最终为空切片。
为了更清晰地说明，我们再来看一个包含多个元素的切片：
func main() {
arr := []int{7, 2}
s := arr[1:]
fmt.Println(s) // 输出 [2]
}
arr[1:] 从索引1开始截取，结果为[2]。 类似地，arr[2:] 也合法，它表示从索引2到切片末尾的子切片。如果索引超出范围，则返回空切片。
Go语言允许这种超出索引边界的截取方式，其主要目的是为了方便地获取空切片。若不允许此种写法，则获取空切片的操作将变得繁琐。 这种设计选择提升了语言的简洁性和实用性。
