go切片是底层数组的视图而非动态数组；nil切片（var s []int）与空切片（s := []int{}）len/cap均为0，但nil判断结果不同，影响json序列化等场景；预分配make([]t, 0, n)可避免append扩容开销。
Go切片不是“动态数组”容器，而是带长度和容量的底层数组视图——用错初始化、截取或append，轻则数据被意外改写，重则内存反复分配拖慢性能。
nil切片和空切片到底有什么区别
两者len()和cap()都返回0，但== nil判断结果不同，这在JSON序列化、接口传参、条件分支里极易出错：
-
var s []int→s == nil为true，是未初始化的nil切片 -
s := []int{}→s == nil为false，是已分配但无元素的空切片 - 对nil切片调用
append(s, x)是安全的（Go自动分配底层数组），但对nil做range或len()没问题，做s[0]会panic - 用
if len(s) == 0判断空性更稳妥；用s == nil只适合明确要区分“未初始化”和“已初始化但为空”的场景
make([]T, 0, N)为什么比直接append更高效
频繁append触发扩容时，Go按策略翻倍或+25%重新分配底层数组并复制数据——1000次追加可能引发多次内存拷贝。预分配能彻底避免：
-
data := make([]int, 0, 1000)：长度0，容量1000，一次分配，后续999次append不扩容 var data []int; for i := 0; i ：从容量2开始翻倍，至少经历log₂(1000)≈10次分配+拷贝- 注意：
make([]int, 1000)会初始化1000个零值，若只需预留空间，用make([]int, 0, 1000)更轻量
s[i:j:k]三参数截取的实际作用
两参数s[i:j]只控制长度，容量默认为cap(s) - i；三参数s[i:j:k]显式限制容量上限为k - i，本质是“切一刀再封口”，防止子切片意外撑爆父数组剩余空间：
-
original := []int{1,2,3,4,5}，s := original[1:3]→len=2,cap=4（可append最多2个而不扩容） -
s2 := original[1:3:3]→len=2,cap=2，此时append(s2, 99)必然分配新底层数组，original完全不受影响 - 典型用途：从大缓冲区中切出小段供函数使用，又不想让函数通过append意外污染原缓冲
删除元素为什么必须用append拼接
Go没有内置删除函数，手写循环移位容易越界、漏删或破坏顺序；而append(s[:i], s[i+1:]...)是唯一语义清晰、边界安全的惯用法：
- 删单个：
s = append(s[:i], s[i+1:]...)—— 注意...不能省，否则s[i+1:]会被当作一个[]int参数传入，类型不匹配 - 删连续多个（如索引i到j）：
s = append(s[:i], s[j:]...) - 删末尾元素最便宜：
s = s[:len(s)-1]，不用append，零分配 - 误操作示例：
for i := range s { if cond { s = append(s[:i], s[i+1:]...) } }→ 删除后索引错乱，漏删紧邻元素
切片真正的复杂点不在语法，而在“共享底层数组”这个隐含契约：截取、append、传递给函数，都可能让看似独立的变量悄悄指向同一块内存。是否需要隔离，得看业务逻辑对数据所有权的要求——这点，光记len/cap公式没用，得看指针地址和实际修改效果。
golang免费学习笔记（深入）：立即使用
在学习笔记中，你将探索golang的核心概念和高级技巧！
