17370845950

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 一个目标值，或用取地址操作符绑定已有变量：

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 解引用、栈变量逃逸、切片扩容重分配这些坑里。