避免Go语言中的“无效内存地址或空指针解引用”错误

聖光之護

发布时间：2025-08-27 20:58:01

904人浏览过

来源于php中文网

原创

避免go语言中的“无效内存地址或空指针解引用”错误

Go语言中，“无效内存地址或空指针解引用”错误（invalid memory address or nil pointer dereference）是开发者经常遇到的问题。这种错误通常发生在试图访问一个未初始化的指针所指向的内存地址时。为了避免此类错误，需要理解指针的本质，并采取正确的编程实践。

首先，让我们回顾一下示例代码，并分析如何避免空指针解引用：

package main

import "fmt"

type Astruct struct {
    Number int
    Letter string
}

type Bstruct struct {
    foo         int
    AStructList []*Astruct
}

type Cstruct struct {
    Bstruct
}

func (a *Astruct) String() string {
    return fmt.Sprintf("Number = %d, Letter = %s", a.Number, a.Letter)
}

func main() {
    astructlist := make([]*Astruct, 3) // line 1
    for i := range astructlist {       // line 2
        astructlist[i] = &Astruct{i, "a"}  // line 3
    } // line 4
    c := new(Cstruct)
    c.Bstruct = Bstruct{100, astructlist} // line 6

    for _, x := range c.Bstruct.AStructList {
        fmt.Printf("%s\n", x)
    }
}

*核心改进：使用指针切片 `[]Astruct`**

原始代码中使用 AStructList *[]Astruct，这意味着 AStructList 是一个指向切片的指针。如果切片本身未初始化，则该指针将为 nil，导致空指针解引用。

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

改进后的代码使用 AStructList []*Astruct，这意味着 AStructList 是一个包含指向 Astruct 的指针的切片。这样，即使切片为空，也不会出现空指针解引用，因为我们仍然可以安全地遍历一个长度为零的切片。

Noya

让线框图变成高保真设计。

下载

步骤详解：

初始化切片： 使用 astructlist := make([]*Astruct, 3) 创建一个包含3个指向 Astruct 的指针的切片。关键在于，切片本身被正确初始化。
分配和赋值： 在循环中，使用 astructlist[i] = &Astruct{i, "a"} 为每个切片元素分配一个新的 Astruct 实例，并将其地址赋值给切片元素。这里使用了 & 符号，获取了 Astruct 实例的地址。
结构体嵌套： 创建 Cstruct 实例，并将包含正确初始化的 astructlist 的 Bstruct 赋值给它。
安全遍历： 使用 for _, x := range c.Bstruct.AStructList 遍历切片。由于 AStructList 是一个切片，即使它为空，遍历也是安全的。 x 变量直接是 *Astruct 类型的指针，可以直接使用。

通用原则：避免空指针解引用

初始化指针： 在使用指针之前，始终确保它指向有效的内存地址。可以使用 new 关键字分配内存，或者将指针赋值为现有变量的地址。
空值检查： 在解引用指针之前，可以使用 if ptr != nil 检查指针是否为空。虽然在很多情况下可以通过良好的设计避免显式的空值检查，但在某些情况下，这是必要的。
使用零值： 了解Go语言中各种类型的零值（zero value）。对于指针来说，零值是 nil。这意味着，如果一个指针没有被显式初始化，它将自动被设置为 nil。
使用切片而非指向切片的指针： 在大多数情况下，使用切片（如 []T）比使用指向切片的指针（如 *[]T）更安全、更符合Go语言的习惯。切片本身已经包含了指向底层数组的指针，因此不需要额外的指针层级。
使用 make 和 new 的区别： make 用于创建切片、映射和通道，而 new 用于分配内存并返回指向该内存的指针。理解它们的区别对于正确初始化数据结构至关重要。