如何理解Golang中数组是值类型_Golang数组传参行为说明

数组是值类型，传参时会完整拷贝，修改副本不影响原数组；需修改原数组时应传指针*[N]T或改用切片[]T，后者仅拷贝header且支持元素修改。

数组传参时修改无效，是因为复制了整个数组

go 中 [3]int 这样的数组是值类型，函数调用时会把整个数组内容拷贝一份到栈上。你在函数里改 x[0] = 100，改的是副本，原数组完全不受影响。

• 常见错误现象：modifyArray(a) 后打印 a 还是旧值，误以为“没写对逻辑”，其实是机制如此
• 使用场景：只读遍历小数组（如配置项 [4]byte 表示颜色RGBA）可直接传值，安全且无副作用
• 性能影响：传 [1024]int 就等于拷贝 4KB 内存；频繁调用会明显拖慢，编译器也不会帮你优化掉这个拷贝

想修改原数组？必须传数组指针 *[N]T

和结构体类似，要改原始数组就得传它的地址。注意不是 [N]*T（指针数组），而是 *[N]T（指向数组的指针）——这是容易混淆的关键语法点。

• func modifyPtr(arr *[3]int) 中形参是 *[3]int，调用时传 &a
• 内部通过 (*arr)[0] = 100 或更简洁的 arr[0] = 100（Go 允许对数组指针直接下标访问）修改原数组
• 如果不加 * 直接写 func modify(arr [3]int)，哪怕函数名里带 “modify”，也改不动原数据

别用数组传参，优先考虑切片 []T

绝大多数需要“传一组数”的场景，真正该用的是切片，而不是数组。切片底层是指向底层数组的结构体（含 ptr/len/cap），传参成本固定（通常 24 字节），且天然支持内容修改。

• 数组传参：值拷贝 → 开销随长度线性增长 → 不灵活
• 切片传参：拷贝的是 slice header → 轻量 → 修改元素生效（如 s[0] = 99），但 s = append(s, x) 不影响原 slice（因为 header 被复制了）
• 如果你定义了 var a [5]int，想传给函数处理，直接转成切片更自然：process(a[:])，函数接收 func process(s []int)

结构体里嵌了数组？小心隐式拷贝陷阱

如果结构体字段是数组（比如 type Buf Struct { data [1024]byte }），那整个结构体传参时，[1024]byte 也会被完整拷贝——哪怕你只打算读一个字段。

立即学习“go语言免费学习笔记（深入）”；

• 常见错误：日志结构体带大数组字段，高频打点时 CPU 突增，逃逸分析显示 “moved to heap” 或栈上大量拷贝
• 解决方案：把大数组字段改为指针 *[1024]byte，或直接换成 []byte + make 分配
• 验证方式：用 go build -gcflags="-m" main.go 查看是否出现 “can not escape” 或 “allocs on stack” 提示

数组是值类型这件事本身不难记，难的是它在组合场景中悄悄放大——结构体、函数参数、方法接收者，只要出现一次数组，就可能触发整块内存复制。实际编码时，宁可多敲几个字符写 a[:] 或 &a，也别默认按“数组名能当 slice 用”去假设。