17370845950

Go中数组是值类型，赋值或传参时复制整个数组；指向整个数组的指针（如[3]int）保留长度信息，可直接索引访问和修改原数组；指向首元素的指针（int）不带长度，应优先用切片替代裸指针操作。

在 Go 语言中，数组是值类型，赋值或传参时会复制整个数组；而指针可用于间接访问数组内存，避免拷贝开销，也支持动态修改原数组内容。理解指针与数组的关系，关键在于分清 指向数组的指针 和 指向数组元素的指针 —— 二者语义和用法完全不同。

指向整个数组的指针：保留数组长度信息

Go 支持对固定长度数组取地址，得到类型如 *[3]int 的指针。这种指针明确绑定数组长度，解引用后仍为数组，可直接用索引访问元素：

• 声明：arr := [3]int{10, 20, 30}; p := &arr → p 类型是 *[3]int
• 访问元素：(*p)[0] 或 p[0]（Go 允许省略解引用，p[i] 等价于 (*p)[i]）
• 修改原数组：p[1] = 99 会直接改变 arr[1]

指向数组首元素的指针：更常用，但丢失长度

对数组使用 &arr[0] 得到的是元素类型指针（如 *int），它只指向第一个元素，不携带数组长度信息：

• 获取地址：ptr := &arr[0] → ptr 是 *int，不是数组指针
• 访问后续元素需手动偏移：*(*int)(unsafe.Pointer(uintptr(unsafe.Pointer(ptr)) + uintptr(i)*unsafe.Sizeof(int(0))))（不推荐，易出错）
• 实际开发中应避免裸指针算术；改用切片或显式传递长度

用切片替代裸指针操作数组

Go 推荐用切片（[]T）安全地操作数组片段。切片底层包含指向底层数组的指针、长度和容量，既高效又安全：

• 从数组创建：slice := arr[:] 或 slice := arr[1:3]
• 修改 slice 即修改原数组对应位置：slice[0] = 100 → arr[0] 同步更新
• 传参时传递切片，函数内可读写原数组，且无需手动管理指针或长度

注意事项与常见误区

Go 中没有传统 C 风格的数组指针算术，也不支持 ptr++ 这类操作。以下要特别注意：

• 数组变量名本身不是指针，arr 是值，&arr 才是指针
• arr[:] == &arr[0] 不成立：前者是切片，后者是 *int，类型不同
• 函数参数若接收 [N]T，会复制整个数组；接收 *[N]T 或 []T 才能避免拷贝
• 不要用 unsafe 做指针偏移，除非你完全清楚内存布局且有强性能需求