#《Go 语音圣经（中文版）》

#复合数据类型

#slice

slice代表变长的序列，序列中每个元素都有相同的类型。

slice的底层确实引用一个数组对象。

一个slice由三个部分构成：指针、长度和容量。指针指向第一个slice元素对应的底层数组元素的地址[1]，长度对应slice中元素的数目，长度不能超过容量，容量一般是从slice的开始位置到底层数据的结尾位置，内置的len和cap函数分别返回slice的长度和容量。

多个slice之间可以共享底层的数据，并且引用的数组部分区间可能重叠。

如果切片操作超出cap(s)的上限将导致一个panic异常，但是超出len(s)则是意味着扩展了slice，因为新slice的长度会变大。

因为slice值包含指向第一个slice元素的指针，因此向函数传递slice将允许在函数内部修改底层数组的元素。复制一个slice只是对底层的数组创建了一个新的slice别名。

slice之间不能比较，不能使用==操作符来判断两个slice是否含有全部相等元素。

一个slice的元素是间接引用的，一个slice甚至可以包含自身。一个固定的slice值在不同的时刻可能包含不同的元素，因为底层数组的元素可能会被修改。

slice唯一合法的比较操作是和nil比较，一个零值的slice等于nil。一个nil值的slice并没有底层数组。一个nil值的slice的长度和容量都是0，但是也有非nil值的slice的长度和容量也是0的。

len(s) == 0用来测试一个slice是否为空。

除了文档已经明确说明的地方，所有的Go语言函数应该以相同的方式对待nil值的slice和0长度的slice。[2]

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
// -------------------------------------------
// Created By : Onns onns@onns.xyz
// File Name : 4.2.go
// Purpose :
// Creation Date : 2021-04-16 13:39:25
// Last Modified : 2021-04-16 13:45:08
// -------------------------------------------

package main

import "fmt"

func main() {
	var s []int
	fmt.Printf("%d %t\n", len(s), s == nil)
	s = nil
	fmt.Printf("%d %t\n", len(s), s == nil)
	s = []int(nil)
	fmt.Printf("%d %t\n", len(s), s == nil)
	s = []int{}
	fmt.Printf("%d %t\n", len(s), s == nil)

}
1
2
3
4
5
$ go run 4.2.go
0 true
0 true
0 true
0 false

内置的make函数创建一个指定元素类型、长度和容量的slice，容量部分可以省略，在这种情况下，容量将等于长度。

在底层，make创建了一个匿名的数组变量，然后返回一个slice。只有通过返回的slice才能引用底层匿名的数组变量。

内置的append函数用于向slice追加元素。

要正确地使用slice，需要记住尽管底层数组的元素是间接访问的，但是slice对应结构体本身的指针、长度和容量部分是直接访问的。

copy函数的第一个参数是要复制的目标slice，第二个参数是源slice，目标和源的位置顺序和dst = src赋值语句是一致的。[3]

134/483

  1. slice的第一个元素并不一定就是数组的第一个元素。 ↩︎

  2. 这句话完全没理解，这是干啥的？ ↩︎

  3. 和其它语言的copy(from,to)不太一样。 ↩︎