切片越界 panic 的真实触发点是 s[i] 或 s[i:j] 中 i 或 j 超出 len(s)，与是否使用 goroutine 无关；并发仅放大因竞态导致的越界概率。
切片越界 panic 的真实触发点在哪
不是“用了 goroutine 就会 panic”，而是 s[i] 或 s[i:j] 访问时，i 或 j 超出当前切片的 len(s) —— 无论是否并发，这个判断逻辑完全一样。并发只是放大了条件竞争导致的越界概率，比如多个 goroutine 同时修改 s 的长度或底层数组，让某个 goroutine 看到的 len(s) 是旧值，但实际内存已被覆盖或扩容迁移。
预分配 + 固定索引写入是最简安全模式
当你要对切片每个元素做独立计算（如转换、校验、IO），且结果顺序需与输入一致，直接预分配输出切片并按索引写入，是零锁、无竞争、不 panic 的首选路径：
-
out := make([]T, len(src))—— 强制底层数组就位，cap(out) == len(out)，后续所有out[i] = ...都是内存安全的写入 - goroutine 必须显式传入
i和src[i]，不能闭包捕获循环变量，否则所有 goroutine 可能写到同一个out[i]或读错src元素 - 不需要 channel、不需要 mutex、不需要
append—— 这些操作在并发场景下都隐含长度/容量变化风险
并发 append 到同一切片必 panic
以下代码注定失败，且每次运行结果不同：
sl := make([]int, 0) for i := 0; i <p>原因很直接：<code>append</code> 可能触发底层数组扩容，而扩容过程包含：分配新数组 → 复制旧数据 → 更新 <code>sl.ptr</code> 和 <code>sl.len</code>。这些操作不是原子的，两个 goroutine 可能同时执行复制，或一个刚更新 <code>ptr</code> 另一个还在用旧 <code>ptr</code> 写入，最终导致数据丢失、越界 panic 或静默错误。</p>
- 若必须动态增长，用
sync.Mutex包裹append调用 - 或改用
chan收集结果，主 goroutine 统一append - 绝不要在多个 goroutine 中无保护地调用
append或修改切片头字段
安全取值永远要先比对索引
哪怕你「确定」切片有 5 个元素，只要索引来自外部输入、计算推导或并发修改，s[4] 就仍可能 panic。真正安全的做法只有一种：
- 写成
if i = 0 { v = s[i] }，别省略任一条件 - 空切片
[]int不是nil，len(s) == 0时任何正索引都越界 - 泛型封装函数如
SafeGet[T](s []T, i int) (T, bool)比每次手写更可靠，也避免漏掉负索引检查 - 用
for range s替代for i := 0; i ，可彻底避开手动索引越界，但无法用于随机访问场景
最易被忽略的是：panic 不总发生在你写的那行 s[i] 上——它可能出现在下游函数里，而你传进去的 s 已被上游 goroutine 意外截断或扩容，此时调试器看到的 panic 行号会误导你排查方向。
golang免费学习笔记（深入）：立即使用
在学习笔记中，你将探索golang的核心概念和高级技巧！
