Go 中的指针解引用如何工作，为什么结果有时会出乎意料？

探索 Go 中的指针解引用

在 Go 编程语言中，指针在操作数据时起着至关重要的作用，尤其是在使用结构体时。解引用指针的能力提供了一种间接访问和修改数据的强大方法。在本次讨论中，我们将探讨 Go 中指针解引用的机制，揭示可能出现的意外情况。

指针解引用中的惊喜

考虑以下 Go 代码片段:

package main

import "fmt"

type Vertex struct {
    X, Y int
}

func main() {
    p := Vertex{1, 2}  // has type Vertex
    q := &p // has type *Vertex
    t := *q
    q.X = 4
    u := *q
    fmt.Println(p, q, t, u, t == u)
}

执行后，此代码会生成输出：

{1 2} &{4 2} {1 2} {4 2} false

意外的结果是，即使 q.X 被修改，t 仍保留 q 的原始值。这种行为源于 Go 中指针解引用的本质。

揭示真相：指针解引用

当通过指针访问值时，Go 本质上会解引用指针提供所指向值的临时副本。在我们的示例中，当我们取消引用 q 以创建 t 时，我们获得了 Vertex 结构的副本。因此，对 q 所做的任何更改都不会反映在 t 中。

要观察 q 到 t 的变化，我们需要维护指针关系。以下修改后的代码说明了这一点：

package main

import "fmt"

type Vertex struct {
    X, Y int
}

func main() {
    p := Vertex{1, 2}  // has type Vertex
    q := &p // has type *Vertex
    t := q
    q.X = 4
    u := *q
    fmt.Println(p, q, t, u, *t == u)
}

这次，输出反映了预期的行为：

{1 2} &{4 2} &{4 2} {4 2} true

通过保留 q 和 t 之间的指针关系，我们确保所做的修改到 q 将传播到 t。

C 和 C 中的并行

需要注意的是，Go 中的指针解引用行为与 C 和 C 等语言中的行为一致。

struct Vertex {
    int x;
    int y;
};

int main() {
    Vertex v = {1, 2};
    Vertex* q = &v;
    Vertex t = *q;
    q->x = 4;
    std::cout << "*q: " << *q << "\n";
    std::cout << " t: " << t << "\n";
}

运行此 C 代码会产生与 Go 相同的输出，强调指针解引用行为在这些语言中遵循类似的原则。

总之，虽然 Go 中的指针解引用最初看起来可能是令人惊讶的是，它以合乎逻辑且一致的方式运作。通过了解取消引用会创建临时副本，程序员可以有效地利用指针来精确导航和操作数据结构。

以上是Go 中的指针解引用如何工作，为什么结果有时会出乎意料？的详细内容。更多信息请关注PHP中文网其他相关文章！