Go中可声明指向数组元素的指针（T类型），如 &arr[1]，但不能直接声明“指针数组”（[N]T是“指向数组的指针”，而非“指针数组”）；正确做法是使用[N]*T或遍历取址&arr[i]，避免对切片元素取址后扩容导致悬空。
怎么声明指向数组元素的指针
Go 中不能直接声明「指针数组」（即 *[N]T 类型），但可以声明「指向数组元素的指针」，也就是 *T 类型，它指向某个 T 类型变量——包括数组中的某一项。关键在于：数组元素是可寻址的，只要不是字面量或临时值，就能取地址。
常见错误是试图对切片元素直接取地址后长期保存，而忽略了底层数组可能被扩容重分配：
- ✅ 正确：对已声明数组的元素取地址，如
&arr[0] - ❌ 危险：对切片
s[0]取地址后，再执行append(s, x)，原地址可能失效
示例：
arr := [3]int{10, 20, 30}
p := &arr[1] // p 是 *int，指向 arr[1]（即 20）
*p = 99 // arr 变为 [10, 99, 30]
如何用指针批量修改数组元素
若需遍历并有条件地修改数组中多个元素，用指针避免重复索引和拷贝，尤其当元素是大结构体时更明显。注意：必须基于「可寻址数组」，而非只读切片副本。
立即学习“go语言免费学习笔记（深入）”；
典型场景：初始化一组结构体字段、标记状态、就地归一化数值等。
- 使用
for i := range arr配合&arr[i]获取每个元素地址 - 避免写成
for _, v := range arr { p := &v }—— 这里v是副本，&v指向的是循环变量，不是原数组项 - 若数组很大且只需改部分元素，提前用条件判断，减少不必要的取址操作
示例（就地翻倍偶数）：
nums := [5]int{1, 2, 3, 4, 5}
for i := range nums {
if nums[i]%2 == 0 {
p := &nums[i]
*p *= 2
}
}
// nums = [1, 4, 3, 8, 5]
为什么不能直接用 *[3]int 当「指针数组」用
*[3]int 是「指向一个长度为 3 的数组的指针」，不是「存放 3 个 *int 的数组」。这是 Go 类型系统里常被混淆的一点。
-
*[3]int：解引用后得到整个数组[3]int，例如ptr := &arr→ptr类型就是*[3]int -
[3]*int：这才是「指针数组」——一个含 3 个*int元素的数组，每个元素都能独立指向不同int - 两者内存布局和用途完全不同：
*[3]int常用于传递大数组避免拷贝；[3]*int用于管理一组分散的、可变的目标地址
示例对比：
// 情况一：*[3]int —— 指向整个数组
arr := [3]int{1, 2, 3}
ptr := &arr // ptr 类型是 *[3]int
fmt.Println(*ptr) // [1 2 3]
// 情况二：[3]*int —— 指针数组
ptrs := [3]*int{&arr[0], &arr[1], &arr[2]}
ptrs[0] = &arr[2] // 可以单独改某个指针
切片与数组指针混用时最易踩的坑
Go 中切片底层是结构体（{ptr, len, cap}），其 ptr 字段指向底层数组首地址。一旦发生扩容（如 append 超出 cap），底层数组可能被复制到新地址，所有之前取的元素指针都会悬空。
- 若你保存了
&s[i]并后续调用s = append(s, x)，该指针大概率失效 - 安全做法：确保切片不会扩容（预设足够
cap），或改用固定数组 + 显式索引 - 调试技巧：打印指针值（
fmt.Printf("%p", &s[i])）前后对比，能快速验证是否发生重分配
这个坑没有编译期提示，运行时行为未定义，容易引发静默数据错乱。
