我有这个简单的代码：
import "fmt"
type Foo struct {
val int
}
func main() {
var a = make([]*Foo, 1)
a[0] = &Foo{0}
var b = [3]Foo{Foo{1}, Foo{2}, Foo{3}}
for _, e := range b {
a = append(a, &e)
}
for _, e := range a {
fmt.Printf("%v ", *e)
}
}
我期待它打印{0} {1} {2} {3}，但它打印{0} {3} {3} {3}。这里发生了什么？
【问题讨论】：
标签： arrays for-loop go append slice
这是因为在 for 循环中，您使用的是 copy 而不是切片/数组元素本身。
for ... range 会复制它循环的元素，并附加这个临时循环变量的地址 - 在所有迭代中都是相同的。因此，您将相同的指针添加了 3 次。而这个临时变量将在最后一次迭代（数组的最后一个元素）中设置为Foo{3}，这就是为什么你会看到它打印了 3 次。
修复：不添加循环变量的地址，而是数组元素的地址：
for i := range b {
a = append(a, &b[i])
}
输出（在Go Playground 上试试）：
{0} {1} {2} {3}
查看可能重复的Assigned pointer field becomes <nil>。
在 Go 中有 pointer 类型和 non-pointer 类型，但没有 "references"（意思是它用于 C++ 和 Java）。鉴于 Go 中没有“引用”类型，这并不是一个意外的行为。循环变量只是一个“普通”的局部变量，它只能保存一个值（可以是指针也可以是非指针），不能保存引用。
摘自this answer：
指针是值，就像
int数字一样。不同之处在于对该值的解释：指针被解释为内存地址，ints 被解释为整数。当你想改变一个
int类型的变量的值时，你传递一个指向int的指针，它是*int类型的，然后你修改指向的对象：*i = newvalue（分配的值是int)。指针也是如此：当你想改变一个指针类型为
*int的变量的值时，你将一个指针传递给*int，它的类型是**int，然后你修改指向的对象：@987654340 @（分配的值为*int）。
总而言之，循环变量只是一个普通变量，具有您正在循环的数组/切片的元素类型，并且要使其具有实际迭代的值，必须将值分配给它复制值。它在下一次迭代中被覆盖。
【讨论】：
因为您将切片用作指针引用，所以实际上您不是在切片中创建新条目，而是在每次最后一个条目时更新。将代码从指针引用更改为正常值引用它将起作用。
package main
import "fmt"
type Foo struct {
val int
}
func main() {
var a = make([]Foo, 1)
a[0] = Foo{0}
var b = [3]Foo{Foo{1}, Foo{2}, Foo{3}}
for _, e := range b {
a = append(a, e)
}
for i, e := range a {
fmt.Printf("%d: %v\n", i, e)
}
}
Go playground 上的工作代码。
【讨论】：
在循环的每次迭代中，e 的值都会发生变化，但每次您将指向 e 的指针传递到切片时。所以你最终会得到一个包含 3 个指向相同值的指针的切片。
您还可以复制该值并传递其指针。由于在每次迭代中，您都在制作值的新副本，因此传递给切片的指针将指向不同的值：
var a = make([]*Foo, 1)
a[0] = &Foo{0}
var b = [3]Foo{Foo{1}, Foo{2}, Foo{3}}
for _, e := range b {
eCopy := e
a = append(a, &eCopy)
}
【讨论】：