Go语言结构体指针字段访问指南：避免 invalid indirect 错误

Go语言中结构体指针的特殊性

在Go语言中，处理结构体（Struct）时经常会用到指向结构体的指针。一个常见的疑问和错误源于如何正确地访问这些指针所指向结构体的字段。许多初学者可能会直观地认为，既然 ptr 是一个指针，那么要访问它所指向结构体的字段，就需要先解引用 ptr，然后再通过点运算符（.）访问字段，即 (*ptr).field。或者，更进一步，可能会尝试使用 *ptr.field 这样的语法。然而，*ptr.field 这种写法在Go语言中是错误的，并且会导致编译时错误：“invalid indirect of ptr.field (type int)”。

这个错误的原因在于Go语言对运算符优先级的处理以及其特有的自动解引用（Automatic Dereferencing）机制。在表达式 *ptr.field 中，点运算符（.）的优先级高于星号运算符（*）。这意味着编译器会先尝试计算 ptr.field。如果 ptr 是一个指向结构体的指针，Go语言会在这里进行一个特殊的处理：它会自动解引用 ptr，然后访问其指向的结构体的 field 字段。因此，ptr.field 本身就已经代表了结构体中的字段值，例如一个 int 类型的值。接着，当你尝试对这个 int 类型的值再次使用 * 运算符进行解引用时，就会出现“invalid indirect”错误，因为 int 类型的值不是一个指针，无法被解引用。

理解Go的自动解引用机制

Go语言为了简化结构体指针的操作，引入了自动解引用机制。当一个变量 ptr 是一个指向结构体 StructType 的指针（即 *StructType 类型），并且你尝试使用 ptr.field 的形式访问其字段时，Go编译器会自动将 ptr.field 解释为 (*ptr).field。这意味着你不需要手动进行解引用操作，可以直接通过 . 运算符访问结构体指针的字段。

这种设计类似于C/C++中的 -> 运算符，但Go语言更进一步，直接将 . 运算符用于两种情况：

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

1. 当 s 是一个结构体实例时，s.field 访问其字段。
2. 当 p 是一个指向结构体的指针时，p.field 同样访问其字段（Go编译器自动处理解引用）。

因此，在Go语言中，访问结构体指针的字段的正确且推荐方式是直接使用 ptr.field。

基本类型指针的解引用

与结构体指针的自动解引用不同，对于指向基本类型（如 int, string, bool 等）的指针，Go语言并没有提供自动解引用机制。如果你有一个指向整数的指针 ptrInt（类型为 *int），要访问或修改它所指向的整数值，你必须显式地使用 * 运算符进行解引用。

例如，*ptrInt++ 是正确的语法，它表示先解引用 ptrInt 得到它所指向的整数值，然后对这个整数值执行自增操作。如果尝试 ptrInt++，编译器会报错，因为它试图对一个指针进行整数自增，这是不允许的（除非是用于数组指针的算术运算，但这在Go中不直接支持）。

百度智能云·曦灵

百度旗下的AI数字人平台

83

查看详情

示例代码与错误分析

让我们通过一个具体的例子来演示上述概念。

原始的错误代码：

package main

import (
    "fmt"
)

type Struct struct {
    a int
    b int
}

func Modifier(ptr *Struct, ptrInt *int) int {
    *ptr.a++ // 错误：ptr.a 是 int 类型，不能被解引用
    *ptr.b++ // 错误：ptr.b 是 int 类型，不能被解引用
    *ptrInt++ // 正确：ptrInt 是 *int 类型，需要解引用
    return *ptr.a + *ptr.b + *ptrInt // 错误：同上
}

func main() {
    structure := new(Struct) // structure 是 *Struct 类型
    i := 0
    fmt.Println(Modifier(structure, &i))
}

在 Modifier 函数中，ptr 是一个 *Struct 类型的指针。

• *ptr.a++：根据运算符优先级，ptr.a 先被解析。Go的自动解引用机制使得 ptr.a 等价于 (*ptr).a，其结果是一个 int 类型的值。然后，* 运算符尝试对这个 int 值进行解引用，导致“invalid indirect of ptr.a (type int)”的编译错误。
• *ptrInt++：ptrInt 是一个 *int 类型的指针。为了修改它指向的整数值，必须先使用 * 运算符进行解引用，得到 int 类型的值，然后再对其执行 ++ 操作。这是正确的用法。

修正后的代码：

package main

import (
    "fmt"
)

type Struct struct {
    a int
    b int
}

func Modifier(ptr *Struct, ptrInt *int) int {
    ptr.a++   // 正确：Go自动解引用ptr，访问并修改a字段
    ptr.b++   // 正确：Go自动解引用ptr，访问并修改b字段
    *ptrInt++ // 正确：显式解引用ptrInt，修改其指向的值
    return ptr.a + ptr.b + *ptrInt // 正确：访问字段和解引用指针
}

func main() {
    structure := new(Struct) // structure 是 *Struct 类型，初始值为 {a:0, b:0}
    i := 0                   // i 是 int 类型，值为 0
    fmt.Println(Modifier(structure, &i)) // 传递结构体指针和整数指针
    // 预期输出：(0+1) + (0+1) + (0+1) = 3
    // structure.a = 1, structure.b = 1, i = 1
}

在这段修正后的代码中：

• ptr.a++ 和 ptr.b++ 正确地利用了Go语言的自动解引用机制，直接通过 ptr 访问并修改了结构体 Struct 的 a 和 b 字段。
• *ptrInt++ 保持不变，因为它正确地处理了基本类型指针的解引用。

最终 main 函数的输出将是 3。

注意事项与最佳实践

1. 始终使用 ptr.field 访问结构体指针的字段：这是Go语言推荐且惯用的方式，简洁明了，避免不必要的解引用操作。
2. 理解基本类型指针的显式解引用：对于 *int、*string 等基本类型指针，务必记住需要使用 * 运算符来访问或修改其指向的值。
3. *避免冗余的 `(ptr).field**：虽然(*ptr).field语法上是正确的，但它增加了代码的冗余性，且在Go语言中并非必需，应优先使用ptr.field`。
4. 区分指针和值：清晰地认识变量是值类型还是指针类型，对于正确进行操作至关重要。new(Struct) 返回的是 *Struct 类型，而 var s Struct 定义的是 Struct 类型。

总结

Go语言在处理结构体指针时，通过其独特的自动解引用机制，极大地简化了字段访问的语法。开发者可以直接使用 ptr.field 的形式来访问结构体指针的成员，而无需手动进行解引用。然而，对于基本类型的指针，仍然需要显式地使用 * 运算符进行解引用。理解这些规则不仅能帮助我们避免常见的“invalid indirect”编译错误，还能编写出更符合Go语言习惯、更具可读性的代码。掌握这些细节是成为一名熟练Go开发者的重要一步。

以上就是Go语言结构体指针字段访问指南：避免 invalid indirect 错误的详细内容，更多请关注php中文网其它相关文章！