清源正本,鉴往知来,Go lang1.18入门精炼教程,由白丁入鸿儒,Golang中引用类型是否进行引用传递EP18

简介: 开篇明义,Go lang中从来就不存在所谓的“引用传递”,从来就只有一种变量传递方式,那就是值传递。因为引用传递的前提是存在“引用变量”,但是Go lang中从来就没有出现过所谓的“引用变量”,所以也就不可能存在引用传递这种变量传递的方式。

开篇明义,Go lang中从来就不存在所谓的“引用传递”,从来就只有一种变量传递方式,那就是值传递。因为引用传递的前提是存在“引用变量”,但是Go lang中从来就没有出现过所谓的“引用变量”,所以也就不可能存在引用传递这种变量传递的方式。

引用类型

首先,Go lang的基本数据类型是值类型,比如整数、浮点、字符串、布尔、数组及错误类型,它们本质上是原始类型,也就是不可改变的,所以对它们进行操作,一般都会返回一个新创建的值,所以把这些值传递给函数时,其实传递的是一个值的拷贝副本,这一点,基本没啥争议。

而引用类型指的是它的修改动作可以影响到任何引用到它的变量。在 Go 语言中,引用类型有切片(slice)、字典(map)、接口(interface)、函数(func) 以及通道(chan) 。

问题是,如果我们在某一个函数体内对外部定义的引用类型数据做修改操作:

package main  
  
import "fmt"  
  
func changeMap(data map[string]string) {  
    data["123"] = "333"  
}  
  
func main() {  
    a := map[string]string{}  
    a["123"] = "123"  
    fmt.Println("begin:", a)  
    changeMap(a)  
    fmt.Println("after:", a)  
}

程序返回:

begin: map[123:123]  
after: map[123:333]

很明显,函数changeMap改变了外部的字典类型的值,那么我们就可以得出结论,引用类型的传参是使用的引用传递?

引用变量(reference variable)和引用传递(pass-by-reference)

事实上,引用变量(reference variable)和引用传递(pass-by-reference)确实存在,只不过存在于其他的语言中,比如说Python:

a = [2]  
print(id(a))  
  
def change(a):  
    print(id(a))  
    a.append(1)  
  
  
if __name__ == '__main__':  
  
    print(a)  
  
    change(a)  
  
    print(a)

这里我们定义了一个可变数据类型:列表a,然后将它传入函数change中,进行修改操作,同时使用系统内置的id()方法分别打印修改前的值和内存地址以及修改后的值和内存地址,程序返回:

4311179392  
[2]  
4311179392  
[2, 1]

这说明什么?说明变量a是引用变量(reference variable),同时它作为参数的传递方式是引用传递(pass-by-reference),证据就是它原始的内存地址和传递到函数内的内存地址是一致的,都是4311179392。

所以引用变量和引用传递应该具备如下特点:引用变量和原变量的内存地址一样。就像上面的例子里函数内引用变量a和原变量a的内存地址相同。函数使用引用传递,可以改变外部实参的值。就像上面的例子里,change函数使用了引用传递,改变了外部实参a的值。

Golang是否存在引用变量(reference variable)

Go lang中不存在引用变量:

package main  
  
import "fmt"  
  
func main() {  
    a := 1  
    var a1 *int = &a  
    var a2 *int = &a  
    fmt.Println("值", a1, " 内存地址:", &a1)  
    fmt.Println("值:", a2, " 内存地址:", &a2)  
}

程序返回:

值 0x140000140b8  内存地址: 0x1400000e028  
值: 0x140000140b8  内存地址: 0x1400000e030

和Python不同的是,在Go lang里,不可能有两个变量有相同的内存地址,所以也就不存在引用变量了。变量a1和a2的值相同,都指向变量a的内存地址,但是变量a1和a2自己本身的内存地址是不一样的,而Python里的引用变量和原变量的内存地址是相同的。

因此,在Go语言里是不存在引用变量的,也就自然没有引用传递了。

字典为什么可以做到值传递但是可以更改原对象?

因为字典虽然名字叫做字典,或者叫做map,但那并不重要,其实它是指针:

package main  
  
import (  
    "fmt"  
    "unsafe"  
)  
  
func main() {  
    data := make(map[string]int)  
    var p uintptr  
    fmt.Println("字典大小:", unsafe.Sizeof(data))  
    fmt.Println("指针大小:", unsafe.Sizeof(p))  
}

程序返回:

字典大小: 8  
指针大小: 8

从占据内存空间大小就可以看出,字典和指针其实就是一种东西,那如果字典是指针,那make返回的不应该是*map[string]int吗?为什么我们使用字典传实参,从来都不加*?

在Go lang早期,的确对于字典是使用过指针形式的,但是最后Golang的设计者发现,几乎没有人使用字典不加指针,因此就直接去掉了形式上的指针符号*,类比的话,我们会发现现实中几乎从来就没有人管AC米兰叫AC米兰,都是直呼米兰,因为大家都认为米兰就是AC米兰,所以都自动省略了形式上的“AC”。

本质上,我们可以理解字典作为参数传递方式是值传递,只不过引用类型传递的是一个指向底层数据的指针,所以我们在操作的时候,可以修改共享的底层数据的值,进而影响到所有引用到这个共享底层数据的变量,这也就是为什么字典在函数内操作可以影响原对象的原因。

结语

