值传递和引用传递
一文整得明明白白~
Go全部都是值传递,不存在引用传递
值传递 是原始值copy出一份副本,然后传递; 引用传递 是直接传原始值的指针;
值传递并非不能修改原始值,当原始值是引用类型时(指针、map、slice、chan等这些),值传递就可以修改原始值 (值传递传的指针是原始值指针的副本,但两个指针都指向同一个地址)
值类型和引用类型
slice,map,channel,interface,func这5种数据类型 是引用类型,都(或者至少某个字段)是指针 (引用类型可以看作是对指针的封装)
(使用make函数创建的map,channel 其实都是一个指针,slice是其结构体SliceHeader的Data字段是指针)
// 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: “引用类型保存在堆上,值类型保存在栈上”?
这种说法是不准确的
首先不要纠结字面意思,Java中(byte、short、int、long、float、double)、字符型(char)、布尔型(boolean)这些基本类型数据直接保存在栈中,而类、接口、数组数据是保存在堆中,栈只是保存一个指向堆内存的指针。
浅拷贝与深拷贝
讨论值传递和引用传递时,其实就是看值类型变量和引用类型变量作为函数参数时,修改形参是否会影响到实参
在Go语言中除了五个引用类型,其他都是值类型:
- slice
- map
- channel
- interface
- func()
引用类型作为参数时,称为浅拷贝,形参改变,实参数跟随变化.因为传递的是地址,形参和实参都指向同一块地址
值类型作为参数时,称为深拷贝,形参改变,实参不变,因为传递的是值的副本,形参会新开辟一块空间,与实参指向不同
如果希望值类型数据在修改形参时实参跟随变化,可以把参数设置为指针类型
需要注意的是,在 Go 语言中,闭包内部引用外部变量时,实际上是引用了外部变量的地址。因此,闭包的行为类似于引用传递,而不是像一般的函数参数那样的值传递。
一般认为这种类型才是真正意义上的闭包(即不传参数进去)
package main func main() { i := 1 func() { i = 2 print(i) }() print(i) }
实际上,我把这种情况也认为是闭包:
package main func main() { i := 1 func(i int) { i = 2 print(i) }(i) print(i) }
即传参进去,那里面的改动就不会影响外面,外面的改动也不会影响里面(在传进去那一刻就定住了~)
当然如果这样,里面的改动还是会改变外面的值
package main func main() { i := 1 func(k int) { i = 2 print(i) }(i) print(i) }