Go切片扩容非简单翻倍，而是按规则分阶段重分配；其底层为24字节轻量结构（指针、len、cap），仅描述底层数组片段，赋值开销恒定且支持共享数组；扩容仅在append导致len==cap时触发。
Go语言中切片（Slice）的扩容不是简单地“翻倍”，而是有明确规则、分阶段触发的内存重分配过程；它的底层结构极轻量，仅由三个字段组成——指针、长度、容量，却支撑起整个动态数组语义。
切片的底层结构：24字节的高效视图
在64位系统上，一个slice变量本身只占24字节：8字节指向底层数组（array unsafe.Pointer），8字节存长度（len int），8字节存容量（cap int）。它不持有数据，只是对底层数组的一段“窗口描述”。
这意味着：
- 赋值或传参时只拷贝这24字节，开销恒定，与底层数组大小无关
- 多个切片可共享同一底层数组，修改可能相互影响（如通过
s1 := s[0:3]和s2 := s[2:5]） -
nil切片的array为nil，而make([]int, 0, 10)创建的是非nil但len=0的切片，二者行为不同（例如append对前者会先分配内存）
扩容触发时机：append打破len ≤ cap约束
扩容只在调用append且当前len == cap时发生。此时运行时调用growslice函数，决定是否以及如何分配新底层数组。
立即学习“go语言免费学习笔记（深入）”；
关键判断逻辑是：
- 若原
cap == 0，新容量设为1 - 若原
cap ，新容量按2倍增长（即<code>newcap = cap * 2） - 若原
cap ≥ 1024，新容量按1.25倍增长（即newcap = cap + cap/4），避免过度分配 - 无论哪种策略，最终容量都会被向上取整到内存对齐边界（如
int类型按8字节对齐）
扩容后的数据迁移与指针更新
扩容必然涉及新内存分配、旧数据复制、指针重置三步：
- 新底层数组通过
mallocgc分配，大小为newcap × 元素大小，并初始化为零值 - 旧底层数组中
[0:len)范围的数据被memmove复制过去 - 原切片头中的
array字段被更新为新地址，len设为原len+1（单个append），cap设为newcap - 原底层数组若无其他引用，将在后续GC中被回收
实践建议：减少隐式扩容开销
频繁扩容会引发多次内存分配与拷贝，影响性能。推荐做法：
- 预估大小，用
make([]T, 0, expectedCap)初始化，避免初始扩容 - 批量追加时，优先使用
append(dst, src...)而非循环单个append - 注意切片截取操作不会改变底层数组容量，
s[0:0]后cap仍保留，可复用空间 - 跨goroutine传递切片时，若需独立数据副本，显式用
copy构造新底层数组，而非依赖append扩容
