一、介紹

在 Go 語言中，數組是一塊連續的內存，數組不可以擴容，數組在作為參數傳遞時，屬于值傳遞。

數組的長度和類型共同決定數組的類型，不同類型的數組之間不可以比較，否則在編譯時會報錯。

因為數組的一些特性，我們在 Go 項目開發中，很少使用數組。本文我們介紹一下數組的特性。

二、數組

1.聲明方式

在 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() 查詢數組的長度。

2.數組的特性

在了解完數組的聲明方式之后，我們再來介紹一下數組具有哪些特性。

數組的長度和類型共同決定數組的類型，例如 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]

閱讀上面這段代碼，我們可以發現數組在作為參數傳遞時，地址發生變化，可以證明其屬于值傳遞，即分配一塊新內存，將數組的值拷貝到新內存。

三、總結

本文我們通過介紹 Go 語言中數組的一些特性，佐證數組在 Go 項目開發中很少使用的原因。

主要原因有兩點，一是數組不可以擴容；二是值傳遞，大數組要特別小心，如果無法避免使用大數組，可以使用數組指針。