本文详解Go语言中二维切片（[][]uint8）初始化时常见的“index out of range”错误，重点说明为何仅分配外层数组而未初始化内层切片会导致运行时panic，并提供安全、标准的二维切片构建方案。

本文详解go语言中二维切片（`[][]uint8`）初始化时常见的“index out of range”错误，重点说明为何仅分配外层数组而未初始化内层切片会导致运行时panic，并提供安全、标准的二维切片构建方案。

在Go中，[][]uint8 是一个切片的切片，其内存结构是两层独立的动态数组：外层切片存储指向内层切片的指针，而每个内层切片必须显式创建。原代码中仅执行了 s1 := make([][]uint8, dy)，这仅分配了长度为 dy 的外层切片，其中每个元素（即 s1[i]）初始值为 nil。当后续尝试访问 s1[i][j] 时，由于 s1[i] 是 nil 切片，对它的索引操作会立即触发 panic: index out of range。

正确的做法是分两步初始化：

1. 创建外层切片（行数）；
2. 对每一行，单独调用 make([]uint8, dx) 创建对应列数的内层切片。

以下是修复后的完整示例（兼容新版 Go Tour 路径）：

Go语言（Golang）1.26.0

Go语言（Golang）1.26.0版本官方下载，版本号 1.26.0，适合旧项目维护、兼容性测试和指定版本开发环境搭建。

下载

package main

import "golang.org/x/tour/pic"

func Pic(dx, dy int) [][]uint8 {
    // 步骤1：创建外层切片，共 dy 行
    p := make([][]uint8, dy)

    // 步骤2：为每一行分配内层切片（每行 dx 列）
    for i := range p {
        p[i] = make([]uint8, dx)
        // 步骤3：填充像素值（示例：i * j，确保结果在 uint8 范围内）
        for j := range p[i] {
            p[i][j] = uint8(i * j)
        }
    }
    return p
}

func main() {
    pic.Show(Pic)
}

⚠️ 关键注意事项：

立即学习“go语言免费学习笔记（深入）”；

• make([][]uint8, dy) 不会自动为每一行分配内存，它只初始化外层结构；
• p[i] 在赋值前为 nil，任何对其的读写（如 p[i][j]）均非法；
• 内层切片长度应为 dx（列数），而非 dy；原代码中 for j := range s1 错误地遍历了外层切片长度，导致越界；
• 若需自定义像素逻辑（如渐变、图案），务必保证计算结果不溢出 uint8（0–255），可使用 uint8((i+j)/2) 或 uint8(i^j) 等安全表达式。

掌握二维切片的显式分层初始化，是避免此类 panic 的核心原则——Go 永远不会隐式分配嵌套结构，一切内存管理需由开发者明确控制。