Go 中切片索引越界错误的根源与正确处理方式-Golang-PHP中文网

Go 中切片索引越界错误的根源与正确处理方式

本文详解 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) 初始化固定长度。

使用Go语言搭建家庭相册系统-相关课件
使用Go语言搭建家庭相册系统-相关课件

下载

以下是一个修复后的典型示例（提取含元音的单词）：

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"]
}

关键要点总结：