切片下标诡异现象：从索引1开始竟然不报错

在使用切片时，或许你曾遇到过这样的一个问题，在只有一个元素的切片中，从索引1开始截取却并未报错。例如：

func main() {
    arr := []int{7}
    s := arr[1:]
    fmt.println(s)
}

按照常规理解，对只有一个元素的切片从索引1开始截取应该产生越界报错，但实际运行这段代码，你会发现它并不会报错。

原因探究：半开区间

看似不合常理的现象背后其实隐藏着切片的底层机制。切片在go语言中被定义为半开区间，这意味着它的下界是包含在内，而上界是不包含在内的。

在我们的例子中，切片arr[1:]的含义是：从索引1（包括）到末尾（不包括）的元素。而只有一个元素的切片，其上下界相同，因此arr[1:]实际上等价于arr[1:1]，这是一个空的切片，是允许创建的。

意义与举一反三

go语言采用半开区间的设计有一定的实用意义。它允许我们轻松创建空的切片，而这在许多场景中都很有用。例如：

func main() {
    arr := []int{7, 2}
    s := arr[:2]
    fmt.Println(s)
}

// 输出：[7, 2]

从切片arr中截取从索引0到索引2的元素，会包含索引0和索引1处的元素，也就是[7, 2]。而如果我们写成arr[2:]，则是从索引2开始截取，此时会得到一个空的切片。

以上就是Go 切片下标1开始切片为何不会报错？的详细内容，更多请关注php中文网其它相关文章！