Golang数组指针与指针数组区别解析

本文深入剖析了Go语言中极易混淆的“数组指针”（*[N]T）与“指针数组”（[N]*T）的本质区别——前者是指向固定长度数组的单一指针，后者是包含N个指针元素的数组，二者在内存布局、零值行为、传参语义及常见陷阱上截然不同；文章不仅厘清了*[N]T、[N]*T与切片[]T的根本差异，还结合实战场景给出选型建议（如对接C需&arr[0]而非*[N]T）、避坑指南（如[N]*T零值非nil需逐元素判空）和可读性最佳实践（用类型别名+括号明确意图），帮你彻底摆脱因类型误解导致的panic、静默错误和维护困境。

数组指针和指针数组在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 等）。

• 需要修改原数组内容 → 用 *[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 更易读、易维护，也避免重构时搞混层级。

真正麻烦的不是定义，而是跨包传递这类类型时，调用方是否清楚你传的是“数组的指针”还是“指针的数组”——文档和变量名必须直说，不能靠猜。

终于介绍完啦！小伙伴们，这篇关于《Golang数组指针与指针数组区别解析》的介绍应该让你收获多多了吧！欢迎大家收藏或分享给更多需要学习的朋友吧~golang学习网公众号也会发布Golang相关知识，快来关注吧！