go中没有指针数组类型,[]*t是元素为指针的切片;需用make创建后逐个赋值有效地址,禁止对切片元素取址以防悬垂指针,其内存开销大、缓存不友好,仅适用于大结构体需共享或部分修改场景。

Go 里没有“指针数组”这种独立类型,[]*T 就是你要的——它是一个元素为指针的切片,不是 C 风格的指针数组。直接用 []*T,别写 *[]T 或 *[N]T,它们语义完全不同,混用会编译失败或运行时崩溃。
怎么声明和初始化 []*int
用 make 创建切片,再逐个赋值指向有效变量:
-
ptrs := make([]*int, 3)创建长度为 3 的切片,所有元素初始为nil - 每个元素必须显式指向一个存活变量:
x := 42; ptrs[0] = &x - 若需全部指向新分配的零值,用循环:
for i := range ptrs { ptrs[i] = new(int) } - 不能写
ptrs := []*int{&x, &y}后再对x、y做局部重定义(如x := 100),否则旧指针悬空
为什么不能对切片元素取地址(如 &slice[i])
切片底层数组可能扩容,&slice[i] 得到的地址在扩容后失效,变成悬垂指针:
- 错误示例:
s := []int{1,2,3}; ptrs := []*int{&s[0], &s[1]} - 后续执行
s = append(s, 4)可能触发底层数组复制,ptrs[0]仍指向旧内存 - 读写该指针会引发
fatal error: unexpected signal during runtime execution或静默数据错乱 - 安全做法:先拷贝值再取址,
val := s[0]; ptrs[0] = &val
[]*T 和 *[N]T 的关键区别
两者完全不兼容,编译器拒绝隐式转换:
-
[]*int是动态切片,元素是*int,可append,底层指针分散在堆上 -
*[3]int是指向固定长度数组的指针,&arr(其中arr [3]int)才合法;&arr[0]类型是*int,丢失长度信息 - 常见报错:
cannot use &arr (type *[5]int) as type *[3]int in assignment - 传参场景:
func f(p *[1000]int)省拷贝,但仅当真需要操作整个定长块时才值得用
什么时候该用 []*T?性能和内存要注意什么
小类型(int、bool)几乎不该用 []*T:
- 内存开销更大:
[]*int不仅存指针本身(8 字节/元素),还要为每个*int单独分配堆内存(含 malloc header) - 缓存不友好:指针目标分散,CPU cache line 命中率远低于连续的
[]int - GC 压力更高:每个
*int是独立堆对象,需单独追踪 - 真正适用场景:大结构体(如 >32 字节)、只改少数字段、或需跨函数共享同一份数据
最易被忽略的一点:你写的 []*T 切片本身是值类型,赋值或传参时只复制指针数组头(3 个字),但里面的每个 *T 仍指向原目标——这点常被误以为“深拷贝”,其实不是。
golang免费学习笔记(深入):立即使用
在学习笔记中,你将探索golang的核心概念和高级技巧!











