【Go 进阶】Go 语言到底是值传递,还是引用传递?(三)

简介: 【Go 进阶】Go 语言到底是值传递,还是引用传递?(三)

3、函数接收者中的 type

3.1 值接收者和指针接收者

比如我们有两个结构体:

type Man struct {}
type Woman struct {}

我们分别使用指针接收者和值接收者给它们添加一个Say()方法:

// Say()方法的全名为(*Man).Say(),即只有指针类型*Man才有Say()方法
func (*Man) Say() {
    fmt.Println("man say")
}
// Say()方法的全名为(Woman).Say(),即只有值类型Woman才有Say()方法
func (Woman) Say() {
    fmt.Println("woman say")
}

这里虽然它们都是 Say() 方法,但实际上方法名是不一样的,如果你使用指针接收者,方法的全名为(*Man).Say(), 如果是值类型,则全名为 Woman.Say()。严格的来说,对于前者,只能使用 (*Man) 类型来调用 Say() 方法,后者则是只能使用 Woman 类型来调用,因为值类型 Man 并没有 Say()方法,同理指针类型 *Woman 也没有 Say() 方法。

但实际编码时,使用 Man.Say() 也能通过编译,为什么呢?因为编译器做了一层隐式转换,比如:

man := Man{} // man是个值类型
man.Say() // man say   ok, 编译器将man隐式转换成了 &Man

这是因为 go 的编译器为了我们做了一次隐式转换,即将 man.Say() 转换成了 (&man).Say(),也就是对 man 做了取地址操作。同理,如果实参是值类型而形参(方法接收者)是指针类型:

ptrWoman := &Woman{}
ptrWoman.Say() // woman say   ok, 编译器将ptrWoman隐式转换成了*Woman

编译器也会为了通过编译而尽量把指针类型 ptrWomanWoman 类型上"套",这个"套"法就是对 ptrWoman 做隐式转换,转换成 (*ptrWoman).Say(),这样就跟方法名匹配上了。

那么既然编译器这么勤劳,为什么我们还需要关心这个问题呢?原因是对于接口类型,编译器"偷懒"了,并不会主动为我们做类型转换,比如我们定义一个 CanTalk 接口,里面就有这个 Say() 方法:

// 定义一个说话接口
type CanTalk interface {
  Say()
}

这样一来,WomanMan 类型应该都实现了这个接口,对吧?其实不然,因为 ManSay() 方法是指针接收者,所以严格来说是指针类型 *Man 实现了这个接口,而值类型 Man 并没有。同理,因为 WomanSay() 方法是值类型,所以严格来说是 Woman 实现了这个接口,而 *Woman 则没有。所以,如果你把值类型 Man 的变量赋值给接口 CanTalk 是会报错的:

man := Man{} 
var canTalk CanTalk
canTalk = man // error, Man类型没有Say()方法
// error:cannot use man (type Man) as type CanTalk in assignment: 
// Man does not implement CanTalk (Say method has pointer receiver)

而反过来,如果将 指针类型的 *man 或者 值类型/指针类型的 woman 的变量赋值给CanTalk则没有问题:

man := &Man{} 
var canTalk CanTalk
canTalk = man
canTalk.Say() // man say

在Go语言中,接口变量实际上是一个由两部分组成的数据结构:一个指向实际值的指针(或数据),和一个指向类型信息的指针。而该类型信息包括方法集合信息、包路径等内容。

在将man := Man{}赋值给canTalk变量时,由于Man类型只实现了(*Man) Say()方法,而没有实现(Man) Say()方法,因此不能被赋值给CanTalk类型的变量,因为它无法满足CanTalk接口的要求。因此,这段代码会在编译期间报错:cannot use man (type Man) as type CanTalk in assignment: Man does not implement CanTalk (missing Say method)

尽管*Man类型已经实现了Say方法,但是根据Go语言规范,只有带指针接收器的方法才可以被使用指针类型的变量调用。在这个例子中,虽然 manMan 的一个值类型实例,它并不具备Man类型的Say方法可以被指针类型 CanTalk 变量调用的能力。因此,将man直接赋值给实现了Say方法的 CanTalk 类型变量会导致编译错误。解决这个问题的方法是,将man的地址赋值给 CanTalk 类型变量,即使用取地址符"&"进行显式转换:

