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]

如何用指针批量修改数组元素

若需遍历并有条件地修改数组中多个元素，用指针避免重复索引和拷贝，尤其当元素是大结构体时更明显。注意：必须基于「可寻址数组」，而非只读切片副本。

典型场景：初始化一组结构体字段、标记状态、就地归一化数值等。

• 使用 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])）前后对比，能快速验证是否发生重分配

这个坑没有编译期提示，运行时行为未定义，容易引发静默数据错乱。