在Golang中，数组是值类型，这意味着在函数间传递数组时，实际发生的是整个数组的拷贝。如果希望在函数内部修改数组并让调用方的原数组同步变化，就必须使用指针来传递数组地址。理解这一点对于编写正确且高效的后端逻辑十分关键。
一、Golang数组的值传递特性
Golang中的数组在声明时就确定了长度，并且作为值类型存在。当数组作为函数参数传入时，编译器会复制一份完整的数组数据到栈上，函数内接收到的仅仅是副本。对副本的任何修改都不会影响原始数组，这一点和很多动态语言里的引用传递行为不同，也常常让初学者感到困惑。
我们可以通过一段简单的代码来观察这个现象。下面的示例中，modifyArray函数试图将数组第一个元素改为99，但主函数打印的结果仍然是初始值。原因就在于传入的是数组值，而非地址。
package main
import "fmt"
func modifyArray(arr [3]int) {
arr[0] = 99
fmt.Println("函数内修改后:", arr)
}
func main() {
nums := [3]int{1, 2, 3}
modifyArray(nums)
fmt.Println("原数组:", nums)
}
运行上述代码，控制台会先输出函数内修改后: [99 2 3]，再输出原数组: [1 2 3]。这清楚地证明了数组默认按值传递，函数内的改动被限制在副本范围内。
二、使用指针修改数组的正确方式
要让函数内部的修改反映到原数组上，只需要把参数类型改成数组指针。指针保存的是原数组的内存地址，通过解引用操作符可以在原内存位置上直接赋值，从而避免拷贝带来的隔离问题。
下面的代码演示了指针传递的用法。我们将函数参数声明为*[3]int，调用时传入数组的地址（使用&符号），函数体内通过指针解引用修改元素。此时原数组会被真正改变。
package main
import "fmt"
func modifyArrayByPtr(arr *[3]int) {
arr[0] = 99
fmt.Println("函数内通过指针修改后:", *arr)
}
func main() {
nums := [3]int{1, 2, 3}
modifyArrayByPtr(&nums)
fmt.Println("原数组:", nums)
}
这里需要注意，Go语言允许通过指针直接以arr[0]的形式赋值，语法上会自动解引用，不需要写成(*arr)[0]。运行后原数组输出为[99 2 3]，说明修改生效。使用指针不仅解决了同步问题，还避免了大数组拷贝造成的性能损耗。
三、数组指针传递的常见技巧与误区
在实际工程中，直接操作固定长度数组的场景并不多，但理解指针传递机制仍然重要。一个常见技巧是配合typedef或类型别名简化指针声明，例如使用type IntArray [3]int后，参数可写为*IntArray，提升可读性。
另一个容易踩的坑是把数组和切片混淆。切片本身是一个包含指针、长度和容量的结构体，传递切片时是结构体值拷贝，但其中的底层数组指针指向同一块内存，因此切片看起来像引用传递。若用切片代替数组，很多时候不用显式取地址也能修改内容，但这属于不同数据类型的行为，不能套用到数组上。
package main
import "fmt"
func modifySlice(s []int) {
s[0] = 99
}
func main() {
data := []int{1, 2, 3}
modifySlice(data)
fmt.Println("切片修改后的原数据:", data)
}
上述切片代码运行后原数据变为[99 2 3]，但这并不代表数组也如此。若业务确实需要使用定长数组且要求跨函数修改，坚持使用数组指针是最直接可靠的做法。同时要避免在函数内对指针重新指向新数组，否则会丢失原数组的关联。
四、总结与建议
在Golang中修改数组必须使用指针，根源在于数组是值类型，函数传参发生整体拷贝。通过传入*[N]T类型的指针，我们可以在函数内操作原内存，实现真正的修改。对于大多数业务开发，如果不需要固定长度约束，优先采用切片能获得更灵活的传递语义。
掌握数组与指针的关系，有助于深入理解Go的内存模型。建议在写工具函数或底层库时，明确参数传递方式并在注释中说明是否会产生副作用，这样能减少协作中的理解成本，也能规避因值拷贝导致的隐蔽Bug。