在Golang中重新切片

Question

我最近学习了Go语言，现在对下面的代码感到困惑：

package main

import "fmt"

func main() {
    a := make([]int, 5)
    printSlice("a", a)
    b := make([]int, 0, 5)
    printSlice("b", b)
    c := b[:2]
    printSlice("c", c)
    d := c[2:5]
    printSlice("d", d)
}

func printSlice(s string, x []int) {
    fmt.Printf("%s len=%d cap=%d %v\n",
        s, len(x), cap(x), x)
}

结果：

a len=5 cap=5 [0 0 0 0 0]
b len=0 cap=5 []
c len=2 cap=5 [0 0] //why the capacity of c not 2 but 5 instead
d len=3 cap=3 [0 0 0]

Answer 1

c

是从数组

b

中取出的切片。这不是副本，而只是

b

的前 2 个元素的窗口。

由于

b

的容量为 5，因此

c

可以扩展以占据其他 3 个位置（事实上，它会创建一个新切片，但位于内存中的同一位置）。

切片的最大容量是底层数组的容量减去切片在数组中的起始位置：

 array : [0 0 0 0 0 0 0 0 0 0 0 0]
 array :  <----   capacity   --->
 slice :     [0 0 0 0]
 slice :      <---- capacity ---> 

也许这个程序会更清楚地表明 c 和 d 只是 b 上的窗口：

func main() {
    b := make([]int, 0, 5)
    c := b[:2]
    d := c[1:5] // this is equivalent to d := b[1:5]
    d[0] = 1
    printSlice("c", c)
    printSlice("d", d)
}

输出：

c len=2 cap=5 [0 1] // modifying d has modified c
d len=4 cap=4 [1 0 0 0] 

Answer 2

请注意，在 go 1.2 中（2013 年第 4 季度，1.2rc1 现已推出），您可以将切片关联到其自己的容量（而不是从底层数组推导出来的容量）。

参见“三索引切片”，以及设计文档。

切片操作通过描述已创建的数组或切片的连续部分来创建新切片：

var array [10]int
slice := array[2:4]

切片的容量是切片可以容纳的最大元素数量，即使在重新切片之后；它反映了底层数组的大小。
在本例中，切片变量的容量为 8。

（底层数组的容量减去数组中切片起始位置）

array : [0 0 0 0 0 0 0 0 0 0]
array :  <---- capacity --->
slice :     [0 0]
slice :      <--capacity --> 8 (10-2)

Go 1.2 添加了新语法，允许切片操作指定容量和长度。
第二个冒号引入容量值，该值必须小于或等于源切片或数组的容量，并根据原点进行调整。

举个例子，

slice = array[2:4:6]

array : [0 0 0 0 0 0 0 0 0 0]
array :  <---- capacity --->   10
slice :     [0 0]
slice :      <-cap->           4 (6-2)

将切片设置为与前面的示例具有相同的长度，但其容量现在只有 4 个元素 (6-2)。
不可能使用这个新的切片值来访问原始数组的最后四个元素。

主要论点是让程序员更好地控制

append

。

a[i : j : k]

那片有：

• 索引从0开始
• 长度等于

  j - i

• 容量等于

  k - i

如果

i <= j <= k <= cap(a)

不正确，评估会出现恐慌。