Go中修改原数组需用指针:固定长度用[N]T,动态长度用[]T;切片本身是引用类型,但改元素仍需索引赋值。

在 Go 语言中,数组本身是值类型,直接传递或赋值会复制整个数组。若想通过循环修改原始数组元素,需使用指针——但要注意:Go 没有“指针数组”(即 []*T)的常见误解用法;更准确、实用的方式是使用 指向数组的指针(*[N]T)或 切片配合元素地址([]*T)。下面分两种典型场景说明如何正确遍历并修改原数组元素:
场景一:用指向数组的指针修改固定长度数组
当你明确知道数组长度(如 [5]int),且希望函数内修改原始数组时,传入 *[N]T 是最直接的方式。Go 中数组名本身不可寻址(不能对 a 写 &a),但变量可寻址。
示例:
func updateArrayByPtr(arr *[3]int) {for i := range arr {
(*arr)[i] *= 2 // 解引用后修改原数组
}
}
func main() {
a := [3]int{1, 2, 3}
fmt.Println("修改前:", a) // [1 2 3]
updateArrayByPtr(&a) // 传入数组地址
fmt.Println("修改后:", a) // [2 4 6]
}
场景二:用指针切片([]*T)逐个修改元素值
若需对每个元素单独取地址并可能在不同位置修改(比如条件更新、异步处理),可构造一个指针切片 []*T,它存储的是原数组/切片各元素的地址。遍历时解引用即可写入。
立即学习“go语言免费学习笔记(深入)”;
- 适用于动态长度数据(如切片)或需灵活控制修改时机的场景
- 注意:若原数据是局部切片,确保其底层数组生命周期足够长
- 避免对字面量或临时切片取地址(可能导致悬垂指针)
示例:
func main() {data := []int{10, 20, 30}
// 构建指针切片
ptrs := make([]*int, len(data))
for i := range data {
ptrs[i] = &data[i] // 取每个元素地址
}
// 遍历指针切片并修改原值
for _, p := range ptrs {
*p += 5
}
fmt.Println(data) // [15 25 35]
}
不推荐的做法:误用“指针数组”语义
初学者常混淆 []*int(切片,每个元素是指针)和 *[]int(指向切片头的指针,极少用)。Go 不支持 C 风格的“数组指针数组”,也不允许对数组字面量(如 [3]int{1,2,3})直接取地址用于后续修改(因它是临时值)。
- ❌ 错误:
arr := &[3]int{1,2,3}; for _, v := range *arr { v = 100 }——v是副本,改了没用 - ✅ 正确:必须用
(*arr)[i]或通过索引解引用指针 - ⚠️ 切片本身传参就是引用语义(含指针),但要改元素值仍需
slice[i] = ...;若要改 slice 头(如 append 后新底层数组),才需*[]T
小结:关键逻辑与选择依据
是否需要修改原数组,取决于你传的是什么、怎么解引用:
- 固定长度 + 希望函数内批量改 → 用
*[N]T参数 - 动态长度 + 需精细控制每个元素(如部分更新、并发安全读写)→ 构建
[]*T并遍历解引用 - 普通切片操作(增删查改)→ 直接用
[]T,无需指针,因为切片头包含指向底层数组的指针
核心原则:Go 中只有通过显式取地址(&x)得到指针,并在使用时解引用(*p),才能真正改变原始变量的值。循环本身不改变语义,关键是操作的对象是不是原始内存位置。










