int 在结构中的奇怪行为

Question

假设我们有这种结构（有史以来最简单的结构之一）：type some struct{    I uint32}我们想要一个这种类型的变量并在 for 循环中原子地递增（可能在另一个 goroutine 中，但现在情况不同了）。我执行以下操作：q := some{0}for i := 0; i < 10; i++ {        atomic.AddUint32(&q.I,1) // increment [1]        fmt.Println(q.I)}我们得到了我们所期望的，到目前为止一切顺利，但是如果我们为该类型声明一个函数，如下所示：func (sm some) Add1(){    atomic.AddUint32(&sm.I,1)}并在上面的示例（第 [1] 行）中调用此函数，该值不会增加，我们只是得到零。问题很明显——为什么？这必须是一些基本的东西，但由于我是新手，所以我没有意识到。

Answer 1

在函数调用中，函数值和参数按通常的顺序计算。在对它们求值后，调用的参数按值传递给函数，被调用的函数开始执行。当函数返回时，函数的返回参数按值传递回调用函数。

接收器sm some按值传递给方法，当您从方法返回时，副本将被丢弃。使用指针接收器。

例如，

package main

import (

    "fmt"

    "sync/atomic"

)

type some struct {

    I uint32

}

func (sm *some) Add1() {

    atomic.AddUint32(&sm.I, 1)

}

func main() {

    var s some

    s.Add1()

    fmt.Println(s)

}

输出：

{1}

Go 常见问题解答 (FAQ)

函数参数什么时候按值传递？

与 C 系列中的所有语言一样，Go 中的所有内容都是按值传递的。也就是说，一个函数总是得到一个被传递的东西的副本，就好像有一个赋值语句给参数赋值一样。例如，将 int 值传递给函数会生成 int 的副本，而传递指针值会生成指针的副本，但不是它指向的数据的副本。

我应该定义值还是指针的方法？

func (s *MyStruct) pointerMethod() { } // method on pointer
func (s MyStruct)  valueMethod()   { } // method on value

对于不习惯指针的程序员来说，这两个例子之间的区别可能会令人困惑，但情况其实很简单。在类型上定义方法时，接收器（在上面的示例中为 s）的行为就像它是方法的参数一样。将接收者定义为值还是指针是同一个问题，那么，函数参数应该是值还是指针。有几个考虑。

首先，也是最重要的，该方法是否需要修改接收器？如果是，则接收者必须是一个指针。（切片和映射充当引用，所以它们的故事有点微妙，但是例如要更改方法中切片的长度，接收者仍然必须是指针。）在上面的示例中，如果 pointerMethod 修改了s，调用者将看到这些更改，但 valueMethod 是使用调用者参数的副本调用的（这是传递值的定义），因此调用者将看不到它所做的更改。

顺便说一句，指针接收器与 Java 中的情况相同，尽管在 Java 中指针隐藏在幕后；Go 的价值接收者是不寻常的。

二是对效率的考虑。如果接收器很大，例如一个大的结构，使用指针接收器会便宜得多。

接下来是一致性。如果该类型的某些方法必须有指针接收器，其余的也应该如此，因此无论如何使用该类型，方法集都是一致的。有关详细信息，请参阅方法集部分。

对于诸如基本类型、切片和小型结构之类的类型，值接收器非常便宜，因此除非方法的语义需要指针，否则值接收器是高效且清晰的。

Answer 2

您的函数需要接收要递增的值的指针，这样您就不会传递结构的副本，并且在下一次迭代中 I 可以递增。

package main

import (

"sync/atomic"

"fmt"

)

type some struct{

    I uint32

}

func main() {

q := &some{0}

for i := 0; i < 10; i++ {

        q.Add1()

        fmt.Println(q.I)

}

}

func (sm *some) Add1(){

    atomic.AddUint32(&sm.I,1)

}