Go中没有指针数组语法糖，[]*T是切片而非数组；固定长度需用[N]*T，且元素初始化为nil，解引用前须分配内存，传参时修改指针指向内容生效但修改切片头无效。
Go 中没有真正的“指针数组”语法糖，[]*T 是切片而非数组
Go 语言不支持 C 风格的 int* arr[10] 这种“指针数组”声明。你写 []*string，得到的是一个元素类型为 *string 的切片（动态长度），不是固定大小的数组。若真需要固定长度的指针容器，必须显式声明如 [3]*string —— 这才是长度为 3 的数组，每个元素是 *string。
常见误判：把 make([]*string, 5) 当作“指针数组”，其实它生成的是切片，底层仍含 len、cap 和指向底层数组的指针，和 C 的栈上数组语义完全不同。
-
[5]*int：栈上分配的固定长度数组，类型明确，不可扩容 -
[]*int：运行时堆上管理的切片，可 append，但需注意元素本身是否为 nil - 声明
var arr [3]*string后，所有元素初始值为nil，解引用会 panic
初始化 []*T 切片时，必须为每个元素单独分配内存
直接 make([]*string, 3) 只分配了 3 个 *string 的存储位置，但每个指针都是 nil。后续若执行 *slice[i] = "hello"，会触发 runtime error: invalid memory address。
正确做法是遍历并为每个元素 new 一个目标值，或用取地址操作符绑定已有变量：
立即学习“go语言免费学习笔记（深入）”；
使用 uber-go/dig 在 Golang 中实现依赖注入——基于反射容器，提供 Provide/Invoke、dig.In/dig.Out 参数与结果对象，支持命名依赖等
names := []string{"a", "b", "c"}
ptrs := make([]*string, len(names))
for i := range names {
ptrs[i] = &names[i] // 绑定 slice 元素的地址
}
// 或者逐个 new：
nums := make([]*int, 2)
nums[0] = new(int)
*nums[0] = 42
nums[1] = new(int)
*nums[1] = 100- 若源数据是局部变量，取其地址后存入切片，要确认该变量生命周期足够长（例如不能是 for 循环内临时声明的 string）
- 用
new(T)创建零值指针最安全，尤其当目标类型较大或需避免拷贝时 - 不要写
ptrs = []*string{&"x", &"y"}—— 字符串字面量是只读的，取地址在 Go 1.22+ 会编译报错
传递 []*T 到函数时，修改指针值不影响调用方，但修改指针指向的内容会生效
Go 所有参数都是值传递。[]*T 本身是切片头（含指针、len、cap），传入函数后，函数内对切片做 append 不会影响原切片；但若函数内执行 *ptrs[i] = "new"，则原数据被改写 —— 因为指针指向的内存是共享的。
func updateNames(ptrs []*string) {
*ptrs[0] = "changed" // ✅ 影响调用方
ptrs = append(ptrs, new(string)) // ❌ 不影响调用方的 ptrs 变量
}
names := []string{"old"}
ptrs := []*string{&names[0]}
updateNames(ptrs)
fmt.Println(*ptrs[0]) // 输出 "changed"- 如果函数需动态增删指针元素，应返回新切片：
func f([]*string) []*string - 若只需读取指针指向的值，接收
[]*T没问题；若还需修改指针本身（比如让某个元素指向别处），需传*[]*T - 对
[N]*T数组传参，整个数组按值拷贝（N 较大时开销明显），通常应改用切片或指针传参
用 unsafe 强制转换 []*T 为 *[N]*T 极其危险，几乎不该用
有人试图用 unsafe.Slice 或 unsafe.Pointer 把切片头转成数组指针，以绕过切片限制。这破坏了 Go 的内存安全模型，且在 GC 周期中可能导致悬挂指针或崩溃。
真正需要固定长度、指针语义的场景极少。更合理的替代方案包括：
- 用结构体封装固定数量的字段：
type NamePtrs struct { A, B, C *string } - 坚持用
[]*T并通过文档/常量约束长度，配合单元测试校验 - 若性能关键且确定长度不变，用
[N]*T数组并始终以指针形式传参：func f(arr *[3]*string)
数组与指针结合的本质，是控制数据所有权和内存布局。Go 的设计倾向是让开发者显式面对这些选择，而不是隐藏在语法糖之下。越想模拟 C 的指针数组行为，越容易掉进 nil 解引用、栈变量逃逸、切片扩容重分配这些坑里。
