指针解引用在 Go 中是如何工作的？

Question

我正在阅读http://tour.golang.org/ 的 golang 教程，并在 example 29 中尝试了一些东西

这里复制原始示例供您参考：

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() {
    fmt.Println(p, q, r, s)
}

它非常基础，展示了如何创建这个花哨的新结构 Vertex 的实例。不过，Example 28 显示了通过指向顶点的指针来操作顶点，因此我稍微修改了示例并对输出感到惊讶。这是修改：

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不是{4, 2}，这似乎意味着改变q.X改变了q指向的结构的实例。来自 C/C++ 背景，这对我来说似乎是非常奇怪的行为。

那么，这里到底发生了什么？为什么使用q.X = 4改变顶点不传播到t？

Answer 1

t := *q 复制q 指向的结构体。

如果您想观察q 到t 的变化，请使用指针：

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} &{4 2} {4 2} true

我不确定你觉得什么特别奇怪。 C 和 C++ 的行为方式相同。考虑以下几点：

#include <iostream>

struct Vertex
{
    int x;
    int y;
};

std::ostream& operator<<(std::ostream& out, const Vertex& v)
{
    out << "{ " << v.x << ", " << v.y << " }"; 
    return out;
}

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 }