Golang数组指针使用方法详解

本文深入解析了Go语言中数组指针（*[N]T）的核心用法与设计哲学：它并非语法糖，而是编译期强制长度约束、运行时零拷贝、支持原地修改的底层利器，适用于网络缓冲区处理、图像像素操作等对内存布局和性能有严苛要求的场景；文章厘清了其与切片、指向切片的指针的本质区别，直击常见误用陷阱（如*ptr[i]语法错误、切片误当数组指针传参），并强调——当你需要类型系统在编译期就为你守住“必须是N个元素”的契约时，数组指针才是那个不可替代的精准工具。

怎么声明和初始化数组指针

Go 中的数组是值类型，直接传递会复制整个底层数组。要避免拷贝、实现原地修改或高效传参，就得用数组指针。声明格式是 *[N]T，不是 []T（那是切片）。

常见错误是把切片当成数组指针用，比如写 func f(a []int) 本意想改原数组，但其实只拿到副本的视图——切片头本身是值传递，底层数组虽共享，但长度/容量变化不会反向影响调用方；而数组指针能真正指向原始内存块。

• var p *[3]int：声明一个指向长度为 3 的 int 数组的指针，初始为 nil
• p := &[3]int{1, 2, 3}：取地址得到非 nil 指针，这是最常用初始化方式
• arr := [3]int{1, 2, 3}; p := &arr：先声明数组再取地址，适合需要复用数组变量的场景

如何通过数组指针修改原数组

解引用后可直接赋值，效果等同于操作原数组。这点和 C 类似，但 Go 更安全：越界访问在运行时 panic，不会静默破坏内存。

arr := [3]int{10, 20, 30}
p := &arr
(*p)[1] = 99  // 修改 arr[1]
fmt.Println(arr) // 输出 [10 99 30]

注意括号不能省：*p[1] 是非法语法（p[1] 尝试对指针做索引），必须写成 (*p)[1]。这是 Go 运算符优先级导致的常见编译错误。

• 支持所有数组操作：索引、循环遍历、len()（返回 len(*p)，即数组长度）
• 不能用 append()：数组长度固定，append() 只接受切片
• 传给函数后，在函数内修改 (*p)[i] 会直接影响调用方的原始数组

数组指针作为函数参数的典型用法

当函数需要读写固定大小的缓冲区（如网络包解析、图像像素块处理），或避免大数组拷贝时，*[N]T 是明确且高效的接口契约。

func processBuffer(buf *[1024]byte) {
    for i := range *buf {
        (*buf)[i] ^= 0xFF // 按字节取反
    }
}

data := [1024]byte{0x01, 0x02}
processBuffer(&data) // 原 data 被修改

对比切片参数：func processBuffer(buf []byte) 更灵活，但调用方可能意外传入长度不足的切片，导致运行时 panic；而 *[1024]byte 在编译期就强制长度匹配，类型系统帮你守住边界。

• 函数签名清晰表达“我只接受且仅处理 1024 字节的完整数组”
• 无法传入 []byte 或其他长度的数组指针，类型不兼容
• 若需处理不同长度，应改用切片 + 显式长度参数，而非硬编码数组大小

容易混淆的坑：数组指针 vs 切片 vs 指向切片的指针

这三者语义完全不同，混用会导致逻辑错误或编译失败：

• *[3]int：指向栈/全局上一块连续的 3 个 int 内存，长度不可变
• []int：包含指向底层数组的指针、长度、容量的结构体，是引用类型但头是值传递
• *[]int：指向一个切片变量的指针，可用于让函数修改该切片变量本身（例如重新分配底层数组）

典型错误示例：想把切片转成数组指针——&mySlice 得到的是 *[]int，不是 *[N]int，两者不能互转。如果真需要，得用 copy() 手动填充到数组再取地址。

数组指针的使用场景其实很窄：只在明确需要固定长度、零拷贝、编译期校验时才值得用。多数业务逻辑中，切片更自然；只有当你在写底层工具、驱动或性能敏感模块时，才会频繁碰到它。

到这里，我们也就讲完了《Golang数组指针使用方法详解》的内容了。个人认为，基础知识的学习和巩固，是为了更好的将其运用到项目中，欢迎关注golang学习网公众号，带你了解更多关于的知识点！