空切片的底层结构到底占多少内存
空切片（[]int{}、make([]int, 0)）在 Go 中不分配元素内存，但它的头结构 reflect.SliceHeader 本身是固定大小的：8 字节（ptr）+ 8 字节（len）+ 8 字节（cap）= 24 字节（64 位系统）。这个结构体存在于栈或堆上，取决于切片变量的生命周期。
常见错误现象：以为 var s []int 是“零开销”，其实它仍占用 24 字节栈空间；更隐蔽的是，把它作为函数参数传入时，这 24 字节会复制——不是指底层数组，而是头信息本身。
-
var s []int和s := make([]int, 0)的reflect.SliceHeader内存布局完全一致，只是cap可能为 0 或更大 - 如果切片逃逸到堆上（比如被闭包捕获），整个
SliceHeader会随其所属对象一起堆分配 - 用
unsafe.Sizeof(s)可直接验证：结果恒为 24（amd64），和元素类型无关
用 unsafe.Slice 替代 reflect.SliceHeader 操作时的坑
Go 1.17+ 推荐用 unsafe.Slice 构造切片，而不是手动拼 SliceHeader。后者容易触发内存越界或 GC 不识别的问题，尤其当指针来源不可靠时。
典型错误场景：从 C 函数拿到 *C.int 后，用 reflect.SliceHeader{Data: uintptr(unsafe.Pointer(p)), Len: n, Cap: n} 强转——GC 不知道这段内存归属，可能提前回收，或导致 invalid memory address panic。
立即学习“go语言免费学习笔记（深入）”；
- 正确做法是用
unsafe.Slice(p, n)，它会生成一个 GC 可见的切片，且底层指针绑定到原对象生命周期（若 p 来自 Go 分配） - 如果 p 来自 C malloc，必须配合
C.free手动管理，并确保切片不出作用域，否则unsafe.Slice不会延长 C 内存寿命 -
unsafe.Slice不接受nil指针，而老式SliceHeader方式可能静默失败，这点反而更安全
不同创建方式对底层数组复用的影响
切片是否共享底层数组，不看是否为空，而看是否由同一底层数组派生。空切片也可能持有大容量底层数组，造成意外内存滞留。
例如：s := make([]byte, 0, 1024*1024) 创建一个 len=0、cap=1MB 的切片，它背后已分配了 1MB 数组。后续 append 若未超 cap，就不会 realloc，但这段内存一直被引用着。
-
var s []byte：len=0, cap=0, Data=nil —— 真·无底层数组 -
make([]byte, 0)：len=0, cap=0，但底层可能复用 runtime 小对象缓存（极少影响，可忽略） -
make([]byte, 0, N)：len=0, cap=N，立刻分配 N 字节底层数组，即使没存数据 - 用
s[:0]截取已有切片也会产生空切片，但 Data 和原切片一致，cap 保留原值 —— 这是最容易被忽略的隐性内存持有者
与其他容器对比：map、chan、struct 的内存基线
单纯比“空结构”内存，slice 并不特殊：空 map 是 8 字节（runtime.hmap 指针），空 chan 是 8 字节（runtime.hchan 指针），而空 struct{} 是 0 字节。但真实开销要看首次使用行为。
关键差异在于：slice 的 24 字节是立即、确定、不可省略的；而 map/chan 的底层结构只在第一次写入时才分配（lazy init）。这意味着高频创建空切片比空 map 更“实诚”地吃内存。
- 空
map[string]int变量本身只存一个*runtime.hmap指针（8 字节），hmap 结构体（~40 字节）在第一次m[k] = v时才 malloc - 空
chan int同理，runtime.hchan在ch 或 <code><-ch时才分配 - 所以如果你大量初始化但长期不使用的容器，空 slice 反而是最“重”的那个
真正要注意的不是“空 slice 多占了 24 字节”，而是它背后可能挂着 MB 级底层数组，且这种挂载关系极难从表面代码察觉。
