Go中数组指针声明为*[N]T,初始化需取固定长度数组地址,解引用后可原地修改原数组,支持索引和len()但不可用append(),适用于固定大小缓冲区的零拷贝场景。

怎么声明和初始化数组指针
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 运算符优先级导致的常见编译错误。
立即学习“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 在编译期就强制长度匹配,类型系统帮你守住边界。
容易混淆的坑:数组指针 vs 切片 vs 指向切片的指针
这三者语义完全不同,混用会导致逻辑错误或编译失败:
-
*[3]int:指向栈/全局上一块连续的 3 个 int 内存,长度不可变 -
[]int:包含指向底层数组的指针、长度、容量的结构体,是引用类型但头是值传递 -
*[]int:指向一个切片变量的指针,可用于让函数修改该切片变量本身(例如重新分配底层数组)
典型错误示例:想把切片转成数组指针——&mySlice 得到的是 *[]int,不是 *[N]int,两者不能互转。如果真需要,得用 copy() 手动填充到数组再取地址。
数组指针的使用场景其实很窄:只在明确需要固定长度、零拷贝、编译期校验时才值得用。多数业务逻辑中,切片更自然;只有当你在写底层工具、驱动或性能敏感模块时,才会频繁碰到它。










