登录
首页 >  Golang >  Go问答

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

来源:Golang技术栈

时间:2023-04-26 07:36:16 367浏览 收藏

学习Golang要努力,但是不要急!今天的这篇文章《当命名类型 T 的任何方法具有指针接收器时,复制类型 T 的实例》将会介绍到golang等等知识点,如果你想深入学习Golang,可以关注我!我会持续更新相关文章的,希望对大家都能有所帮助!

问题内容

我最近阅读了 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)

正确答案

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

如果一个类型只有带有值接收者的方法,这意味着无论方法内部做什么,无论你(或其他任何人)调用什么方法,这些方法都无法更改 原始 值,因为上面提到的“只传递了一个副本,并且该方法只能修改副本”而不是原始的。

因此,这意味着如果您复制该值,您不必担心,无论是在原始版本还是副本上调用的方法都不能/不会修改该值。

不是,当类型具有带有指针接收器的方法时。如果方法有指针接收器,则该方法可以更改/修改 指向 的值,它不是副本,而是原始值(只有 指针 是副本但它指向原始值)。

让我们看一个例子。我们创建了一个int包装器类型,它有 2 个字段:anint和 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.vand中的相同数字。*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)的值,并且指针 inb将指向与指针 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)值。

文中关于golang的知识介绍,希望对你的学习有所帮助!若是受益匪浅,那就动动鼠标收藏这篇《当命名类型 T 的任何方法具有指针接收器时,复制类型 T 的实例》文章吧,也可关注golang学习网公众号了解相关技术文章。

声明:本文转载于:Golang技术栈 如有侵犯,请联系study_golang@163.com删除
相关阅读
更多>
最新阅读
更多>
课程推荐
更多>