本文学习Go语言数据容器、包括数组、切片和映射。

数组

数组是一个数据集合，常用于存储用数字索引的同类型数据。Go语言的数组调用函数时使用的是值传递，因此形参会拷贝一份实参的值。

在Go语言中，声明数组需要同时指定长度和数据类型，数组长度是其类型的一部分，因此[5]int和[1]int是两种类型。

Go语言可以对数组进行写入、读取、删除、遍历等操作。

package main

import "fmt"

func main() {
    // 声明数组并指明长度，不初始化，因此a的5个元素为int类型的零值（0）
    var a [5]int
    // 声明数组并指明长度，并初始化4个元素，因此b的最后1个元素为int类型零值（0）
    var b = [5]int{1, 2, 3, 4}
    // 声明数组，不指明长度，编译器会根据值数量推导长度为4
    var c = [...]int{1, 2, 3, 4}
    // 数组写入
    a[0] = 0
    a[1] = 1
    // 数组读取
    fmt.Printf("a[0]=%d\n", a[0])
    // 数组删除（赋零值）
    a[0] = 0
    // 数组的遍历
    for index, value := range c {
        fmt.Printf("c[%d]=%d\n", index, value)
    }
    // 输出b
    fmt.Printf("b=%v\n", b)
}

切片

使用切片

在Go语言中，数组是一个重要的类型，但是使用切片的情况更多。切片是底层数组中的一个连续片段，因此数组支持的特性切片也全部支持，必须顺序遍历、通过索引访问元素等等。

为何使用切片的情况更多呢？主要是因为Go语言的数组不支持自动扩容，而且不支持删除元素，更重要的是Go语言数组是值类型，切片是引用类型，在向函数传参时切片拥有更好的性能。

package main

import "fmt"

func main() {
    // 声明一个大小为0的int类型切片
    var a = make([]int, 0)
    // 添加三个元素
    a = append(a, 1, 2, 3)
    fmt.Println(a)
    // 遍历元素
    for index, value := range a {
        fmt.Printf("a[%d]=%d\n", index, value)
    }
    // 声明一个大小为4的切片
    var b = make([]int, 4)
    // 将a的元素复制到b
    copy(b, a)
    // 删除指定下标的元素
    a = append(a[:1], a[2:]...)
    fmt.Printf("a=%v\n", a)
    fmt.Printf("b=%v\n", b)
    // 使用值初始化切片
    var c = []int{1, 2, 3, 4}
    fmt.Printf("c=%v\n", c)
    // 只定义，不初始化切片
    var d []int
    d = append(d, 1, 2, 3)
    fmt.Printf("d=%v\n", d)
}

声明切片可以不使用make初始化，append也不会报错。

运行时结构

切片运行时结构如下：

type slice struct {
    array unsafe.Pointer
    len   int
    cap   int
}

1. array是底层数组
2. len是数组大小，可以通过len函数获取
3. cap是数组容量，可以通过cap函数获取

make函数创建切片有两种写法：

make([]int, 0) // 1
make([]int, 0, 8) // 2

1. 声明了一个长度为0的切片，此时len为0，cap也为0
2. 声明一个长度为0，容量为8的切片，此时len为0，cap为8

追加元素

Go语言提供append函数追加元素到切片中，append会在必要时扩容底层数组。扩容规则如下：

1. 新容量小于1024时，每次扩容2倍。例如现有容量为2，扩容后为4
2. 新容量大于1024时，每次扩容1.25倍。例如现有容量为1024，扩容后为1280

package main

import "fmt"

func main() {
    // 直接使用值初始化切片
    var a = []int{1, 2, 3, 4, 5}
    a = append(a, 6, 7)
    var b = []int{9, 10}
    // 追加b的全部元素到a
    a = append(a, b...)
    fmt.Printf("a=%v\n", a)
    fmt.Printf("b=%v\n", b)
}

范围操作符

切片支持取范围操作，新切片和原切片共享底层数组，因此对切片的修改会同时影响两个切片。

范围操作符语法如下：a[begin:end]，左闭右开区间。因此a[1:10]包含a切片索引为1~9的元素。

package main

import "fmt"

