Go语言切片索引的特殊行为：越界访问不报错

Go语言切片是一种灵活的动态数组，其索引机制有时会让开发者感到困惑。本文将解释一个特殊的切片索引场景：当切片只有一个元素时，从索引1开始截取，为什么不会报错？

让我们看一段代码：

func main() {
    arr := []int{7}
    s := arr[1:]
    fmt.Println(s) // 输出 []
}

这段代码定义了一个包含单个元素7的整数切片arr，然后尝试从索引1开始截取切片，赋值给s。直觉上，索引1越界了，应该报错。然而，程序正常运行并输出空切片[]。这是因为Go语言切片采用半开区间表示法。

立即学习“go语言免费学习笔记（深入）”；

Go语言（Golang）1.26.0

Go语言（Golang）1.26.0版本官方下载，版本号 1.26.0，适合旧项目维护、兼容性测试和指定版本开发环境搭建。

下载

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语言允许切片索引越界，但不会引发运行时错误，而是返回空切片。这种设计简化了代码，避免了显式检查切片长度的冗余操作，也方便了空切片的创建。 如果禁止这种索引方式，获取空切片将变得更加复杂。