引用类型之所以可以引用,是因为我们创建引用类型的变量,其实是一个标头值,标头值里包含一个指针,指向底层的数据结构,当我们在函数中传递引用类型时,其实传递的是这个标头值的副本,它所指向的底层结构并没有被复制传递,这也是引用类型传递高效的原因,换句话说,Go lang为了保证值传递的纯粹性,才引入了指针的概念,如果Go lang里存在引用变量和引用传递,那指针不就成了画蛇添足的浮笔浪墨了吗?

相关文章
|
1月前
|
Cloud Native 安全 Java
Go语言深度解析:从入门到精通的完整指南
🌟蒋星熠Jaxonic,Go语言探索者。深耕云计算、微服务与并发编程,以代码为笔,在二进制星河中书写极客诗篇。分享Go核心原理、性能优化与实战架构,助力开发者掌握云原生时代利器。#Go语言 #并发编程 #性能优化
334 43
Go语言深度解析:从入门到精通的完整指南
|
6月前
|
人工智能 安全 算法
Go入门实战:并发模式的使用
本文详细探讨了Go语言的并发模式,包括Goroutine、Channel、Mutex和WaitGroup等核心概念。通过具体代码实例与详细解释,介绍了这些模式的原理及应用。同时分析了未来发展趋势与挑战,如更高效的并发控制、更好的并发安全及性能优化。Go语言凭借其优秀的并发性能,在现代编程中备受青睐。
199 33
|
1月前
|
Java 编译器 Go
【Golang】(1)Go的运行流程步骤与包的概念
初次上手Go语言!先来了解它的运行流程吧! 在Go中对包的概念又有怎样不同的见解呢?
102 4
|
1月前
|
Java 编译器 Go
【Golang】(5)Go基础的进阶知识!带你认识迭代器与类型以及声明并使用接口与泛型!
好烦好烦好烦!你是否还在为弄不懂Go中的泛型和接口而烦恼?是否还在苦恼思考迭代器的运行方式和意义?本篇文章将带你了解Go的接口与泛型,还有迭代器的使用,附送类型断言的解释
125 3
|
1月前
|
存储 安全 Java
【Golang】(4)Go里面的指针如何?函数与方法怎么不一样?带你了解Go不同于其他高级语言的语法
结构体可以存储一组不同类型的数据,是一种符合类型。Go抛弃了类与继承,同时也抛弃了构造方法,刻意弱化了面向对象的功能,Go并非是一个传统OOP的语言,但是Go依旧有着OOP的影子,通过结构体和方法也可以模拟出一个类。
113 1
|
2月前
|
Cloud Native 安全 Java
Go语言深度解析:从入门到精通的完整指南
🌟 蒋星熠Jaxonic,执着的星际旅人,用Go语言编写代码诗篇。🚀 Go语言以简洁、高效、并发为核心,助力云计算与微服务革新。📚 本文详解Go语法、并发模型、性能优化与实战案例,助你掌握现代编程精髓。🌌 从goroutine到channel,从内存优化到高并发架构,全面解析Go的强大力量。🔧 实战构建高性能Web服务,展现Go在云原生时代的无限可能。✨ 附技术对比、最佳实践与生态全景,带你踏上Go语言的星辰征途。#Go语言 #并发编程 #云原生 #性能优化
|
4月前
|
JSON 人工智能 Go
在Golang中序列化JSON字符串的教程
在Golang中,使用`json.Marshal()`可将数据结构序列化为JSON格式。若直接对JSON字符串进行序列化,会因转义字符导致错误。解决方案包括使用`[]byte`或`json.RawMessage()`来避免双引号被转义,从而正确实现JSON的序列化与反序列化。
192 7
|
4月前
|
人工智能 测试技术 持续交付
Golang深入浅出之-Go语言中的持续集成与持续部署(CI/CD)
持续集成与持续部署(CI/CD)是现代软件开发的关键实践,尤其适用于Go语言项目。本文探讨了Go项目中常见的CI/CD问题,如测试覆盖不足、版本不一致和构建时间过长,并提供解决方案及GitHub Actions示例代码,帮助开发者优化流程,提升交付效率和质量。
133 5
|
7月前
|
存储 算法 数据可视化
【二叉树遍历入门:从中序遍历到层序与右视图】【LeetCode 热题100】94:二叉树的中序遍历、102:二叉树的层序遍历、199:二叉树的右视图(详细解析)(Go语言版)
本文详细解析了二叉树的三种经典遍历方式:中序遍历(94题)、层序遍历(102题)和右视图(199题)。通过递归与迭代实现中序遍历,深入理解深度优先搜索(DFS);借助队列完成层序遍历和右视图,掌握广度优先搜索(BFS)。文章对比DFS与BFS的思维方式,总结不同遍历的应用场景,为后续构造树结构奠定基础。
328 10
|
9月前
|
存储 Go
Go 语言入门指南:切片
Golang中的切片(Slice)是基于数组的动态序列,支持变长操作。它由指针、长度和容量三部分组成,底层引用一个连续的数组片段。切片提供灵活的增减元素功能,语法形式为`[]T`,其中T为元素类型。相比固定长度的数组,切片更常用,允许动态调整大小,并且多个切片可以共享同一底层数组。通过内置的`make`函数可创建指定长度和容量的切片。需要注意的是,切片不能直接比较,只能与`nil`比较,且空切片的长度为0。
220 3
Go 语言入门指南:切片

热门文章

最新文章

推荐镜像

更多