Golang - 数组、切片、映射 初学者笔记
数组
类型
[n]T
表示拥有
n
个
T
类型的值的数组。
表达式
var a [10]int
会将变量
a
声明为拥有 10 个整数的数组。
数组的长度是其类型的一部分,因此数组不能改变大小。这看起来是个限制,不过没关系,Go 提供了更加便利的方式来使用数组。
切片
每个数组的大小都是固定的。而切片则为数组元素提供动态大小的、灵活的视角。在实践中,切片比数组更常用。
类型
[]T
表示一个元素类型为
T
的切片。
表达式
var s []int
切片通过两个下标来界定,即一个上界和一个下界,二者以冒号分隔:
a[low : high]
它会选择一个半开区间,包括第一个元素,但排除最后一个元素。
以下表达式创建了一个切片,它包含
a
中下标从 1 到 3 的元素:
a[1:4]
切片就像数组的引用
切片并不存储任何数据,它只是描述了底层数组中的一段。
更改切片的元素 会 修改其底层数组 中对应的元素。
与它 共享底层数组的切片 都会观测到这些修改。
切片文法
切片文法类似于没有长度的数组文法。
这是一个数组文法:
[3]bool{true, true, false}
下面这样则会创建一个和上面相同的数组,并且构建一个引用了它的切片:
[]bool{true, true, false}
切片的默认行为
在进行切片时,你可以利用它的默认行为来忽略上下界。
切片下界的默认值为
0
,上界则是该切片的长度。
对于数组
var a [10]int
来说,以下切片是等价的:
a[0:10]
a[:10]
a[0:]
a[:]
切片的长度与容量
切片拥有 长度 和 容量 。
切片的长度就是它所包含的元素个数。
切片的容量是从它的第一个元素开始数,到其底层数组元素末尾的个数。
切片
s
的长度和容量可通过表达式
len(s)
和
cap(s)
来获取。
你可以通过重新切片来扩展一个切片,给它提供足够的容量。试着修改示例程序中的切片操作,向外扩展它的容量,看看会发生什么。
nil 切片
切片的零值是
nil
。
nil 切片的长度和容量为 0 且没有底层数组。
用 make 创建切片
切片可以用内建函数
make
来创建,这也是你创建动态数组的方式。
make
函数会分配一个元素为零值的数组并返回一个引用了它的切片:
//a得到了一个切片,同时生成了一个对应的数组
a := make([]int, 5) // len(a)=5
要指定它的容量,需向
make
传入第三个参数:
b := make([]int, 0, 5) // len(b)=0, cap(b)=5
b = b[:cap(b)] // len(b)=5, cap(b)=5
b = b[1:] // len(b)=4, cap(b)=4
切片的切片
切片可包含任何类型,甚至包括其它的切片。
board := [][]string{
[]string{"_", "_", "_"},
[]string{"_", "_", "_"},
[]string{"_", "_", "_"},
}
向切片追加元素
为切片追加新的元素是种常用的操作,为此 Go 提供了内建的
append
函数。内建函数的
文档
对此函数有详细的介绍。
func append(s []T, vs ...T) []T
append
的第一个参数
s
是一个元素类型为
T
的切片,其余类型为
T
的值将会追加到该切片的末尾。
append
的结果是一个包含原切片所有元素加上新添加元素的切片。
当
s
的底层数组太小,不足以容纳所有给定的值时,它就会分配一个更大的数组。返回的切片会指向这个新分配的数组。
Range
for
循环的
range
形式可遍历切片或映射。
当使用
for
循环遍历切片时,每次迭代都会返回两个值。第一个值为当前元素的下标,第二个值为该下标所对应元素的一份副本。
range(续)
可以将下标或值赋予
_
来忽略它。
for i, _ := range pow
for _, value := range pow
若你只需要索引,忽略第二个变量即可。
for i := range pow
映射的文法
映射的文法与结构体相似,不过必须有键名。
type Vertex struct {
Lat, Long float64
var m = map[string]Vertex{
"Bell Labs": Vertex{
40.68433, -74.39967,
"Google": Vertex{
37.42202, -122.08408,
}
映射的文法(续)
若顶级类型只是一个类型名,你可以在文法的元素中省略它。
type Vertex struct {
sex, class float64