Go数组传参默认值拷贝,[3]int是数组、[]int是切片;数组赋值/传参全量复制,修改副本不影响原数组;避免拷贝需传*[3]int指针;切片传参拷贝结构体但共享底层数组,元素修改生效,append或切片操作不反馈原变量。

Go数组传参默认是值拷贝,不是引用传递
Go语言中,[]int 是切片,而 [3]int 才是数组。数组类型包含长度,属于值类型:只要声明为数组(比如 [5]string),每次赋值或传参都会完整复制所有元素。这和C不同,也容易被误当成“类似切片”的行为。
常见错误现象:modify(arr) 函数内部修改了数组元素,但调用后原数组没变——因为传入的是副本。
- 函数参数写成
func f(a [3]int)→ 拷贝整个数组(3个元素) - 想避免拷贝,应传指针:
func f(a *[3]int),此时修改(*a)[0] = 10会影响原数组 - 注意:数组指针的解引用必须显式写
*a,不能直接对a[0]赋值(会报错cannot assign to a[0] (a is not addressable))
切片传参看似“引用”,实则是结构体值拷贝
[]int 不是引用类型,而是一个三字段结构体(底层数组指针、长度、容量),它本身是值类型。传参时拷贝的是这个结构体,不是底层数组数据,但其中的指针字段指向同一块内存。
这意味着:修改切片元素(如 s[0] = 1)会影响原切片;但若在函数内做 s = append(s, x) 或 s = s[1:],这些操作可能改变结构体中的指针/长度字段,不会反映到原变量上。
立即学习“go语言免费学习笔记(深入)”;
- 安全修改元素:直接索引赋值,无需指针
- 要让
append结果返回调用方:必须用返回值接收,例如s = f(s) - 想在函数内扩容并影响原变量,只能传
*[]int(切片指针),但极少需要,通常说明设计有问题
如何判断该用数组还是切片
数组适合长度固定、小数据、需栈上分配或比较语义明确的场景;切片才是日常主力。混淆二者常导致意外拷贝或编译错误。
- 固定协议头(如HTTP/2帧头):用
[9]byte,保证大小精确、可直接比较 - 配置项枚举集合(不超过5个):用
[4]string可避免逃逸,但别硬套 - 任何需要动态增删、不确定长度、或作为函数主要输入输出的,一律用
[]T - 把
[0]int当空数组用?可以,但无实际意义;[]int{}更自然
数组转切片的开销几乎为零,但别滥用 [:]
arr[:] 可将数组转为切片,底层共享同一段内存,不分配新空间。这是合法且高效的转换方式。
但要注意边界:如果数组是局部变量,转出的切片逃逸到函数外,会导致整个数组无法被回收(即使只用了前两个元素)。
- 推荐写法:
slice := arr[:len(arr)],清晰表达“全量转切片” - 禁止写
arr[0:0]后再append—— 这会触发底层数组复制,失去共享优势 - 若数组很大(如
[10000]int),又只需访问前几个元素,考虑是否真该用数组
func process(a [1024]byte) 就等于每调用一次拷贝1KB。这种细节不报错,却悄悄拖慢性能。










