Go语言数组定义与使用教程

Go语言中的数组是固定长度、值语义的底层数据结构，与灵活的切片有本质区别：它在声明时必须明确长度（如[3]int），类型由元素类型和长度共同决定，不可扩容，传参时默认整体复制、修改不影响原数组，需显式传递指针（*[3]int）才能修改；虽可安全转为切片，但切片转数组仅限长度严格匹配且编译期已知的场景；尽管日常开发多用切片，数组却在需要值语义（如作map键）、定长结构（如RGB颜色、IPv4地址）、栈优化或CGO交互等关键场合不可替代——理解其设计哲学与适用边界，是写出高效、安全Go代码的重要一环。

Go 语言的数组是值类型、固定长度、栈上分配（小数组）或堆上分配（大数组），定义后不能扩容，和切片有本质区别——别拿 slice 的思维去用 [3]int。

如何正确声明和初始化数组

数组类型由元素类型和长度共同决定，[3]int 和 [4]int 是完全不同的类型，不能互相赋值。初始化时长度必须明确，且不可省略方括号内的数字。

常见写法：

// 显式长度 + 初始化值（推荐）
var a [3]int = [3]int{1, 2, 3}
<p>// 省略类型推导（等价）
b := [3]int{1, 2, 3}</p><p>// 部分初始化：未指定的元素自动为零值
c := [5]int{1, 2} // 等价于 [5]int{1, 2, 0, 0, 0}</p><p>// 使用 ... 让编译器推导长度（仅限字面量初始化）
d := [...]int{1, 2, 3, 4} // 类型是 [4]int</p><p>// ❌ 错误：不能用 var a []int = [3]int{1,2,3} —— 类型不匹配
// ❌ 错误：不能写 [ ]int{1,2,3} —— 这是切片字面量，不是数组</p>

数组传参时为什么函数内修改不影响原数组

因为数组是值类型，传入函数时会整体复制一份。哪怕数组很大（比如 [1024 * 1024]int），也会被拷贝——这既是安全性的来源，也是性能隐患。

• 如果只读，传数组没问题；但若想在函数中修改原始数据，必须传指针：*[3]int
• 传 *[3]int 不会复制底层数组，只传一个指针（8 字节），效率高且可修改原数组
• 对比切片：传 []int 本身是轻量结构体（含指针+长度+容量），修改元素会影响原底层数组，但改变长度不会影响调用方的 slice 变量

示例：

func modifyArr(a [3]int) { a[0] = 999 }        // 原数组不变
func modifyPtr(p *[3]int) { p[0] = 999 }       // 原数组被改
func modifySlice(s []int) { s[0] = 999 }       // 底层数组被改，但 s = append(s, 1) 不影响调用方

数组和切片转换的边界在哪里

数组可以转成切片，但切片不能直接转回数组（除非长度已知且匹配）。这是 Go 类型系统强制的约束，防止越界或内存错误。

• a := [3]int{1,2,3}; s := a[:] → 得到 []int，底层仍指向 a 的内存
• s := []int{1,2,3}; a := [3]int(s) → 编译通过，但仅当 s 长度恰好为 3
• s := []int{1,2,3,4}; a := [3]int(s) → 编译失败：cannot convert s (type []int) to type [3]int
• 运行时无法将任意长度切片“强转”为数组；若需动态长度转固定数组，只能手动循环赋值并检查长度

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

绝大多数场景应该用切片。数组只在以下情况有意义：

• 需要值语义（比如作为 map 的 key：map[[3]byte]int 合法，但 map[][]byte 不合法）
• 明确知道长度且永不变化（如 RGB 颜色 [3]uint8、IPv4 地址 [4]byte）
• 追求极致栈分配（小数组，如 [16]byte 通常栈上分配，避免 GC 压力）
• 与 C 互操作（CGO 中对应 C 的 int arr[5]）

容易忽略的一点：len() 和 cap() 对数组都返回相同值（即数组长度），而对切片二者可能不同；混淆这点会导致误判容量余量。

到这里，我们也就讲完了《Go语言数组定义与使用教程》的内容了。个人认为，基础知识的学习和巩固，是为了更好的将其运用到项目中，欢迎关注golang学习网公众号，带你了解更多关于的知识点！