Golang指针数组操作与地址修改详解

今天golang学习网给大家带来了《Golang指针数组操作与地址修改教程》，其中涉及到的知识点包括等等，无论你是小白还是老手，都适合看一看哦~有好的建议也欢迎大家在评论留言，若是看完有所收获，也希望大家能多多点赞支持呀！一起加油学习~

应使用切片[]*T保存数组元素地址，通过循环对每个&arr[i]取址；不可对数组字面量直接取址，需先赋值给变量或改用切片；返回局部数组元素指针不安全，须确保数组逃逸至堆或为全局变量。

如何获取数组元素的指针并存入指针切片

Go 语言中数组本身是值类型，arr[i] 是元素副本；要修改原数组内容，必须操作其地址。常见做法是用 []*T（指针切片）保存各元素地址。

注意：不能直接声明 var ptrs [*5]int 这样的“指针数组”，Go 不支持 C 风格的固定长度指针数组语法；实际应使用切片 []*int。

• 对已知长度数组，用循环取地址：&arr[i]，不是 &arr
• 每个 &arr[i] 得到的是独立地址，可安全存入切片
• 若数组是局部变量，确保不把它的元素地址逃逸到函数外（除非该数组本身已逃逸或为全局/堆分配）

arr := [3]int{10, 20, 30}
ptrs := make([]*int, len(arr))
for i := range arr {
    ptrs[i] = &arr[i] // ✅ 正确：取每个元素地址
}
// 修改第一个元素
*ptrs[0] = 99
// arr 现在是 [99 20 30]

为什么不能对数组字面量直接取元素地址

像 &[3]int{1,2,3}[0] 这类写法会报错：cannot take the address of [3]int literal[0]。因为字面量是临时值，没有固定内存地址。

解决办法只有两种：

• 先赋值给具名变量（如 tmp := [3]int{1,2,3}），再取 &tmp[i]
• 改用切片字面量（[]int{1,2,3}），它底层指向底层数组，元素可取地址（但要注意底层数组生命周期）

// ❌ 错误：字面量不可取地址
// badPtr := &[3]int{1,2,3}[0]

// ✅ 正确：先命名，再取址
tmp := [3]int{1, 2, 3}
p := &tmp[1] // 地址有效

// ✅ 或用切片（注意：若后续切片被重新切，原地址可能失效）
slice := []int{1, 2, 3}
q := &slice[0] // 当前有效

修改指针切片中的值是否影响原数组

取决于原数组的存储位置。核心判断依据是：该数组是否在栈上且未逃逸。

• 如果原数组是函数内局部变量且未发生逃逸（例如没传给 goroutine 或返回指针），那么它的地址只在当前栈帧有效；一旦函数返回，*ptrs[i] 解引用将导致未定义行为（通常 panic 或读到垃圾值）
• 如果数组是全局变量、包级变量、或通过 make([]T, n) 分配（底层数组在堆上），则指针长期有效
• 结构体字段中的数组，其地址也有效（因结构体整体决定生命周期）

func badExample() []*int {
    localArr := [2]int{1, 2}
    ptrs := []*int{&localArr[0], &localArr[1]}
    return ptrs // ⚠️ 危险：返回栈上变量地址！
}

func goodExample() []*int {
    heapSlice := make([]int, 2)
    heapSlice[0], heapSlice[1] = 1, 2
    return []*int{&heapSlice[0], &heapSlice[1]} // ✅ 安全：底层数组在堆

用 unsafe.Pointer 实现类似 C 的指针数组操作（慎用）

标准库不提供指针数组类型，但可通过 unsafe.Pointer 和 reflect 手动构造。这绕过类型安全，仅限底层库或性能敏感场景，且极易出错。

• 不要用 unsafe.Pointer(&arr) 想当然当作“指针数组首地址”——它是指向整个数组的指针，不是指向指针的指针
• 若真需连续指针布局，应手动分配 *int 类型的切片，再逐个赋值 &arr[i]
• GC 不会追踪 unsafe 构造的指针关系，可能导致提前回收

绝大多数业务代码不需要也不应该碰 unsafe。老老实实用 []*T + 显式取址最稳妥。

今天带大家了解了的相关知识，希望对你有所帮助；关于Golang的技术知识我们会一点点深入介绍，欢迎大家关注golang学习网公众号，一起学习编程~