var canTalk CanTalk
canTalk = &man
canTalk.Say()

这样就可以正确地通过 CanTalk 类型变量调用Man类型的Say方法了。

再来看看 Woman

woman := Woman{} 
// or 
woman := &Woman{} 
var canTalk CanTalk
canTalk = woman
canTalk.Say() // woman say

woman := Woman{}woman := &Woman{} 都是创建一个 Woman 类型的变量,但它们的类型和使用方式有所不同。

woman := Woman{} 是直接创建了一个 Woman 类型的值,并将其赋给 woman 变量。这时 woman 变量的类型就是 Woman,而不是指向 Woman 类型的指针。因此,对 woman 变量进行方法调用时,需要使用值类型,即:woman.Say()。同时,如果将 woman 赋值给实现了该类型的接口变量(如 var canTalk CanTalk = woman),Go 会在编译阶段自动为 woman 值生成一个指向该值的指针并赋给接口变量。

这里需要注意的是,由于值类型无法通过地址访问到,因此只有实现了 func (t T) MethodName() {...} 方法声明的值类型才可以被赋值给对应接口类型的变量。例如:func (Woman) Say() {...}

woman := &Woman{} 则是创建了一个指向 Woman 类型的指针,并将该指针赋给 woman 变量。这时 woman 变量的类型就是 *Woman,而不是 Woman。因此,对 woman 变量进行方法调用时,需要使用指针类型,即:woman.Say() 或者 (*woman).Say()。同时,将 woman 赋值给实现了该类型的接口变量时(如 var canTalk CanTalk = woman),Go 会直接将 woman 指针赋给接口变量,无需做任何转换。

因此,使用 woman := &Woman{} 创建指向 Woman 类型的指针更为常见,可以方便地对对象进行修改和传递。如果需要直接操作值本身的数据,可以使用值类型。

需要注意的是:编译器确实会进行隐式转换,但这并不意味着你应该依赖于它。在一些情况下,隐式转换可能会导致编译错误或者程序行为不正确的问题。因此,尽量避免过度依赖编译器进行隐式转换,而是应该显式地转换数据类型以确保代码的正确性和可读性。

这里就得出一个经验,一旦你的函数的接收者的类型是指针类型并且实现一个接口的时候,在将一个实例赋值给接口类型的变量的时候,一定要是指针类型,否则编译器会报错。而如果你的函数接受者是值类型并且实现一个接口的时候,实例不管是值类型还是指针类型都会被编译器隐式生成一个指针指向接口变量,就不会报错了。

