17370845950

Go中容器的值/引用语义取决于容器自身类型：数组是值类型，赋值时复制全部元素；切片、map、chan是引用类型，赋值时共享底层数据。

Go 中的值类型在容器中遵循严格的复制语义，但具体表现取决于容器本身是值类型还是引用类型。关键不是“容器里装的是值类型”，而是“这个容器自身是不是值类型”。

数组是典型的值类型容器

声明为 [3]int 的数组，赋值或传参时会完整复制全部元素。两个数组变量互不影响：

• 修改 arr1[0] 不会影响 arr2[0]，哪怕它们初始内容相同
• 比较两个数组是否相等，直接用 == 即可，因为它是逐元素比对的值比较
• 底层内存独立分配，不共享数据，适合需要隔离性的场景（如配置快照、校验缓冲区）

切片表面像值，实际是引用语义

切片类型 []int 本身是值类型（结构体：指向底层数组的指针 + 长度 + 容量），但它的行为更接近引用：

• 赋值 s2 := s1 后，s1 和 s2 共享同一底层数组
• s1[0] = 99 会导致 s2[0] 也变成 99（只要没触发扩容）
• 扩容（如 append 导致容量不足）会分配新数组，此时语义断裂，后续修改不再同步

map 和 chan 是引用类型，天然共享

它们的变量存储的是内部结构的指针，所以：

• 赋值 m2 := m1 后，对 m2["k"] 的写入会反映在 m1 中
• 向 ch2 发送数据，ch1（若与 ch2 是同一通道变量）能接收
• 零值 map 或 chan 不能直接使用，必须用 make 初始化，否则 panic

值语义的常见误区

容易混淆的一点是：“切片里存 int，所以是值传递”——其实无关元素类型，只看容器本身的实现机制：

• 数组元素变 int 还是 struct，它仍是值类型容器
• 切片元素是 *int 或 interface{}，它依然具备共享底层数组的引用特性
• 真正决定是否复制的，是容器头（header）如何被传递，而不是里面装什么

基本上就这些。理解容器自身的类型归属，比纠结“里面存的是啥”更能避免 bug。