这篇文章想浅浅地讲解 Go 语言函数参数传递的值拷贝。
一句话观点
Go语言中所有传递都是值传递,严格来说并不存在引用传递的概念。传递指针只是传递指针的值,并不是引用传递,只不过通过指针可以间接修改变量的值,从而达到类似引用传递的效果。
值传递
值传递就是将参数的副本传递给函数,因此在函数内部修改参数的值,不会影响到原始变量的值。
go
func modifyValue(person Person) {
person.Name = "Alice"
}
func Test4(t *testing.T) {
person1 := Person{Name: "Bob"}
modifyValue(person1)
fmt.Println("值传递:", person1.Name) // 输出: 值传递: Bob
}
在这个例子中,modifyValue
函数接收 person
的副本,修改它的字段值并不会影响原来的 person
。
引用传递
要实现引用传递,可以通过传递指针来实现。
go
func modifyReference(person *Person) {
person.Name = "Alice"
}
func Test4(t *testing.T) {
person2 := &Person{Name: "Bob"}
modifyReference(person2)
fmt.Println("引用传递:", person2.Name) // 输出: 引用传递: Alice
}
在这个例子中,modifyReference
函数接收的是 person
指针类型的副本,修改副本指向的值,会影响到原来的。
值传递例子
下面再看一个值传递的例子。恰好最近在读《Go 语言精进之路》这本书,书里有一段讲解的方法的本质问题,案例是下面这段代码:
go
type field struct{ name string }
func (p *field) print() {
fmt.Println(p.name)
}
func main() {
data1 := []*field{{"one"}, {"two"}, {"three"}}
for _, v := range data1 {
go v.print()
}
data2 := []field{{"four"}, {"five"}, {"six"}}
for _, v := range data2 {
go v.print()
}
time.Sleep(3 * time.Second)
}
我对上面的代码进行简单改造,改为单测方法,打印输出内存地址,改造的代码如下:
go
func (p *field) print() {
fmt.Printf("%p %s \n", p, p.name)
}
func Test1(t *testing.T) {
data1 := []*field{{"one"}, {"two"}, {"three"}}
for _, v := range data1 {
go (*field).print(v)
}
data2 := []field{{"four"}, {"five"}, {"six"}}
for _, v := range data2 {
go (*field).print(&v)
}
time.Sleep(3 * time.Second)
}
运行单测,看下结果:
0xc000026590 six
0xc000026590 six
0xc000026590 six
0xc000026540 two
0xc000026530 one
0xc000026550 three
如果你奇怪为什么第二段代码输出的全是 six
,那么可以接着看下面的原因分析。
先要知道的是, for range
循环中会重复使用同一个变量 v
。
在第一段,data1
是一个指针数组([]*field
),v
每次迭代时是指向数组中不同元素的指针。由于 v
是指针,每个元素的地址自然是不同的,因此打印出的地址不同,每个元素都可以打印出来。
在第二段,data2
是一个结构体数组([]field
),而 v
是数组元素的副本。当你取 &v
时,每次获取的都是这个循环中的同一个变量的地址,所以 &v
的地址是相同的。但每次迭代时,这个地址指向的值会被更新为 data2
中当前元素的副本,在最后执行的时候,&v
执行的值就是 six
。
如果想让第二段输出所有元素,可以每次迭代拷贝一个 v
副本,复制给变量 s
,如下:
go
for _, v := range data2 {
s := v
go (*field).print(&s)
}
执行单测,输出结果如下:
0xc0000265d0 six
0xc000026590 four
0xc0000265b0 five
0xc000026540 two
0xc000026550 three
0xc000026530 one
在这个例子中,每次迭代都会创建新的变量 s
,内存地址是不同的,所以可以全部输出。
Over!