Go中数组是值类型,传参时复制整个数组,无法原地修改;需用*[3]int指针传址才能确保修改原数组,而切片虽可修改底层数组但扩容后失效。

为什么直接传数组无法原地修改
Go 中数组是值类型,func modify(arr [3]int) 这样的函数接收的是整个数组的副本。对 arr[0] = 99 的修改只作用于副本,调用方原数组完全不受影响。这不是 bug,而是语言设计决定的——数组长度是类型的一部分,[3]int 和 [4]int 是两个不兼容的类型,复制成本明确可控。
用指针指向数组才能真正修改原数据
必须传递指向数组的指针,例如 *[3]int,这样函数内通过解引用就能操作原始内存位置。注意不是 []int(切片),也不是 *int(单个元素指针)。
-
*[3]int是“指向长度为 3 的 int 数组的指针”,解引用后得到可读写的[3]int值 - 调用时需显式取地址:
&myArray,不能传myArray或myArray[:] - 若数组长度不固定,应改用切片 +
for循环或range配合索引更新
func updateFirst(arr *[3]int) {
(*arr)[0] = 42 // 必须先解引用,再下标赋值
}
func main() {
a := [3]int{1, 2, 3}
updateFirst(&a)
fmt.Println(a) // [42 2 3]
}
常见混淆点:别把数组指针写成切片
误写 func f(s []int) 看似能修改底层数组,但这是切片行为,和“修改原数组”不是一回事。切片本身包含指针、长度、容量,传切片仍是值传递——你只是复制了这个三元结构,但它的 data 字段仍指向原底层数组。问题在于:如果函数内部做了 s = append(s, x),就可能触发扩容,导致后续修改不再影响原数组。
- 传
*[N]T是唯一能 100% 保证原地更新且不意外扩容的方式 - 传
[]T在未扩容前提下可修改底层数组,但行为依赖长度/容量,不可靠 - 错误写法:
func bad(arr *[3]int) { arr[0] = 10 }—— 编译失败,*[3]int不支持直接下标
实际项目中更推荐用切片加显式索引更新
除非你明确需要编译期长度检查(比如硬件寄存器映射、固定帧协议解析),否则日常开发几乎不用 *[N]T。切片更灵活,配合 for i := range s 或 for i := 0; i 安全更新每个元素即可。
立即学习“go语言免费学习笔记(深入)”;
- 想更新第 i 个元素?直接
s[i] = newV - 想批量更新?用循环,不要试图用指针绕过切片机制
- 性能敏感场景才需抠
*[N]T;多数时候可读性与维护性比省一次复制更重要
真正容易被忽略的是:数组指针语法生硬,(*p)[i] 比 s[i] 多两层括号和星号,出错率高,而且一旦数组长度变化就得改函数签名——这点在接口演化时特别麻烦。










