Golang数组声明与初始化方法

Go中数组是值类型且长度固定，声明为[N]T（N为编译期常量），赋值时整块拷贝；与切片[]T不同，数组长度是类型的一部分，[3]int和[4]int类型不兼容，不可直接传参；支持==比较和作为map键；适用场景包括固定长度、栈分配、需值语义等。

Go 里数组是值类型，声明后长度不可变

Go 的 []T 看似像数组，其实是切片（slice）；真数组必须写成 [N]T，其中 N 是编译期确定的常量。一旦声明为 [5]int，它就永远只能存 5 个 int，且赋值时会完整拷贝整个内存块。

• 声明但不初始化：var a [3]int → 元素自动设为零值（0）
• 带初始值的声明：b := [3]int{1, 2, 3} → 长度由字面量数量推导
• 指定索引初始化：c := [5]int{0: 10, 4: 20} → 中间未指定的元素仍为零值
• 用 ... 让编译器算长度：d := [...]int{1, 2, 3, 4} → 等价于 [4]int

数组长度是类型的一部分，[3]int 和 [4]int 完全不同

这意味着你不能把 [4]int 直接传给接收 [3]int 的函数，哪怕只取前三个元素也不行。类型不匹配会报错：cannot use a (type [4]int) as type [3]int in argument to foo。

• 函数参数若需通用，应改用切片：func sum(arr []int)，再传 a[:] 转换
• 想比较两个数组是否相等？直接用 == 就行（前提是类型相同），Go 支持数组的逐元素比较
• 数组作为结构体字段时，会按值嵌入 —— 结构体复制时，数组内容也整块拷贝

什么时候该用数组而不是切片

绝大多数场景应该用切片。数组只在极少数明确需要「固定长度 + 值语义 + 栈上分配」时才合适，比如：

• 表示 RGB 颜色：[3]uint8，确保永远只有 R/G/B 三个分量
• 固定大小的缓冲区（如网络包头）：[16]byte，避免切片底层数组意外被复用
• 作为 map 的 key（切片不能做 key，但数组可以）：map[[4]int]string
• 性能敏感路径中，避免切片的 header 开销（24 字节）和可能的堆分配

常见错误：混淆 [N]T 和 []T 导致 panic 或逻辑错

最典型的是误以为 arr[10] 在 [5]int 上会自动扩容 —— 不会，直接 panic：panic: runtime error: index out of range [10] with length 5。还有人试图对数组调用 append()，结果编译失败：cannot call append on [3]int。

• append() 只接受切片，不是数组；要追加得先转：slice := arr[:]，再 append(slice, x)
• 循环遍历数组推荐用 for i := range arr，而非 for i := 0; i < len(arr); i++ —— 前者更安全，且编译器能更好优化
• 如果真需要动态长度，别硬扛数组，老实用 []T + make([]T, 0, cap) 预分配

package main

import "fmt"

func main() {
    var a [3]int
    b := [3]int{1, 2, 3}
    c := [...]int{1, 2, 3, 4} // 编译器推导为 [4]int

    fmt.Printf("a: %v, b: %v, c: %v\n", a, b, c)
    // 输出：a: [0 0 0], b: [1 2 3], c: [1 2 3 4]

    // 错误示例：下面这行无法编译
    // append(a, 5) // cannot call append on [3]int
}

数组的“固定性”不是缺陷，而是设计选择。它强制你在需要确定性布局和内存行为的地方停下来思考 —— 这恰恰是容易被忽略的关键点。