Go中用append删除元素需校验索引并带...展开符，否则编译失败；不显式分配新底层数组易致内存泄漏，安全做法是make新切片再append。
Go 内置函数本身不提供“高效操作数据”的抽象能力，len、cap、append、copy、clear 这些函数只是基础原语，真正决定效率的是你如何组合它们、是否规避底层数组共享、是否预分配空间。
用 append 删除元素时为什么切片变长了？
常见错误是写成 append(s[:i], s[i+1:]...) 却漏掉 ...，或误用 s[i+1:] 作为单个参数传入 —— 这会导致编译失败：cannot use s[i+1:] (type []T) as type T。正确写法必须带展开符：
s = append(s[:i], s[i+1:]...)
但更关键的问题是：这个操作不分配新底层数组，结果切片仍指向原数组，可能造成内存泄漏（比如原切片很大，只删一个元素后长期持有小结果）。
- 安全做法：显式创建新底层数组，如
newS := make([]T, 0, len(s)-1); newS = append(newS, s[:i]...); newS = append(newS, s[i+1:]...) - 校验索引必不可少：
if i = len(s)，否则运行时 panic - 若仅需临时删除且后续不长期持有，直接用
append(s[:i], s[i+1:]...)更轻量
append 插入元素为何会重复拷贝或越界？
错误写法 append(s[:i], v, s[i:]...) 看似简洁，实则把 s[i:] 展开为多个独立参数，等价于 append(s[:i], v, s[i], s[i+1], ...)，导致 s[i] 被插入两次。
立即学习“go语言免费学习笔记（深入）”；
使用 uber-go/dig 在 Golang 中实现依赖注入——基于反射容器，提供 Provide/Invoke、dig.In/dig.Out 参数与结果对象，支持命名依赖等
标准插入流程必须分三步，且顺序不能颠倒：
- 先扩容：
s = append(s, zeroValue)（确保底层数组足够，避免copy前 realloc 导致原s[i:]地址失效） - 再平移：
copy(s[i+1:], s[i:])（向右移动已有元素） - 最后赋值：
s[i] = v
其中 zeroValue 必须是目标类型的零值，例如 int 用 0，string 用 ""。
copy 和 clear 的边界陷阱
copy(dst, src) 只复制 min(len(dst), len(src)) 个元素，不会自动扩容 dst。如果 dst 容量不足，数据会被截断，且无任何提示。
- 务必提前检查：
if len(dst) ，否则静默丢数据 -
clear(s)（Go 1.20+）只是将切片每个元素设为零值，并不改变底层数组或长度；它不释放内存，也不影响其他引用同一底层数组的切片 - 对 map 使用
clear(m)是安全的，等价于for k := range m { delete(m, k) }，但比循环快
最易被忽略的一点：所有这些函数都不做运行时类型检查或边界自动修复。len 和 cap 返回 int，但如果你用它们参与计算后直接当索引用，而没做 uint 转换或负数判断，panic 就在下一行等着你。
