Go 中数组是值类型，对指针解引用后赋值（如 x := *p）会创建完整副本，修改副本不影响原数组；要实现“引用式”修改，需使用切片（t[:]）或直接通过指针操作。

go 中数组是值类型，对指针解引用后赋值（如 `x := *p`）会创建完整副本，修改副本不影响原数组；要实现“引用式”修改，需使用切片（`t[:]`）或直接通过指针操作。

在 Go 语言中，数组（如 [5]int）是值类型，而非引用类型。这意味着每次赋值、传参或解引用时，只要发生变量绑定（如 x := *p），Go 就会执行完整内存拷贝——即使源数据是一个指向数组的指针。

来看原始示例的关键逻辑：

var t [5]int          // t 是一个值：5个 int 的连续内存块
p := &t               // p 是 *([5]int)，指向 t 的起始地址
x := *p               // ⚠️ 关键：此处将 t 的全部 5 个 int 拷贝到新内存，x 是独立副本
x[0] = 4              // 仅修改副本 x 的第 0 个元素
// t 和 *p 仍保持原值 —— 因为 x 和 t 在内存中完全无关

输出中 p 和 t 的地址一致（0xc4200142d0），但 x 的地址不同（%!p([5]int=...) 表示未打印有效地址，实为新分配栈空间），印证了 x 是全新拷贝。

✅ 正确修改原数组的方式有以下两种：

Golang Uber Dig

使用 uber-go/dig 在 Golang 中实现依赖注入——基于反射容器，提供 Provide/Invoke、dig.In/dig.Out 参数与结果对象，支持命名依赖等

下载

方式一：通过指针直接修改（推荐，语义清晰）

p := &t
(*p)[0] = 4  // 直接解引用并写入 → 修改 t[0]
fmt.Println(t) // [4 0 0 0 0]

方式二：转换为切片（利用切片的引用语义）

s := t[:]     // s 是 []int，底层数据仍指向 t 的内存
s[0] = 4      // 修改切片即修改底层数组
fmt.Println(t) // [4 0 0 0 0]

⚠️ 注意事项：

• 不要误以为 := 会“分配新地址”——它只是声明+初始化，拷贝行为由类型决定（数组必拷贝，切片/映射/通道/接口等才共享底层数据）；
• &t 得到的是指向整个数组的指针，其类型是 *[5]int，不是 *int；若需逐元素操作，应配合索引（(*p)[i]）或转为切片；
• 在函数参数传递中，若需避免大数组拷贝，应显式传递 *[N]T 或 []T，而非 [N]T。

总结：Go 数组的“值语义”是设计核心之一，它保障了内存安全与可预测性。理解何时拷贝、何时共享，是写出高效、无 Bug Go 代码的基础。