go中map、chan、slice是常被称作“引用类型”的三类——它们变量本身是值（如slice为24字节结构体），但底层数据在堆上分配且赋值/传参时共享；func、interface{}、string不属此类。
Go 里哪些类型是引用类型？别被“引用”二字骗了
Go 没有传统意义上的“引用类型”概念（比如 C++ 的 & 或 Java 的对象引用语义），官方文档从不这么分类。所谓“引用类型”只是开发者对 map、chan、slice 的经验归纳——它们的变量本身是值，但底层数据结构在堆上分配，且赋值/传参时共享底层数据。
容易踩的坑：func modify(s []int) { s[0] = 99 } 看似能改原 slice，但若函数内做了 s = append(s, 1)，就可能触发底层数组扩容，导致修改失效；这不是“引用没生效”，而是 slice 头部（指针+长度+容量）被复制了，扩容后新头指向新地址。
-
map、chan、slice变量本身是小结构体（如slice是 24 字节），可直接拷贝 -
func、interface{}、string表面像引用（共享底层数据），但string是只读的，func和interface{}底层实现复杂，不建议归为同一类 - 不要写
var m map[string]int = make(map[string]int); m = nil后再用——会 panic：assignment to entry in nil map
map 的底层结构和常见 panic 场景
map 变量本质是个指针，指向一个 hmap 结构体，包含哈希表、桶数组、溢出链表等。它不是线程安全的，也没有内置的“空值检测”逻辑。
典型错误现象：panic: assignment to entry in nil map 或 panic: assignment to entry in nil map（重复 panic 提示一样，但原因不同）。
立即学习“go语言免费学习笔记（深入）”；
- 声明未初始化：
var m map[string]int→m是nil，必须用make(map[string]int)或字面量map[string]int{"a": 1}初始化 - 并发读写：两个 goroutine 同时
m[k] = v或v := m[k]，会直接 crash，报fatal error: concurrent map writes或concurrent map read and map write - 遍历时删除或插入：for range 遍历
map时，允许删除当前 key，但插入新 key 行为未定义（可能漏遍历，也可能 panic）
channel 的内存布局和阻塞判断依据
chan 变量也是个指针，指向 hchan 结构体，含缓冲区（可选）、发送/接收队列、互斥锁等。它的“引用性”体现在：多个变量可指向同一个 channel 实例，关闭行为对所有变量可见。
关键点在于，channel 是否阻塞，**只取决于当前操作类型 + 缓冲区状态 + 对端 goroutine 是否就绪**，和变量是否“相同”无关。
- 无缓冲 channel：
ch := make(chan int)，ch 必须有另一 goroutine 在执行 <code> 才不阻塞 - 有缓冲 channel：
ch := make(chan int, 2)，前两次ch 不阻塞，第三次才阻塞（除非有接收者） - 已关闭的 channel：发送会 panic（
send on closed channel），接收会立即返回零值 +false - 注意
select中default分支的存在，会让 channel 操作变成非阻塞尝试
slice 的三要素怎么影响内存和性能
slice 是三个字段组成的结构体：ptr（指向底层数组）、len（当前长度）、cap（容量上限）。它的“引用性”完全来自 ptr 共享，而 len 和 cap 是独立副本。
最常被忽略的是：cap 决定了能否复用底层数组，也决定了 append 是否扩容。
- 切片截取：
s2 := s[2:4]→s2.ptr == s.ptr，但s2.cap = s.cap - 2，后续append(s2, x)若超s2.cap就会新建底层数组 - 避免意外共享：从大数组提取小 slice 后长期持有，会导致整个原数组无法被 GC（因为
ptr还指着开头） - 预分配容量：
make([]int, 0, 100)比make([]int, 0)更省 realloc 开销，尤其在循环中反复append - 清空 slice 正确方式是
s = s[:0]，不是s = nil（后者会丢掉底层数组引用，下次append必然扩容）
真正难的不是记住哪几个是“引用类型”，而是理解每个类型的头结构怎么复制、底层数组/哈希表/队列怎么共享、以及在并发、扩容、GC 场景下各自的行为边界。这些细节不写进代码注释，运行时也不会提醒你。
