结构的深拷贝与浅拷贝

Question

在传递带有原始和指针字段的结构时，我深入研究了一些关于深拷贝或浅拷贝的比较。喜欢：

type Copy struct {
    age int
    ac  *AnotherCopy
}

type AnotherCopy struct {
    surname string
}

func main() {
    s := Copy{
        age: 20,
        ac:  &AnotherCopy{surname: "Relic"},
    }
    passIt(&s)
    fmt.Printf("main s: %p\n", &s)
}

func passIt(s *Copy) {
    f := *s
    fmt.Printf("s: %p\n", &*s)
    fmt.Printf("f: %p\n", &f)

    f.age = 26
    f.ac.surname = "Walker"
    fmt.Printf("%v %s\n", f, f.ac.surname)
    fmt.Printf("%v %s\n", *s, s.ac.surname)
}

结果是

s: 0xc000010230
f: 0xc000010250
{26 0xc000010240} Walker
{20 0xc000010240} Walker
main s: 0xc000010230

我在这里看到的是，当我们传递一个包含原始类型和复合类型的结构时，它会深度复制原始类型并浅层复制指针（引用）字段。

我已经阅读了一些关于该过程的文章，但想法之间存在冲突。

问题是我们应该怎样称呼这个过程？深拷贝还是浅拷贝？ 如果我们把这个过程称为只是浅拷贝，这是错的吗？ 你能澄清一下吗？

Answer 1

在您的问题中，您提到“原始类型和复合类型”是不同的，我认为这是您在这里感到困惑的根源。 Go 不区分原始类型和复合类型，而是区分指针类型和值类型。 “原始”类型（int、int32、float64 等）是值类型，但 structs（以及数组）也是如此。指向其他类型、映射、切片、通道和接口的指针都是指针类型。

您的问题的直接答案是，正如一条评论所述，Go 中的副本（通过变量赋值等）是“浅副本”，因为 Go 不会取消引用指针类型并创建新的底层副本。然而，由于struct 类型的东西不是指针类型，复合值完全有可能被“深度复制”。

如果您想看到这一点，请尝试修改您的示例代码，使您的 Copy 类型上的 ac 字段是一个普通结构而不是指向结构的指针：

type Copy struct {
    age int
    ac  AnotherCopy
}

然后您应该看到创建Copy 的副本并设置ac.surname 字段不会更改原始结构上ac.surname 字段的值。