Go中传数组是值拷贝,需用[N]T避免开销;[N]T明确操作固定内存,适用于CGO、高性能计算等场景;与[]T不可直接转换,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 且底层数组足够大)
立即学习“go语言免费学习笔记(深入)”;
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,且这种错误不会在编译期暴露。










