本文详解 Go 语言中 panic: runtime error: index out of range 的常见诱因——混淆切片长度（len）与容量（cap），重点说明 make([]T, 0, N) 与 make([]T, N) 的本质区别，并提供安全、惯用的切片构建实践。
本文详解 go 语言中 `panic: runtime error: index out of range` 的常见诱因——混淆切片长度（len）与容量（cap），重点说明 `make([]t, 0, n)` 与 `make([]t, n)` 的本质区别，并提供安全、惯用的切片构建实践。
在 Go 中，index out of range panic 并非总是源于“数组为空”，而更常源于对切片底层机制的误解。核心问题在于：切片的长度（len）决定其可安全访问的索引范围，而非容量（cap）。
例如，以下两行代码看似相似，行为却截然不同：
result1 := make([]string, 0, 4) // len=0, cap=4 → result1[0] panic! result2 := make([]string, 4) // len=4, cap=4 → result2[0] ~ result2[3] 合法
- make([]string, 0, 4) 创建一个长度为 0、容量为 4 的切片。其底层数组虽已分配空间，但逻辑上“无元素”，因此任何 result1[i]（i ≥ 0）都会触发越界 panic。
- make([]string, 4) 创建一个长度和容量均为 4 的切片，等价于 []string{"", "", "", ""}，此时 result2[0] 到 result2[3] 均可安全读写。
✅ 正确做法：若需动态累积元素，应使用 append()；若需预分配且立即索引赋值，才用 make(T, n) 初始化固定长度。
以下是一个修复后的典型示例（提取含元音的单词）：
package main
import (
"fmt"
"strings"
)
func myFunc(input string) []string {
words := strings.Fields(input)
// 预分配容量，但保持长度为 0 → 安全使用 append
result := make([]string, 0, len(words)) // cap 可设为预期大小，避免频繁扩容
for _, word := range words {
if strings.ContainsAny(word, "aeiouAEIOU") {
result = append(result, word) // ✅ 唯一安全的添加方式
}
}
return result
}
func main() {
fmt.Println(myFunc("Political srt hello world")) // ["Political", "hello", "world"]
}关键要点总结：
- ? 禁止对 len == 0 的切片执行 slice[i] 赋值或读取；
- ✅ 动态构建优先用 make([]T, 0, cap) + append()，兼顾性能与安全性；
- ✅ 若明确知道最终元素数量且需直接索引，用 make([]T, n) 或字面量初始化；
- ? 调试时可用 fmt.Printf("len=%d, cap=%d\n", len(s), cap(s)) 快速验证切片状态。
理解 len 与 cap 的分离设计，是写出健壮 Go 代码的基础。切片不是数组，它的“可用性”由长度定义，而非底层容量。
