Go中数组是长度固定的值类型，[5]int与[]int本质不同：前者是含5个int的独立类型，后者是引用类型的切片；声明必须用编译期常量指定长度，初始化可用[...]int由编译器推导长度，但仅限字面量；传参时会完整复制，大数组应改用切片或指针。
Go 里数组声明必须写明长度，[5]int 和 []int 完全不是一回事
Go 的数组是值类型，长度是类型的一部分。写成 [5]int 就是“五整数数组”这个独立类型；而 []int 是切片，底层指向数组但本身是引用类型。很多人误以为 var a [5]int 可以像 Python 列表一样动态扩容，结果发现赋值超长直接编译报错：invalid array index 5 (out of bounds for [5]int)。
- 声明定长数组必须显式写出长度，比如
[3]string、[1024]byte - 长度必须是编译期常量（不能是变量），
const n = 5; var a [n]int合法，var n = 5; var a [n]int编译失败 - 数组字面量初始化时，若用
{}且省略长度，Go 会自动推导，比如a := [3]int{1,2,3}等价于a := [...]int{1,2,3}；但[...]int{1,2,3,4}推导出的是[4]int，别误以为能“自动适配”已有变量
初始化时用 ... 让编译器算长度，但只在字面量里有效
[...]int{1,2,3} 是合法的，Go 会把 ... 替换成实际元素个数，生成 [3]int 类型。但它只在变量声明+字面量初始化时起作用，不能用于函数参数或返回值声明——那些地方类型必须明确，func f(a [...]int) 是语法错误。
- 常见误用：想传“任意长度数组”给函数，写成
func f(a [...]int)→ 编译失败，得改用切片func f(a []int) - 如果真要传递定长数组，必须写死长度，比如
func f(a [4]int)，此时调用方传[4]int{1,2,3,4}可以，传[5]int{...}就类型不匹配 -
[...]T字面量适合配置项、测试数据等长度固定且已知的场景，比如header := [...]byte{'H','T','T','P'}
传数组进函数会复制整个内存块，小心性能和语义陷阱
因为数组是值类型，func f(a [1024]int) 调用时会把全部 1024 个 int 拷贝一份。不仅慢，还意味着函数内修改不会影响原数组——这点和切片完全不同。
Golang Uber Dig
下载
使用 uber-go/dig 在 Golang 中实现依赖注入——基于反射容器，提供 Provide/Invoke、dig.In/dig.Out 参数与结果对象，支持命名依赖等
- 检查是否真需要数组：多数场景用
[]int更合理，它只传头（指针+长度+容量），轻量且可修改原底层数组 - 如果确实要定长约束（比如表示 RGB 颜色
[3]uint8），又不想拷贝，就传指针：func f(a *[3]uint8)，这时*a = [3]uint8{255,0,0}会改原值 - 结构体里嵌入大数组（如
type Buf struct { data [64*1024]byte }）会导致结构体实例体积暴增，且按值传递开销极大，优先考虑用[]byte+make分配
用 len() 获取长度没问题，但别指望 cap() 或 append()
数组有 len()，返回声明时的长度，永远不变。但它没有容量（cap() 对数组非法），也不能用 append() 扩容——这些是切片专属操作。有人试 append([3]int{1,2,3}, 4)，结果编译报错：first argument to append must be slice。
立即学习“go语言免费学习笔记（深入）”；
- 想动态增删？必须转成切片：
a := [3]int{1,2,3}; s := a[:]，此时s是[]int，可用append(s, 4) - 注意
a[:] == a[0:len(a)]，得到的是指向原数组的切片，修改s[0]会影响a[0] - 如果后续要追加超出原数组长度，切片会自动分配新底层数组，原数组不再被引用——这是切片机制，和数组本身无关
定长数组在 Go 里不是“简化版切片”，而是有明确内存布局和类型语义的独立构造。用错场景（比如当成可变列表）或忽略值语义（比如没意识到传参会复制），是新手最常卡住的地方。