相关文章
|
1天前
|
安全 Java Go
探索Go语言在高并发环境中的优势
在当今的技术环境中,高并发处理能力成为评估编程语言性能的关键因素之一。Go语言(Golang),作为Google开发的一种编程语言,以其独特的并发处理模型和高效的性能赢得了广泛关注。本文将深入探讨Go语言在高并发环境中的优势,尤其是其goroutine和channel机制如何简化并发编程,提升系统的响应速度和稳定性。通过具体的案例分析和性能对比,本文揭示了Go语言在实际应用中的高效性,并为开发者在选择合适技术栈时提供参考。
|
5天前
|
运维 Kubernetes Go
"解锁K8s二开新姿势!client-go:你不可不知的Go语言神器,让Kubernetes集群管理如虎添翼,秒变运维大神!"
【8月更文挑战第14天】随着云原生技术的发展,Kubernetes (K8s) 成为容器编排的首选。client-go作为K8s的官方Go语言客户端库,通过封装RESTful API,使开发者能便捷地管理集群资源,如Pods和服务。本文介绍client-go基本概念、使用方法及自定义操作。涵盖ClientSet、DynamicClient等客户端实现,以及lister、informer等组件,通过示例展示如何列出集群中的所有Pods。client-go的强大功能助力高效开发和运维。
23 1
|
5天前
|
SQL 关系型数据库 MySQL
Go语言中使用 sqlx 来操作 MySQL
Go语言因其高效的性能和简洁的语法而受到开发者们的欢迎。在开发过程中,数据库操作不可或缺。虽然Go的标准库提供了`database/sql`包支持数据库操作,但使用起来稍显复杂。为此,`sqlx`应运而生,作为`database/sql`的扩展库,它简化了许多常见的数据库任务。本文介绍如何使用`sqlx`包操作MySQL数据库,包括安装所需的包、连接数据库、创建表、插入/查询/更新/删除数据等操作,并展示了如何利用命名参数来进一步简化代码。通过`sqlx`,开发者可以更加高效且简洁地完成数据库交互任务。
13 1
|
5天前
|
算法 NoSQL 中间件
go语言后端开发学习(六) ——基于雪花算法生成用户ID
本文介绍了分布式ID生成中的Snowflake(雪花)算法。为解决用户ID安全性与唯一性问题,Snowflake算法生成的ID具备全局唯一性、递增性、高可用性和高性能性等特点。64位ID由符号位(固定为0)、41位时间戳、10位标识位(含数据中心与机器ID)及12位序列号组成。面对ID重复风险,可通过预分配、动态或统一分配标识位解决。Go语言实现示例展示了如何使用第三方包`sonyflake`生成ID,确保不同节点产生的ID始终唯一。
go语言后端开发学习(六) ——基于雪花算法生成用户ID
|
6天前
|
JSON 缓存 监控
go语言后端开发学习(五)——如何在项目中使用Viper来配置环境
Viper 是一个强大的 Go 语言配置管理库,适用于各类应用,包括 Twelve-Factor Apps。相比仅支持 `.ini` 格式的 `go-ini`,Viper 支持更多配置格式如 JSON、TOML、YAML
go语言后端开发学习(五)——如何在项目中使用Viper来配置环境
|
3天前
|
NoSQL Go Redis
Go语言中如何扫描Redis中大量的key
在Redis中,遍历大量键时直接使用`KEYS`命令会导致性能瓶颈,因为它会一次性返回所有匹配的键,可能阻塞Redis并影响服务稳定性。为解决此问题,Redis提供了`SCAN`命令来分批迭代键,避免一次性加载过多数据。本文通过两个Go语言示例演示如何使用`SCAN`命令:第一个示例展示了基本的手动迭代方式;第二个示例则利用`Iterator`简化迭代过程。这两种方法均有效地避免了`KEYS`命令的性能问题,并提高了遍历Redis键的效率。
10 0
|
4天前
|
监控 Serverless Go
Golang 开发函数计算问题之Go 语言中切片扩容时需要拷贝原数组中的数据如何解决
Golang 开发函数计算问题之Go 语言中切片扩容时需要拷贝原数组中的数据如何解决
|
4天前
|
关系型数据库 MySQL 数据库连接
Go语言中使用sqlx来操作事务
在应用中,数据库事务保证操作的ACID特性至关重要。`github.com/jmoiron/sqlx`简化了数据库操作。首先安装SQLX和MySQL驱动:`go get github.com/jmoiron/sqlx`和`go get github.com/go-sql-driver/mysql`。导入所需的包后,创建数据库连接并使用`Beginx()`方法开始事务。通过`tx.Commit()`提交或`tx.Rollback()`回滚事务以确保数据一致性和完整性。
8 0
|
6天前
|
SQL 安全 关系型数据库
Go 语言中的 MySQL 事务操作
在现代应用中,确保数据完整与一致至关重要。MySQL的事务机制提供了可靠保障。本文首先解释了事务的概念及其ACID特性,随后介绍了如何在Go语言中使用`database/sql`包进行MySQL事务操作。通过一个银行转账的例子,演示了如何通过Go开启事务、执行操作并在必要时回滚或提交,确保数据一致性。最后,还讨论了不同事务隔离级别的含义及如何在Go中设置这些级别。通过本文的学习,开发者能更好地掌握MySQL事务的应用。
11 0
|
7天前
|
SQL 关系型数据库 MySQL
Go语言中进行MySQL预处理和SQL注入防护
在现代Web应用开发中,安全性至关重要。SQL注入是一种常见的攻击方式,攻击者可通过构造特殊SQL查询来非法访问或修改数据库数据。本文介绍如何利用Go语言中的预处理SQL语句来防范此类攻击。预处理不仅能提升安全性,还能提高性能并简化代码。通过使用`?`作为占位符,Go自动处理参数转义,有效避免SQL注入。此外,文章还提供了连接MySQL数据库、执行预处理查询以及最佳实践的示例代码。务必遵循这些指导原则,确保应用程序的安全性。
16 0