golang的传值调用和传引用调用
传值还是传引用
调用函数时, 传入的参数的 传值 还是 传引用, 几乎是每种编程语言都会关注的问题. 最近在使用 golang 的时候, 由于 传值 和 传引用 的方式没有弄清楚, 导致了 BUG.
经过深入的尝试, 终于弄明白了 golang 的 传值 的 传引用, 尝试过程记录如下, 供大家参考!
golang 本质上都是传值方式调用
严格来说, golang 中都是传值调用, 下面通过例子一一说明
普通类型的参数
这里的普通类型, 指的是 int, string 等原始的数据类型, 这些类型作为函数参数时, 都是 传值 调用. 这个基本没什么疑问.
func param_ref_test01() {
var t1 = 0
var t2 = "000"
var f1 = func(p int) {
p += 1
}
var f2 = func(p string) {
p += "-changed"
}
fmt.Printf(">>>调用前: t1 = %d t2 = %s\n", t1, t2)
f1(t1)
f2(t2)
fmt.Printf("<<<调用后: t1 = %d t2 = %s\n", t1, t2)
}
运行的结果:
>>>调用前: t1 = 0 t2 = 000
<<<调用后: t1 = 0 t2 = 000
struct 指针, map, slice 类型的参数
对于这种类型的参数, 表面上是 传引用 调用, 我也被这个表面现象迷惑过…
func param_ref_test02() {
type Person struct {
Name string
Age int
}
var t3 = &Person{
Name: "test",
Age: 10,
}
var t4 = []string{"a", "b", "c"}
var t5 = make(map[string]int)
t5["hello"] = 1
t5["world"] = 2
var f3 = func(p *Person) {
p.Name = "test-change"
p.Age = 20
}
var f4 = func(p []string) {
p[0] = "aa"
p = append(p, "d")
}
var f5 = func(p map[string]int) {
p["hello"] = 11
p["hello2"] = 22
}
fmt.Printf(">>>调用前: t3 = %v t4 = %v t5 = %v\n", t3, t4, t5)
f3(t3)
f4(t4)
f5(t5)
fmt.Printf("<<<调用后: t3 = %v t4 = %v t5 = %v\n", t3, t4, t5)
}
运行的结果:
>>>调用前: t3 = &{test 10} t4 = [a b c] t5 = map[hello:1 world:2]
<<<调用后: t3 = &{test-change 20} t4 = [aa b c] t5 = map[hello:11 hello2:22 world:2]
从运行结果中, 可以看出基本符合 传引用 调用的特征, 除了 t4 的 append 没有生效之外
既然都是传值调用, 为什么 f3 内修改了 *Person, 会导致外面的 t3 改变
改造下 f3, 将变量的地址打印出来
func param_ref_test03() {
type Person struct {
Name string
Age int
}
var t3 = &Person{
Name: "test",
Age: 10,
}
var f3 = func(p *Person) {
p.Name = "test-change"
p.Age = 20
fmt.Printf("参数p 指向的内存地址 = %p\n", p)
fmt.Printf("参数p 内存地址 = %p\n", &p)
}
fmt.Printf("t3 指向的内存地址 = %p\n", t3)
fmt.Printf("t3 的内存地址 = %p\n", &t3)
f3(t3)
}
运行的结果:
t3 指向的内存地址 = 0xc00000fe20
t3 的内存地址 = 0xc000010570
参数p 指向的内存地址 = 0xc00000fe20
参数p 内存地址 = 0xc000010578
从结果可以看出, t3 和 p 都是指针类型, 但是它们的内存地址是不一样的, 所以这是一个 传值 调用. 但是, 它们指向的地址(0xc00000fe20)是一样的, 所以通过 p 修改了指向的数据(*Person), t3 指向的数据也发生了变化.
只要 p 的指向地址变化, 就不会影响 t3 的变化了
var f3 = func(p *Person) {
p = &Person{} // 这行会改变p指向的地址
p.Name = "test-change"
p.Age = 20
}
f3(t3)
可以试试看, 只要加上上面代码中有注释的那行, 调用 f3 就不会改变 t3 了.
既然都是传值调用, 为什么 f4 内修改了 []string, 会导致外面的 t4 改变
golang 中的 slice 也是指针类型, 所以和上面 *Person 的原因一样
为什么 f4 内对 []string append 之后, 没有导致外面的 t4 改变
代码是最好的解释, 先观察 append 之后内存地址的变化, 我们再分析
func param_ref_test04() {
var s = []string{"a", "b", "c"}
fmt.Printf("s 的内存地址 = %p\n", &s)
fmt.Printf("s 指向的内存地址 = %p\n", s)
s[0] = "aa"
fmt.Printf("修改s[0] 之后, s 的内存地址 = %p\n", &s)
fmt.Printf("修改s[0] 之后, s 指向的内存地址 = %p\n", s)
s = append(s, "d")
fmt.Printf("append之后, s 的内存地址 = %p\n", &s)
fmt.Printf("append之后, s 指向的内存地址 = %p\n", s)
}
运行的结果:
s 的内存地址 = 0xc00008fec0
s 指向的内存地址 = 0xc00016d530
修改s[0] 之后, s 的内存地址 = 0xc00008fec0
修改s[0] 之后, s 指向的内存地址 = 0xc00016d530
append之后, s 的内存地址 = 0xc00008fec0
append之后, s 指向的内存地址 = 0xc000096f00
首先, 无论是修改 slice 中的元素, 还是添加 slice 的元素, 都不会改变 s 本身的地址(0xc00008fec0) 其次, 修改 slice 中的元素, 不会改变 s 指向的地址(0xc00016d530), 所有在 f4 中修改 slice 的元素, 也会改变函数 f4 外面的变量 最后, append 操作会修改 s 指向的地址, append 之后, s 和 函数 f4 外的变量已经不是指向同一地址了, 所以 append 的元素不会影响函数 f4 外的变量
既然都是传值调用, 为什么 f5 内修改了 map, 会导致外面的 t5 改变
map 类型也是指针类型, 所以原因和上面的 *Person 一样
为什么 f5 内增加了 map 中元素, 会导致外面的 t5 改变, 没有像 t4 那样, 只变修改的部分, 不变新增的部分
同样, 看代码
func param_ref_test05() {
var m = make(map[string]int)
m["hello"] = 1
m["world"] = 2
fmt.Printf("m 的内存地址 = %p\n", &m)
fmt.Printf("m 指向的内存地址 = %p\n", m)
m["hello"] = 11
fmt.Printf("修改m 之后, m 的内存地址 = %p\n", &m)
fmt.Printf("修改m 之后, m 指向的内存地址 = %p\n", m)
m["hello2"] = 22
fmt.Printf("追加元素之后, m 的内存地址 = %p\n", &m)
fmt.Printf("追加元素之后, m 指向的内存地址 = %p\n", m)
}
运行的结果:
m 的内存地址 = 0xc000010598
m 指向的内存地址 = 0xc000151590
修改m 之后, m 的内存地址 = 0xc000010598
修改m 之后, m 指向的内存地址 = 0xc000151590
追加元素之后, m 的内存地址 = 0xc000010598
追加元素之后, m 指向的内存地址 = 0xc000151590
根据上面的分析经验, 一目了然, 因为无论是修改还是添加 map 中的元素, m 指向的地址(0xc000151590)都没变, 所以函数 f5 中 map 参数修改元素, 添加元素之后, 都会影响函数 f5 之外的变量.
注意 这里并不是说 map 类型的参数就是 传引用 调用, 它仍然是 传值 调用, 参数 map 的地址和函数 f5 外的变量 t5 的地址是不一样的 如果在函数 f5 中修改的 map 类型参数的指向地址, 就会像传值调用那样, 不影响函数 f5 外 t5 的值
func param_ref_test06() {
var t5 = make(map[string]int)
t5["hello"] = 1
t5["world"] = 2
var f5 = func(p map[string]int) {
fmt.Printf("修改前 参数p 指向的内存地址 = %p\n", p)
fmt.Printf("修改前 参数p 内存地址 = %p\n", &p)
p = make(map[string]int) // 这行改变了 p 的指向, 使得 p 和 t5 不再指向同一个地方
p["hello"] = 11
p["hello2"] = 22
fmt.Printf("修改后 参数p 指向的内存地址 = %p\n", p)
fmt.Printf("修改后 参数p 内存地址 = %p\n", &p)
}
fmt.Printf("t5 指向的内存地址 = %p\n", t5)
fmt.Printf("t5内存地址 = %p\n", &t5)
fmt.Printf(">>>调用前: t5 = %v\n", t5)
f5(t5)
fmt.Printf("<<<调用后: t5 = %v\n", t5)
}
运行的结果:
t5 指向的内存地址 = 0xc000151590
t5内存地址 = 0xc000010598
>>>调用前: t5 = map[hello:1 world:2]
修改前 参数p 指向的内存地址 = 0xc000151590
修改前 参数p 内存地址 = 0xc0000105a0
修改后 参数p 指向的内存地址 = 0xc000151650
修改后 参数p 内存地址 = 0xc0000105a0
<<<调用后: t5 = map[hello:1 world:2]
虽然是 map 类型参数, 但是调用前后, t5 的值没有改变.
总结
上面的尝试不敢说有多全, 但基本可以弄清 golang 函数传参的本质.
- 对于普通类型(int, string 等等), 就是 传值 调用, 函数内对参数的修改, 不影响外面的变量
- 对于 struct 指针, slice 和 map 类型, 函数内对参数的修改之所以能影响外面, 是因为参数和外面的变量指向了同一块数据的地址
- 对于 struct 指针, slice 和 map 类型, 函数的参数和外面的变量的地址是不一样的, 所以本质上还是 传值 调用
- slice 的 append 操作会改变 slice 指针的地址, 这个非常重要!!! 我曾经写了一个基于 slice 的排序算法在这个上面吃了大亏, 调研很久才发现原因…
golang的传值调用和传引用调用的更多相关文章
- 深刻理解C#的传值调用和传引用调用
传值调用和传引用调用是几乎所有主流语言都会涉及到的问题,下面我谈谈我对C#中传值调用和传引用调用的理解. 1. 一般对C#中传值调用和传引用调用的理解 如果传递的参数是基元类型(int,float等) ...
- Java中的形参和实参的区别以及传值调用和传引用调用
名词解析: 1.形参:用来接收调用该方法时传递的参数.只有在被调用的时候才分配内存空间,一旦调用结束,就释放内存空间.因此仅仅在方法内有效. 2.实参:传递给被调用方法的值,预先创建并赋予确定值. 3 ...
- 【Java-Method】读《重构》有感_Java方法到底是传值调用还是传引用调用(传钥匙调用)
今天读<重构>P279, Separate Query from Modifier,将查询函数和修改函数分离. 问题的产生 突然想到 Java 的传对象作为参数的方法到底是 传引用调用,还 ...
- Python FAQ1:传值,还是传引用?
在C/C++中,传值和传引用是函数参数传递的两种方式.由于思维定式,从C/C++转过来的Python初学者也经常会感到疑惑:在Python中,函数参数传递是传值,还是传引用呢? 看下面两段代码: de ...
- Python中参数是传值,还是传引用?
在 C/C++ 中,传值和传引用是函数参数传递的两种方式,在Python中参数是如何传递的?回答这个问题前,不如先来看两段代码. 代码段1: def foo(arg): arg = 2 print(a ...
- Python 函数中,参数是传值,还是传引用?
在 C/C++ 中,传值和传引用是函数参数传递的两种方式,在Python中参数是如何传递的?回答这个问题前,不如先来看两段代码. 代码段1: def foo(arg): arg = 2 print(a ...
- 拷贝构造函数不能传值,只能传引用,而且一般是传const引用
为什么呢?因为传值函数,需要调用拷贝构造函数,那就层层循环无止境了.
- php中传值与传引用的区别。什么时候传值什么时候传引用?
值传递: 函数范围内对值的任何改变在函数外部都会被忽略; 引用传递: 函数范围内对值的任何改变在函数外部也能反映出这些修改: 优缺点:按值传递时,php必须复制值.特别是对于大型的字符串和对象来说 ...
- Java内存管理-Stackoverflow问答-Java是传值还是传引用?(十一)
勿在流沙筑高台,出来混迟早要还的. 做一个积极的人 编码.改bug.提升自己 我有一个乐园,面向编程,春暖花开! 本文导图: 一.由一个提问引发的思考 在Stack Overflow 看到这样一个问题 ...
随机推荐
- Spring Boot Mybatis 使用教程
Mybatis 在当下互联网开发环境,十分重要.本章主要讲述 Mybatis 如何使用. 从本系列开始,都需要用到 mysql 数据库 和其他一些参考的数据库.请准备相关环节.本章需要以下环境支撑: ...
- 一个arctan积分的两种解法
\[\Large\int_{0}^{1}\frac{\arctan x}{\sqrt{1-x^{2}}}\mathrm{d}x\] \(\Large\mathbf{Solution:}\) 首先第一种 ...
- 路由器安全-FPM
1.FPM(也叫NGACL) FPM是Cisco IOS新一代的ACL,叫做Flexible Packet Matching,灵活的包匹配. 根据任意条件,无状态的匹配数据包的头部,负载,或者全部. ...
- python调用os模块锁定用户
import timeimport osuser_info = { 'mac': {'pwd': '123', 'count': 0, 'locked': False}, 'tank': {'pwd' ...
- HDFS核心类FileSystem的使用
一.导入jar包 本次使用的是eclipse操作的,所以需要手动导入jar包 在Hadoop.7.7/share/hadoop里有几个文件夹 common为核心类,此次需要引入common和hdfs两 ...
- Interesting丨当我们用蚂蚁的视角看待世界
分享一组很有意思的图片~
- 设计模式课程 设计模式精讲 3-10 里氏替换原则coding
1 代码演练 1.1 继承关系判别(是否是真正意义的继承) 1.2 入参控制 1.3 出参控制 1 代码演练 1.1 继承关系判别(是否是真正意义的继承)(其实我觉得这个例子有点牵强) 1.1.1 反 ...
- 树形下拉框ztree、获取ztree所有父节点,ztree的相关方法
参考:jQuery树形控件zTree使用小结 需求 添加.修改的终端需要选择组织,组织是多级架构(树状图显示). 思路 1.因为下拉框需要树状图显示,所以排除使用select做下拉框,改用input ...
- 3_01_MSSQL课程_Ado.Net_连接数据库
1. Ado.Net 是一组微软的c#操作数据库的类库. 2.开发人员将界面上的数据(用户的操作和输入的数据)存储到数据库当中.. 3.数据库访问的驱动.即:应用程序和数据库的桥梁. 4.驱动层. S ...
- ➡️➡️➡️leetcode 需要每天打卡,养成习惯
目录 待完成的 完成的 0204 0203 以前 java 的 ! 的操作 不像 c 那样自由,!不要使用在int 变量上 c ^ 是异或操作 体会:c中,malloc 后的新建的数组,默认不是0(j ...