Go中不存在“数组指针”独立类型,[3]int是指向数组的指针,[3]int是含3个*int元素的数组,二者内存布局、零值及传参语义均不同。

数组指针和指针数组在Go里根本不是一回事
Go没有“数组指针”这种独立类型,*[3]int 是一个指向数组的指针;而 []int 是切片(不是指针数组)。所谓“指针数组”,实际是 [3]*int —— 一个包含3个 *int 元素的数组。两者内存布局、零值行为、传参语义完全不同。
常见错误现象:func f(p *[3]int) 接收的是整个数组地址,修改 p[0] 会影响原数组;但误写成 func f(p [3]*int) 就变成接收一个含3个 nil 指针的副本,改它对原数据毫无影响。
-
*[N]T:指向固定长度数组的指针,nil表示空地址,解引用前必须确保非空 -
[N]*T:长度为 N 的数组,每个元素是*T类型,数组本身按值传递,内部指针可指向任意位置 - 切片
[]T不是指针数组,也不等价于*[N]T,它有 header(ptr+len+cap),不可比较,不能作 map key
传参时用 *[N]T 还是 []T?看场景
如果函数必须知道数组确切长度(比如处理 C ABI、内存对齐、或算法强依赖 N),用 *[N]T;否则一律用 []T。后者更符合 Go 习惯,且能自动适配不同长度切片。
性能差异明显:*[N]T 传参只压入一个指针(8 字节),[]T 传参压入三个字长(24 字节),但换来的是灵活性和内置函数支持(append、copy 等)。
立即学习“go语言免费学习笔记(深入)”;
- 需要修改原数组内容 → 用
*[N]T或[]T都可以,但[]T更安全(不会因长度错配 panic) - 要扩容 → 只能用
[]T,*[N]T所指数组长度固定,无法增长 - 对接 C 函数(如
C.func(&arr[0]))→ 实际需要的是&arr[0](*T),不是*[N]T,别混淆
[N]*T 容易踩的坑:初始化和 nil 检查
[3]*int 的零值是 [3]*int{nil, nil, nil},不是 nil 整体。直接 if arr == nil 永远为 false,必须逐个检查元素是否为 nil。
常见错误现象:循环中未判空就解引用 *arr[i],触发 panic: "invalid memory address or nil pointer dereference"。
- 初始化时若想让所有元素指向新 int,得显式循环赋值:
for i := range arr { arr[i] = new(int) } - 传参后若需修改某个指针目标,必须确认该元素非
nil,否则解引用失败 - 不能用
range直接获取地址:for _, p := range arr { *p = 42 }是安全的,但for i := range arr { *arr[i] = 42 }更清晰可控
复杂类型嵌套时怎么写清楚?靠括号和命名
Go 类型语法优先级容易让人迷糊,比如 *[]int 是“指向切片的指针”,[]*int 是“指针切片”,*[3]*int 是“指向含3个 *int 的数组的指针”。光靠记忆容易出错。
建议永远加括号明确意图,配合有意义的类型名:
type IntPtrArray [3]*int
type PtrToIntArray *[3]int
func processPtrs(arr IntPtrArray) { ... }
func processArrPtr(p PtrToIntArray) { ... }
这样比裸写 [3]*int 或 *[3]int 更易读、易维护,也避免重构时搞混层级。
真正麻烦的不是定义,而是跨包传递这类类型时,调用方是否清楚你传的是“数组的指针”还是“指针的数组”——文档和变量名必须直说,不能靠猜。