func main() {
    // 直接使用值初始化切片
    var a = []int{1, 2, 3, 4, 5, 6, 7, 8, 9, 10}
    var b = a[1:10]
    fmt.Println(b)
    // 修改新切片元素
    b[0] = 11
    fmt.Println(a)
    fmt.Println(b)
}

可以看到修改b索引为0的元素为11之后，a切片也同时受到影响。

范围操作符的切片这一点在编程中要特别注意！

删除元素

利用范围操作符和append函数可以删除指定的切片元素。

package main

import "fmt"

func main() {
    // 直接使用值初始化切片
    var a = []int{1, 2, 3, 4, 5}
    // 删除第2个元素
    a = append(a[:1], a[2:]...)
    fmt.Println(a)
    // 删除第2、3个元素
    a = []int{1, 2, 3, 4, 5}
    a = append(a[:1], a[3:]...)
    fmt.Println(a)
}

复制元素

通过copy函数可以复制切片的全部或部分元素。在复制切片之前，需要声明好目标切片并设置len。

len必须大于0，否则将不会复制任何元素。

package main

import "fmt"

func main() {
    // 直接使用值初始化切片
    var a = []int{1, 2, 3, 4, 5, 6, 7, 8, 9, 10}
    var b = make([]int, 0, 8)
    copy(b, a)
    fmt.Println(b)
    var c = make([]int, 8)
    copy(c, a[9:10])
    fmt.Println(c)
}

程序输出如下：

[]
[10 0 0 0 0 0 0 0]

可以看到切片b没有任何值，切片c成功复制了a的最后一个元素。

映射

映射也叫字典、哈希表，数组和切片是通过数字索引访问的顺序集合，而映射是通过键来访问的无序集合。映射在查找方面非常高效，有着O(1)的时间复杂度，是非常常用的数据结构。

使用映射

映射必须初始化之后才能使用，这一点和切片不同。

package main

import "fmt"

func main() {
    // 使用make初始化映射
    var a = make(map[string]int)
    a["zhangsan"] = 18
    a["lisi"] = 28
    fmt.Printf("a=%v\n", a)
    // 使用值初始化映射
    var b = map[string]int{
        "zhangsan": 18,
        "lisi":     28,
    }
    fmt.Printf("b=%v\n", b)
    // 遍历映射
    for key, value := range b {
        fmt.Printf("%s=%d\n", key, value)
    }
}

下面是未初始化映射的使用

package main

import "fmt"

func main() {
    var a map[string]int
    a["zhangsan"] = 1
    for k, v := range a {
        fmt.Printf("%s=%d\n", k, v)
    }
}

该程序会产生运行时错误：

panic: assignment to entry in nil map
goroutine 1 [running]:
main.main()
/Users/example/go/src/go-microservice-inaction/src/2.1/main.go:7 +0x5d

运行时结构

映射的运行时结构如下：

type hmap struct {
    count      int
    flags      uint8
    B          uint8
    noverflow  uint16
    hash0      uint32
    buckets    unsafe.Pointer
    oldbuckets unsafe.Pointer
    nevacuate  uintptr
    extra      *mapextra
}

部分字段说明如下：

1. count是目前映射的键值对数量
2. B是映射的容量，对数。例如B为8，则映射容量为28=256
3. buckets中存储具体的键值对
4. oldbuckets在扩容中会使用到
5. nevacuate 扩容进度指示器

当装载因子超过6.5时，映射将发生扩容操作。装载因子计算公式：count/2B。例如当前为为166，此时装载因子为166/28=0.6484375，继续插入元素时，装载因子变为167/28= 0.65234375，此时会触发自动扩容。

每次扩容会增加1倍的空间，同时会对已存在的键值对进行渐进式迁移（一次迁移一小部分）。

添加元素

Go语言映射添加元素和其他语言类似，使用[]语法即可。

var m = make(map[string]int)
m["name"] = 18

添加元素时运行时会自动处理扩容和键值对迁移，无需用户程序关心。

删除元素

要从映射中删除元素，需要使用delete函数。

var m = map[string]int{
  "zhangsan":18,
}
delete(m, "zhangsan") 

小结

本章介绍了Go语言常用的数据容器，其中对切片和映射的底层原理进行了简单介绍。Go语言通过内置切片和映射解决了C语言需要手动实现这两种常用数据结构的问题，提高了开发效率。在下一章将介绍Go语言的函数。