乐趣区

关于golang:Golang-方法集的那些事

jiezi

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

学习 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. 防止办法调用时，由值复制带来的内存 & 性能问题
退出移动版