Go容器：数组(array)

0 前言

变量在一定程度上能满足函数及代码的要求。如果编写一些复杂算法、数据结构和逻辑，就需要更复杂的类型来实现。这类复杂类型一般情况下具有各种形式的存储和处理数据的功能，将它们称为“容器”。

1 数组概念

数组是一段固定长度的连续内存空间，由若干相同数据类型的元素组成的序列。

在Go语言中，数组的大小在声明时就固定下来，使用时可以修改数组的元素，但是数组大小不可变化。

 1.1 声明数组

Go语言数组声明格式如下：

var 数组名 [数组长度]T

//示例
var arr [3]int  //声明一个有3个整型的数组，数组元素默认值为0

<说明> 默认情况下，一个新数组中的元素初始值为元素类型的零值。对于数字类型来说，就是0。 数组的索引下标是从0开始的。

1.2 数组初始化

数组可以在声明的同时进行初始化设置。示例代码如下：

var team [3]string = {"hammer, soldier", "mum"}

这个确定数组大小的过程也可以交给编译器去做，让编译器在编译时，根据元素个数确定数组的大小。

var team = [...]{"hammer", "soldier", "mum"}
//或者使用短变量声明写法
team := [...]{"hammer", "soldier", "mum"}

<说明> [...] 表示让编译器确定数组的大小。上面的例子中，编译器会自动为这个数组设置数组大小为3。

需要注意的是，数组长度是数组类型的一部分，所以 [3]int 和 [4]int 是两种不同类型的数组。数组的长度必须是常量表达式，也就是说，这个表达式的值在程序编译期间就可以确定。

q := [3]int{1, 2, 3}
q = [4]int{1, 2, 3, 4}  //编译错误：不可以将 [4]int 赋值给 [3]int

Go语言的数组还可以通过索引值的方式进行初始化。

a := [3]int{1:1, 2:3}  //指定数组大小为3，并通过索引值进行初始化，没有初始化的元素使用类型默认值，              
                       //因此，a[0]=0, a[1]=1, a[2]=3

a := [...]int{1:1, 2:3}  //不指定数组长度，通过索引值进行初始化，数组长度由最后一个索引值确定，没
                         //有指定索引值的元素被初始化为元素类型的默认值。最后一个索引值为2，所以
                         //数组长度为3，因此，a[0]=0, a[1]=1, a[2]=3

arr := [...]int{99: -1}  //定义了一个长度为100的整型数组，除了最后一个元素为-1外，该数组的其他元
                         //素值都是0

如果一个数组的元素是可比较的，那么这个数组本身也是可比较的。这样我们就可以直接使用 == 操作符来比较两个数组，比较的结果是两个数组的元素的值是否完全相同。使用 != 来比较两个数组是否不同。

a := [2]int{1, 2}
b := [...]int{1, 2}
c := [2]{1, 3}
fmt.Println(a == b, a == c, b == c)  //true false false
d := [3]int{1, 2}
fmt.Println(a == d)  //编译错误：无法比较 [2]int == [3]int

当Go语言中的数组是值类型的，数组赋值或是作为函数参数都是值拷贝。当调用一个函数时，每个传入的参数都会创建一个副本，然后赋值给对应的函数形参，所以函数接受的是一个副本，而不是原始的参数。由于Go语言的数组是值传递，使用这种方式传递大的数组就会变得很低效，并且在函数内部对数组的任何修改都只影响到副本，而不是原始数组。而在其他语言（如C/C++语言）中，数组是隐式地使用引用传递，也就是地址传递，这跟Go语言的数组是有区别的。

但是，我们可以显式地传递数组的地址即数组指针给函数，这样在函数内部对数组的任何修改都会反映到元素数组上面。下面的程序演示如何将一个数组 [32]byte 的元素清零。

func zero(ptr *[32]byte) {
    for i:=0; i<32; i++ {
        ptr[i] = 0
    }
}

//或者
func zero(ptr *[32]byte) {
    for i := range ptr {
        ptr[i] = 0
    }
}

1.3 Go语言数组的特点

（1）数组创建完长度就固定了，数组长度不可再改变。

（2）数组是值类型，数组赋值或是作为函数参数都是值拷贝。

（3）数组长度是数组类型的组成部分，[10]int 和 [20]int 表示不同类型的数组。

（4）可以根据数组创建切片。（详见切片部分讲解）

1.4 遍历数组 —— 访问数组的每一个元素

Go语言中，可以使用 for...range 结构遍历数组元素。示例代码如下：

var team = [...]{"hammer", "soldier", "mum"}
for i, v := range team {
    fmt.Println(i, v)
}

程序运行结果：

0 hammer

1 soldier

2 mum

当然，也可以先求出数组长度，然后使用for循环来遍历数组。示例代码如下：

var team = [...]{"hammer", "soldier", "mum"}
len := len(team)  //使用len()函数计算数组长度
for i:=0; i<len; i++ {
    fmt.Println(i, team[i])
}

1.5 数组使用建议

由于数组长度的不可变性，除了在特殊情况下，应该尽量少使用数组，建议使用可变长度的切片。