类型的值也能够调用指针接收者的办法!

学习golang中对于办法局部常识的人肯定理解过办法集(Method Set)的概念,也肯定对下面这张图不生疏,办法集定义如下规定:

规定:

  1. 类型的值的办法集只蕴含值接收者申明的办法
  2. 指向 T 类型的指针的办法集既蕴含值接收者申明的办法,也蕴含指针接收者申明的办法

理论应用过程中会发现,在T的值可寻址的状况下,类型的值也能够调用指针接收者的办法

package mainimport "fmt"type baseImpl stringconst (    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 mainconst (    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. 防止办法调用时,由值复制带来的内存&性能问题