大家好,我是 frank,「Golang 语言开发栈」公众号作者。
01 介绍
在 Go 语言中,数组是一块连续的内存,数组不可以扩容,数组在作为参数传递时,属于值传递。
数组的长度和类型共同决定数组的类型,不同类型的数组之间不可以比较,否则在编译时会报错。
因为数组的一些特性,我们在 Go 项目开发中,很少使用数组。本文我们介绍一下数组的特性。
02 数组
声明方式
在 Go 语言中,数组的声明方式有三种。
示例代码:
func main() {
var arr1 [2]int
var arr2 = [2]int{1, 2}
var arr3 = [...]int{1, 2}
fmt.Println(arr1)
fmt.Println(arr2)
fmt.Println(arr3)
}
输出结果:
[0 0]
[1 2]
[1 2]
阅读上面这段代码,我们使用三种方式声明数组,其中 arr1
和 arr2
的区别是,arr1
在声明时没有为数组赋值,所以输出结果是类型零值 [0 0]
。
需要注意的是,arr3
没有指定数组的长度,而是使用 [...]
替代,这实际上是 Go 语言中声明数组的语法糖,编译时通过数组的赋值,自动推断数组的长度,我们可以使用内置函数 len()
查询数组的长度。
数组的特性
在了解嘞数组的声明方式之后,我们再来介绍一下数组具有哪些特性。
数组的长度和类型共同决定数组的类型,例如 var arr1 [2]int
和 var arr2 [3]int
是不同的类型。并且不同类型的数组之间是不可以比较的,数组也不可以扩容。
如果数组长度小于等于 4 时,在编译时会对数组做内存优化,程序启动时在栈区初始化数组,我们在使用数组类型时,也可以注意一下这一点。
使用数组下标访问数组中的元素时,越界访问,在编译时会报错。但是,如果我们使用变量 arr[i]
作为数组下标访问数组中的元素,在编译时无法检查是否越界访问,在运行时会引发 panic
。
示例代码:
func Store() {
var arr [2]int
for i := 0; i < 5; i++ {
arr[i] = i + 1
}
fmt.Println(arr)
}
输出结果:
panic: runtime error: index out of range [2] with length 2
goroutine 1 [running]:
...
在作为参数传递数组类型的变量时,都属于值传递,我们在使用数组类型的参数时,要特别注意。
示例代码:
func main() {
var arr2 = [2]int{1, 2}
Get(arr2)
fmt.Printf("arr2=%p\n%d\n", &arr2, arr2)
}
func Get(arr [2]int) {
fmt.Printf("Get()=%p\n%d\n", &arr, arr)
}
输出结果:
Get()=0xc0000120f0
[1 2]
arr2=0xc0000120b0
[1 2]
阅读上面这段代码,我们可以发现数组在作为参数传递时,地址发生变化,可以证明其属于值传递,即分配一块新内存,将数组的值拷贝到新内存。
03 总结
本文我们通过介绍 Go 语言中数组的一些特性,佐证数组在 Go 项目开发中很少使用的原因。
主要原因有两点,一是数组不可以扩容;二是值传递,大数组要特别小心,如果无法避免使用大数组,可以使用数组指针。