数组是值类型,传参时会完整拷贝,修改副本不影响原数组;需修改原数组时应传指针*[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 用”去假设。










