为什么对只有一个元素的切片，从索引1开始截取不会报错？

在 go 语言中，切片是一种引用类型的复合数据结构，它允许开发者创建和处理数组的子集。切片使用索引范围来指定它的开始和结束位置，这两个索引都从 0 开始。

在题中提供的代码中，数组 arr 只包含一个元素，值为 7。切片 s 从索引 1 开始，这意味着它将包含一个空子切片。虽然这看起来可能不合理，但这是 go 语言语法允许的。

go 语言的切片使用 半开区间，这意味着结束索引不包含在切片中。因此，切片 s 实际上是空的，因为索引 1 不属于数组 arr。

为了理解这一点，我们举个类比。想象一个线段，其两端标记为 0 和 1。区间 [0, 1] 表示从 0 到 1 的闭区间，即包括 0 和 1。而区间 [0, 1) 表示半开区间，即从 0 到 1 不包括 1。

类似地，切片 s 的区间是 [1, 1)，这意味着它是一个从 1 开始到 1 结束但不包含 1 的空切片。

这种语法允许我们方便地创建空的切片。例如，以下代码会创建一个空的切片：

s := arr[:0]

这等效于：

s := arr[:2]

因为这两个切片的区间都是 [0, 2)。