Golang 子切片

Question

在 Go 中，为什么这段代码有效：

package main

import (

  "fmt"

)

func main() {

  a := []int{1}

  a = a[1:]

  fmt.Println(len(a))

}

但这不是：

package main

import (

  "fmt"

)

func main() {

  a := []int{1}

  a = a[2:]

  fmt.Println(len(a))

}

我听说过切片的容量，有人可以详细说明吗？

Answer 1

Go 规范包含两个问题的答案：切片表达式切片表达式从字符串、数组、指向数组的指针或切片构造子字符串或切片。有两种变体：一种是指定上限和下限的简单形式，另一种是指定容量界限的完整形式。简单的切片表达式[片段]对于数组或字符串，索引在范围内if&nbsp;0 <= low <= high <= len(a)，否则超出范围。由于len(a)is&nbsp;1，索引 1 在范围内，但索引 2 超出范围。全切片表达式对于数组、指向数组的指针或切片a（但不是字符串），主表达式a[low&nbsp;:&nbsp;high&nbsp;:&nbsp;max]构造一个与简单切片表达式具有相同类型、长度和元素的切片a[low : high]。此外，它通过将结果切片设置为 来控制结果切片的容量max - low。只有第一个索引可以省略；它默认为 0. ...阅读整个规范。它可能会有点慢，但不会那么长。没有必要全部记住，但是通过一次完整的事情，你应该能够记住你在某个地方读过它，然后回去找到你要找的东西。

Answer 2

切片的容量总是至少与切片的长度相同。未指定时，默认值始终与长度相同。切片长度的定义是设置到切片中的元素个数。切片容量的定义是切片可以提供的所有块，这些块对调用者是隐藏的，默认值为空（0 表示 int，“”表示字符串）。当您像这样调用某个索引a[x]的值时，它将在 indexx的范围内获取值length。但是，当您像这样重新切片切片时a[x:y]，它将在容量x范围内的索引处获得切片，直到 y（最大值必须与容量相同）。因此，作为切片的调用者，您可以在整个切片结构中获取切片的隐藏元素，默认值为空。如果您没有像上面那样指定重新切片（y）的结束 -> a[2:]，那么重新切片的默认结束将设置为lenght，这使您的调用a[2:]暗示a[2:1]自slice 的长度为 1。想想看，调用 的子切片a[2:1]，会发生什么？正如错误消息告诉我们的那样：恐慌：运行时错误：切片超出范围 [2:1]因为您正在从甚至不在容量范围内的索引中调用子切片（它本身的切片的整个结构）。即使 2 在 slice 的容量范围内，您的调用也会重叠，因为起始索引大于容量。总结一下：如果你像这样调用 sub-slice -> a[x:] 那么 x 必须在长度范围内（包括）如果你像这样调用 sub-slice -> a[:y] 那么 y 必须在容量范围内（包括）如果你像这样调用 sub-slice -> a[x:y] 那么 x 和 y 必须在容量（包括）和 x<=y 的范围内。