值传递和引用传递
一文整得明明白白~
Go全部都是值传递 ,不存在引用传递
值传递 是原始值copy出一份副本,然后传递; 引用传递 是直接传原始值的指针;
值传递并非不能修改原始值,当原始值是引用类型时(指针、map、slice、chan等这些),值传递就可以修改原始值 (值传递传的指针是原始值指针的副本,但两个指针都指向同一个地址)
值类型和引用类型
slice,map,channel,interface,func这5种数据类型 是引用类型,都(或者至少某个字段)是指针 (引用类型可以看作是对指针的封装)
(使用make函数创建的map,channel 其实都是一个指针,slice是其结构体SliceHeader的Data字段是指针)
go
// SliceHeader is the runtime representation of a slice.
// It cannot be used safely or portably and its representation may
// change in a later release.
// Moreover, the Data field is not sufficient to guarantee the data
// it references will not be garbage collected, so programs must keep
// a separate, correctly typed pointer to the underlying data.
type SliceHeader struct {
Data uintptr
Len int
Cap int
}
int、float、bool、array、sturct 是值类型
string比较有争议,感觉是值类型,但有种说法也是引用类型
几种说法
说法1: "引用类型保存在堆上,值类型保存在栈上"?
这种说法是不准确的
arduino
首先不要纠结字面意思,Java中(byte、short、int、long、float、double)、字符型(char)、布尔型(boolean)这些基本类型数据直接保存在栈中,而类、接口、数组数据是保存在堆中,栈只是保存一个指向堆内存的指针。
浅拷贝与深拷贝
讨论值传递和引用传递时,其实就是看值类型变量和引用类型变量作为函数参数时,修改形参是否会影响到实参
在Go语言中除了五个引用类型 ,其他都是值类型:
-
slice
-
map
-
channel
-
interface
-
func()
引用类型作为参数时,称为浅拷贝,形参改变,实参数跟随变化.因为传递的是地址,形参和实参都指向同一块地址
值类型作为参数时,称为深拷贝,形参改变,实参不变,因为传递的是值的副本,形参会新开辟一块空间,与实参指向不同
如果希望值类型数据在修改形参时实参跟随变化,可以把参数设置为指针类型
需要注意的是,在 Go 语言中,闭包内部引用外部变量时,实际上是引用了外部变量的地址。因此,闭包的行为类似于引用传递,而不是像一般的函数参数那样的值传递。
一般认为这种类型才是真正意义上的闭包(即不传参数进去)
go
package main
func main() {
i := 1
func() {
i = 2
print(i)
}()
print(i)
}
实际上,我把这种情况也认为是闭包:
go
package main
func main() {
i := 1
func(i int) {
i = 2
print(i)
}(i)
print(i)
}
即传参进去,那里面的改动就不会影响外面,外面的改动也不会影响里面(在传进去那一刻就定住了~)
当然如果这样,里面的改动还是会改变外面的值
go
package main
func main() {
i := 1
func(k int) {
i = 2
print(i)
}(i)
print(i)
}