Golang中方法集的那些事

968 阅读2分钟

类型的值也可以调用指针接收者的方法!

image-20210626091914165

学习golang中关于方法部分知识的人一定了解过方法集(Method Set)的概念,也一定对上面这张图不陌生,方法集定义如下规则:

规则:

  1. 类型的值的方法集只包含值接收者声明的方法

  2. 指向 T 类型的指针的方法集既包含值接收者声明的方法,也包含指针接收者声明的方法

实际使用过程中会发现,在T的值可寻址的情况下,类型的值也可以调用指针接收者的方法

package main

import "fmt"

type baseImpl string

const (
	BI = baseImpl("1234")
)

type base interface {
	func1 ()
}

func (b *baseImpl) func1() {
	fmt.Println("invoke base impl func1")
}

func main() {
	bi := baseImpl("1234")
	bi.func1() // 正常执行,输出 "invoke base impl func1"
	BI.func1() // 编译器报错,Cannot call a pointer method on 'BI'
}

上述代码中,定义了一个接口 base 以及其实现类 baseImpl,并且baseImpl 是通过指针接收者的形式来实现接口定义的方法

在实际使用过程中可以看到,定义baseImpl的值bi是可以调用func1方法的,因为bi是可以寻址的

但是,由于常量BI是不可寻址的,所以它遵循规则,无法调用func1方法

由此可见,对于可寻址的值而言,其方法集的范围包含了接收者类型为值类型和指针类型;对于不可寻址的值而言,其方法集的范围仅包含值类型接收者

什么值是不可寻址的?

常见不可寻址的值的类型有:

  • 常量
  • 基本类型值
  • 运算结果值
  • 字符串索引表达式和切片表达式的结果值
  • 字典的索引表达式结果值
  • 函数、方法,及其调用表达式
  • 类型转换
  • 断言
package main

const (
	I = 1
)

func main() {
	i := &I           // 常量不可寻址
	str := &"1234"    // 基本类型,不可寻址
	u := &str[0]      // 字符串索引表达式,不可寻址
	s := &str[1:2]    // 字符串切片表达式,不可寻址
	i2 := &int64(123) // 类型强转,不可寻址

	strArr := []string{""}
	sa := &strArr[0] // 切片的索引表达式是可寻址的
}

总的来看,不可变的、临时结果、以及不安全的,都不可寻址

  • 不可变的:如常量
  • 临时结果:如运算结果值,索引表达式,切片表达式(切片的索引表达式除外)等
  • 不安全的:如字典索引表达式,函数,方法等

方法接收者应该选择值类型还是指针类型?

应该选择指针类型接收者,原因:

  1. 使用指针接收者意味着支持修改接收者指向的值
  2. 避免方法调用时,由值复制带来的内存&性能问题