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。
立即学习“go语言免费学习笔记（深入）”；
-
append()只接受切片，不是数组；要追加得先转：slice := arr[:]，再append(slice, x) - 循环遍历数组推荐用
for i := range arr，而非for i := 0; 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
}
数组的“固定性”不是缺陷，而是设计选择。它强制你在需要确定性布局和内存行为的地方停下来思考 —— 这恰恰是容易被忽略的关键点。 
