Golang指针数组传递与优化技巧

Go语言中数组是值类型，传参时会完整拷贝，造成显著性能开销，而使用指向固定长度数组的指针（*[N]T）仅传递地址，高效且语义明确——它适用于CGO互操作、高性能计算和协议解析等需严格控制内存布局的场景；但需注意其与切片[]T不可直接转换、零值为nil易引发panic，以及unsafe.Pointer强转虽能绕过分配却风险极高，应优先选用安全的标准库方案。

Go 里传数组是值拷贝，不是你想象的“传引用”

很多人以为 []int 是数组，其实它是切片（slice），底层包含指针、长度和容量。真正的数组类型如 [3]int 是固定长度、值类型——每次传参都会完整拷贝所有元素。比如函数接收 func f(a [1000]int)，调用时会复制 1000 个 int，开销明显。

解决办法很简单：传指向数组的指针，即 *[1000]int。这样只传 8 字节（64 位系统）地址，避免拷贝。

• 声明数组变量后，用 &arr 取地址传入
• 函数签名必须严格匹配长度：func process(p *[5]string) 不能接收 [6]string 的地址
• 在函数内通过 (*p)[i] 或直接 p[i] 访问元素（Go 允许对数组指针直接下标访问）

为什么不用 []T 而要用 *[N]T？场景决定一切

切片 []T 灵活，但隐藏了底层数组是否被共享、是否触发扩容等不确定性；而 *[N]T 明确表达“我只操作这 N 个连续内存，不增不减”。典型适用场景：

• 与 C 互操作（CGO），C 函数要求固定长度数组指针，如 void transform(int arr[4]) → Go 侧用 *[4]int
• 高性能计算中避免切片头结构体（24 字节）的额外间接访问
• 需要确保调用方数据不被意外截断或扩展，例如解析固定协议头：[16]byte 表示 UUID

注意：[]T 和 *[N]T 之间不能直接转换，需显式取地址或切片操作：arr[:] → []T，&slice[0] → *[1]T（仅当 slice 长度 ≥ 1 且底层数组足够大）

unsafe.Pointer 强转数组指针？危险但有时绕不开

当你要把一段字节（如 []byte）按固定结构解释为数组，又不想分配新内存，可能考虑 unsafe.Pointer。例如把前 8 字节当作 [2]int32：

data := []byte{1, 0, 0, 0, 2, 0, 0, 0}
p := (*[2]int32)(unsafe.Pointer(&data[0]))
fmt.Println(p[0], p[1]) // 1 2

但这有几个硬性前提：

• 源数据底层数组必须足够长且对齐（int32 要求 4 字节对齐）
• 目标数组长度不能超过源 slice 的 cap，否则越界读
• 禁止在 GC 可能移动底层数组的场景下使用（如传入 goroutine 后长期持有该指针）
• 开启 -gcflags="-d=checkptr" 可捕获部分非法强转

绝大多数业务代码不该碰这个，优先用 binary.Read 或 encoding/binary 安全解析。

指针数组（*[N]T）和数组指针（[N]*T）别搞混

这两个类型语义完全不同，错误使用会导致 panic 或静默错误：

• [3]*int：长度为 3 的数组，每个元素都是 *int（即三个独立指针）
• *[3]int：一个指针，指向某个长度为 3 的 int 数组的首地址

常见误写：var p *[3]int; p[0] = 1 → panic: invalid memory address or nil pointer dereference，因为 p 是 nil 指针。正确做法是先让它指向有效数组：

arr := [3]int{0, 0, 0}
p := &arr
p[0] = 42 // OK

真正容易被忽略的是：数组指针 *[N]T 的零值是 nil，而数组 [N]T 的零值是全零值。一旦解引用未初始化的 *[N]T，就是运行时 panic，且这种错误不会在编译期暴露。

以上就是本文的全部内容了，是否有顺利帮助你解决问题？若是能给你带来学习上的帮助，请大家多多支持golang学习网！更多关于Golang的相关知识，也可关注golang学习网公众号。