为什么在 Go 中取消引用指针不会修改原始值？

Go 中的指针解引用：发生了什么？

深入研究 Go 中的编程世界时，您可能会遇到与指针解引用相关的有趣行为，特别是当使用结构。考虑以下示例：

package main

import "fmt"

type Vertex struct {
    X, Y int
}

var (
    p = Vertex{1, 2}  // has type Vertex
    q = &Vertex{1, 2} // has type *Vertex
    r = Vertex{X: 1}  // Y:0 is implicit
    s = Vertex{}      // X:0 and Y:0
)

func main() {
    t := *q
    q.X = 4
    u := *q
    fmt.Println(p, q, r, s, t, u, t == u)
}

运行此代码会产生令人惊讶的结果：

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

您可能期望 t 在更改 q.X 后更改为 {4, 2}，但这并不发生。这种行为的原因是什么？

指针解引用解释

理解这一点的关键是指针解引用。在 Go 中，当您取消引用指针（例如 *q）时，您会创建它指向的值的副本。因此， t := *q 制作 q 引用的 Vertex 结构的单独副本。

示例 28 的修改说明：

在修改后的示例中，当您设置q.X = 4，您仅修改 q 指向的结构。由于 t 是一个副本，因此它保留了其原始值。

比较 Go 和 C/C

您提到了从 C/C 角度来看似乎很奇怪的行为。然而，C/C 的行为类似。考虑这个例子：

#include <iostream>

struct Vertex
{
    int x;
    int y;
};

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

这个 C 代码产生相同的行为：

*q: { 4, 2 }
t: { 1, 2 }

结论

总之，当你在 Go 中取消引用指针时，你'重新创建基础价值的副本。要观察通过指针所做的更改，您必须使用指针本身，如修改后的示例所示：

func main() {
    t := q
    q.X = 4
    u := *q
    fmt.Println(p, q, r, s, t, u, *t == u)
}

这将产生 {1 2} &{4 2} {1 0} 的预期输出{0 0} {4 2} {4 2} 正确。

以上是为什么在 Go 中取消引用指针不会修改原始值？的详细内容。更多信息请关注PHP中文网其他相关文章！