当命名类型为T的任何方法具有指针接收器时，复制类型T的实例

Question

我最近读了《
Go编程语言》
，这是学习golang编程语言的好资源。在6.2节中有一段关于类型的副本实例T在方法中是否为指针接收者的段落，我无法理解。有没有什么可以用有意义的例子来解释本段的？

6.2使用指针接收器的方法

如果所有命名类型T的方法本身都具有接收者T类型（不是*
T），则可以安全地复制该类型的实例；调用其任何方法必然会产生一个副本。例如，time.Duration值被自由地复制，包括作为函数的参数。但是，如果任何方法都有指针接收器，则应避免复制T的实例，因为这样做可能会违反内部不变式。例如，复制bytes.Buffer的实例将导致原始副本和别名（第2.3.2节）相同的底层字节数组。随后的方法调用将产生不可预测的影响。

（Go编程语言Alan AA Donovan·Brian W. Kernighan）

Answer 1

调用方法时，将首先复制调用该方法的值，然后将该副本传递/用作接收方。

如果类型仅具有带有值接收器的方法，则意味着无论方法内部执行什么操作，也无论您（或其他任何人）调用什么方法，这些方法都将无法更改 原始
值，因为–如前所述上面-仅传递副本，并且该方法只能修改副本-而不是原始副本。

因此，这意味着如果您复制该值，则不必担心，原始文件或副本上调用的方法都不会/不会修改该值。

否，当类型具有带有指针接收器的方法时。如果方法具有指针接收器，则该方法可以更改/修改 指向的 值，该值不是副本，而是原始值（仅 指针
是副本，但指向原始值）。

让我们来看一个例子。我们创建一个int包装器类型，其中包含2个字段：an int和an
*int。我们打算在两个字段中存储相同的数字，但是一个是指针（并且我们将其存储int在 指向的 值中）：

type Wrapper struct {
    v int
    p *int
}

为确保两个值（v和*p）相同，我们提供了Set()一种设置两个值的方法：

func (w *Wrapper) Set(v int) {
    w.v = v
    *w.p = v
}

Wrapper.Set()具有指针接收器（*Wrapper），因为它必须修改值（类型为Wrapper）。无论我们传递给哪个数字Set()，我们都可以确保一旦Set()返回，两者v和*p将相同，并且等于传递给的数字Set()。

现在，如果我们的值为Wrapper：

a := Wrapper{v: 0, p: new(int)}

我们可以Set()在上面调用该方法：

a.Set(1)

编译器将自动采用的地址a作为接收器，因此上述代码表示(&a).Set(1)。

如果只使用方法来更改字段的值，我们希望任何类型的值Wrapper在Wrapper.v和中都具有相同的数字。*Wrapper.pv``Set()

现在，让我们看一下如果我们复制的问题a：

a := Wrapper{v: 0, p: new(int)}
b := a
fmt.Printf("a.v=%d, a.p=%d;  b.v=%d, b.p=%d\n", a.v, *a.p, b.v, *b.p)

a.Set(1)
fmt.Printf("a.v=%d, a.p=%d;  b.v=%d, b.p=%d\n", a.v, *a.p, b.v, *b.p)

输出（在Go Playground上尝试）：

a.v=0, a.p=0;  b.v=0, b.p=0
a.v=1, a.p=1;  b.v=0, b.p=1

我们制作了一个副本a（将其存储在中b），并打印了值。到目前为止，一切都很好。然后我们调用a.Set(1)，之后它a仍然很好，但是的内部状态b变为无效：b.v不再等于*b.p。解释很明确：当我们复制a（是一种struct类型）时，将复制其字段的值（包括指针p），并且in中的指针b将指向与in中的指针相同的值a。因此，修改指标值将影响的两个副本Wrapper，但我们有2个不同的v字段（它们是非指标）。

如果您有使用指针接收器的方法，则应使用指针值。

请注意，如果您复制一个的值*Wrapper，那么一切仍然会很酷：

a := &Wrapper{v: 0, p: new(int)}
b := a
fmt.Printf("a.v=%d, a.p=%d;  b.v=%d, b.p=%d\n", a.v, *a.p, b.v, *b.p)

a.Set(1)
fmt.Printf("a.v=%d, a.p=%d;  b.v=%d, b.p=%d\n", a.v, *a.p, b.v, *b.p)

输出（在Go Playground上尝试）：

a.v=0, a.p=0;  b.v=0, b.p=0
a.v=1, a.p=1;  b.v=1, b.p=1

在这种情况下a是一个指针，它的类型是*Wrapper。我们做它的一个副本（其存储在b），被称为a.Set()，以及两者的内部状态a和b仍然有效。这里我们只有一个Wrapper值，a只保存一个指向它的指针（它的地址）。复制时a，我们只会复制指针值，而不复制struct值（类型Wrapper）。