我正在浏览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
?
答案 0 :(得分:26)
t := *q
复制q
指向的结构。
如果您想观察q
到t
的变化,请坚持使用指针:
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 }