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。










