Go中都是值传递,切记! 你所了解的引用传递等知识经验从今天开始彻底抛弃!

简介: Go中都是值传递,切记! 你所了解的引用传递等知识经验从今天开始彻底抛弃!

Go中都是值传递



我看在技术大群里面有人问我,到底值类型,引用类型以及指针类型有什么区别?为什么别人说函数传参是引用传递或者值传递,有的人说是指针传递?


想要彻底搞清楚这个问题,你得先通过表现来理解一下,然后在深入源码理解下你很快就会明白的。


所以网上说的有可能都是错误的,大家千万别被误导!


我们接下来重点解决函数传递参数到底是值传递还是其他类型传递!


三者区别


  • 值类型 就是变量赋值的时候将直接获得一个真实的数据副本,请大家再次看清楚,真实的"数据"副本。比如var int a = 10,b:=a 这就相当于a持有10,b持有a的数据的副本 那就将10拷贝到b指向的内存。
  • 引用类型 就是仅仅是把对象的引用赋给变量,这样就可能导致多个变量引用到一个实际对象实例上。比如a := make([]int, 0),b:=a[2:],那么a和b持有的就是底层对象的引用,说白了a和b就是底层对象的别名。
  • 指针类型 就是赋给变量的是一个内存地址,这个地址指向真实的数据,比如var int a = 10,p:=&a,这个p就是指针变量,它存储的就是a的地址。

注意:在Go中弱化了指针,所以一般只需要关注值和引用类型就可以。


函数传参


首先声明一点:在Go中除了slicemapchannel类型之外的变量都是值类型。

那就好说了,引用类型就三种:slice, map和channel,其他都是值类型。


在Go中引用类型的变量初始化默认是make,但是new也是可以的,比如:


package main
import "fmt"
type A []int 
func main() {
 a := new(A)
 *a = append(*a, 1)
 fmt.Println(*a) //[1]
 a1 := make([]int, 0)
 a1 = append(a1, 1)
 fmt.Println(a1) //[1]
}


当然map以及channel也是可以用makenew的,大家下去试试哈。

至于makenew的区别大家下去自己看哈,这不是本文的重点。


接下来我们重点来聊聊函数传参的问题,我们都知道值传递是copy一份,所以这个大家都能理解,我们重点讲解大家疑惑的问题,引用类型的传参问题。


首先大家看一个例子,即看看它的表现是什么:

package main
import "fmt"
func CopyList(a []int)  {
 a = append(a, 2)
 fmt.Printf("copylist is %p \n", &a)
 fmt.Println("copylist value is ", a)
}
func main() {
 a := make([]int, 0)
 a = append(a, 1)
 fmt.Println("main value is ", a)
 fmt.Printf("main address is %p \n", &a)
 CopyList(a)
}
输出:
main value is  [1]
main address is 0xc0000a6018 
copylist is 0xc0000a6048 
copylist value is  [1 2]


我们通过结果分析下引用传递会有什么影响。


  1. 首先函数参数是a []int
  2. main中定义的引用类型变量是a并且也做了初始化
  3. 然后调用CopyList(a)
  4. 看在main中a的地址和在CopyList中a的地址,发现不一样?为什么不一样呢?因为Go语言在设计的时候明确表示函数参数传递是值传递,所以相当于函数CopyList拷贝了一份变量,这个时候次a非比a。但是那你可能说:为什么拷贝了一份,但是从结果来看就是引用啊,因为函数CopyList改变了外面main中a的值。


答案就是Go在设计引用类型的时候,比如这三者map,slice和channel,他们的结构体中并没有直接保存数据,而是保存了指向数据的指针,那么在函数中传递这三种的变量其实只是拷贝了一份它们自己的一份结构体,但是结构体里面具体保存的指针指向的地址还是同一份,没有变化的。所以这也就说明函数中为什么可以改变引用类型变量的值了,因为底层指针指向的地址是同一个。


分析完了slice,其它两个都比较简单,这里就不再演示了,大家下去自己尝试。

640.png


type slice struct {
 array unsafe.Pointer //指针 到时候slice初始化的时候会用mallocgc分配内存,把这块内存地址保存到array中。
 len   int
 cap   int
}

map和channel里面也是有指针,指向一块内存空间。


小结


大家一定要记住在Go中函数传递参数一定是值传递,千万别搞混淆了,至于为什么上面也说清楚了,如果大家还不懂就进群,大牛比较多为你继续解惑哈。

- END -

目录
打赏
0
0
0
0
5
分享
相关文章
|
4月前
|
Go
|
9月前
|
Go
go值传递和引用传递
go值传递和引用传递
|
10月前
|
Go语言并发编程原理与实践:面试经验与必备知识点解析
【4月更文挑战第12天】本文分享了Go语言并发编程在面试中的重要性,包括必备知识点和面试经验。核心知识点涵盖Goroutines、Channels、Select、Mutex、Sync包、Context和错误处理。面试策略强调结构化回答、代码示例及实战经历。同时,解析了Goroutine与线程的区别、Channel实现生产者消费者模式、避免死锁的方法以及Context包的作用和应用场景。通过理论与实践的结合,助你成功应对Go并发编程面试。
154 3
监控局域网其他电脑:Go 语言迪杰斯特拉算法的高效应用
在信息化时代,监控局域网成为网络管理与安全防护的关键需求。本文探讨了迪杰斯特拉(Dijkstra)算法在监控局域网中的应用,通过计算最短路径优化数据传输和故障检测。文中提供了使用Go语言实现的代码例程,展示了如何高效地进行网络监控,确保局域网的稳定运行和数据安全。迪杰斯特拉算法能减少传输延迟和带宽消耗,及时发现并处理网络故障,适用于复杂网络环境下的管理和维护。
揭秘 Go 语言中空结构体的强大用法
Go 语言中的空结构体 `struct{}` 不包含任何字段,不占用内存空间。它在实际编程中有多种典型用法:1) 结合 map 实现集合(set)类型;2) 与 channel 搭配用于信号通知;3) 申请超大容量的 Slice 和 Array 以节省内存;4) 作为接口实现时明确表示不关注值。此外,需要注意的是,空结构体作为字段时可能会因内存对齐原因占用额外空间。建议将空结构体放在外层结构体的第一个字段以优化内存使用。
|
1月前
|
Go 语言入门指南:切片
Golang中的切片(Slice)是基于数组的动态序列,支持变长操作。它由指针、长度和容量三部分组成,底层引用一个连续的数组片段。切片提供灵活的增减元素功能,语法形式为`[]T`,其中T为元素类型。相比固定长度的数组,切片更常用,允许动态调整大小,并且多个切片可以共享同一底层数组。通过内置的`make`函数可创建指定长度和容量的切片。需要注意的是,切片不能直接比较,只能与`nil`比较,且空切片的长度为0。
Go 语言入门指南:切片
AI助理

你好,我是AI助理

可以解答问题、推荐解决方案等