Go语言中的数组和切片是常用的复合数据类型，两者作为函数参数传递时的行为存在明显差异，很多开发者在开发中容易因为混淆两者的传递逻辑导致程序出现不符合预期的结果。理解它们的传递机制，才能写出逻辑正确、性能合理的代码。
数组作为函数参数的传递机制
Go语言中的数组是值类型，当把数组作为函数参数传递时，会完整复制整个数组的所有元素，属于值传递。这意味着在函数内部修改数组的元素，不会影响原数组的内容。
数组参数传递示例
下面通过一个简单的示例展示数组作为函数参数时的行为：
package main
import "fmt"
// 接收数组参数的函数，修改数组第一个元素
func modifyArray(arr [3]int) {
arr[0] = 100
fmt.Println("函数内部数组:", arr)
}
func main() {
originalArr := [3]int{1, 2, 3}
fmt.Println("传递前原数组:", originalArr)
modifyArray(originalArr)
fmt.Println("传递后原数组:", originalArr)
}
运行上述代码后，输出结果如下：
传递前原数组: [1 2 3] 函数内部数组: [100 2 3] 传递后原数组: [1 2 3]
可以看到，函数内部修改了数组的第一个元素为100，但是原数组的内容没有发生变化，这是因为传递的是原数组的完整副本。
数组参数传递的注意事项
- 如果数组长度很大，值传递会复制大量数据，带来不必要的性能开销，因此大数组不建议直接作为函数参数传递。
- 如果需要让函数修改原数组的内容，可以传递数组的指针，这样传递的是数组的地址，函数内部修改会影响原数组。
传递数组指针的示例如下：
package main
import "fmt"
// 接收数组指针的函数
func modifyArrayByPtr(arr *[3]int) {
arr[0] = 100
fmt.Println("函数内部数组:", *arr)
}
func main() {
originalArr := [3]int{1, 2, 3}
fmt.Println("传递前原数组:", originalArr)
modifyArrayByPtr(&originalArr)
fmt.Println("传递后原数组:", originalArr)
}
切片作为函数参数的传递机制
切片是引用类型，它的底层结构包含一个指向底层数组的指针、长度和容量。当切片作为函数参数传递时，传递的是切片头的副本，也就是复制了切片的指针、长度和容量这三个值，但是底层数组是共享的。
切片参数传递示例
下面通过示例展示切片作为函数参数时的行为：
package main
import "fmt"
// 接收切片参数的函数，修改切片第一个元素
func modifySlice(s []int) {
s[0] = 100
fmt.Println("函数内部切片:", s)
}
func main() {
originalSlice := []int{1, 2, 3}
fmt.Println("传递前原切片:", originalSlice)
modifySlice(originalSlice)
fmt.Println("传递后原切片:", originalSlice)
}
运行上述代码后，输出结果如下：
传递前原切片: [1 2 3] 函数内部切片: [100 2 3] 传递后原切片: [100 2 3]
可以看到，函数内部修改切片的元素后，原切片的内容也发生了变化，这是因为函数内的切片副本和原切片共享同一个底层数组。
切片参数传递的特殊情况
如果函数内部对切片进行了追加操作，导致切片的底层数组扩容，那么扩容后的新底层数组和原切片的底层数组就不再共享，此时修改新切片的元素不会影响原切片：
package main
import "fmt"
// 接收切片并追加元素的函数
func appendSlice(s []int) {
s = append(s, 4)
s[0] = 100
fmt.Println("函数内部切片:", s)
}
func main() {
originalSlice := []int{1, 2, 3}
fmt.Println("传递前原切片:", originalSlice)
appendSlice(originalSlice)
fmt.Println("传递后原切片:", originalSlice)
}
运行结果如下：
传递前原切片: [1 2 3] 函数内部切片: [100 2 3 4] 传递后原切片: [1 2 3]
上述示例中，函数内部追加元素后切片扩容，新底层数组和原切片不再共享，因此修改新切片的元素不会影响原切片。
两者的核心差异对比
为了更清晰地对比数组和切片作为函数参数的差异，整理如下对比表：
| 对比项 | 数组作为函数参数 | 切片作为函数参数 |
|---|---|---|
| 传递类型 | 值传递，复制整个数组 | 传递切片头副本，共享底层数组 |
| 函数内修改元素是否影响原变量 | 不影响（除非传递指针） | 影响（未扩容的情况下） |
| 大尺寸数据的传递性能 | 差，复制成本高 | 好，仅复制切片头三个字段 |
| 适用场景 | 小尺寸固定长度数据，不需要修改原数据 | 动态长度数据，需要共享底层数据或灵活操作 |
正确使用的实践建议
- 如果数据长度固定且较小，不需要函数修改原数据，可以直接使用数组作为参数，避免额外的指针操作。
- 如果需要函数修改数组内容，或者数组长度较大，建议传递数组的指针，减少数据复制开销。
- 大多数场景下优先使用切片作为函数参数，尤其是数据长度不固定、需要灵活操作的情况，注意如果需要在函数内修改切片的长度或容量并反映到原变量，需要返回新的切片赋值给原变量。
- 函数内部如果会对切片进行追加操作，需要明确告知调用方，避免调用方误以为原切片会被修改。
总结
Go语言中数组作为函数参数是值传递，会复制整个数组，修改函数内的数组不会影响原数组；切片作为函数参数传递的是切片头副本，底层数组共享，未扩容时修改元素会影响原切片。开发者需要根据数据特点和使用场景选择合适的参数类型，避免因为传递机制的差异导致程序逻辑错误，同时兼顾代码的性能表现。