类型的值也可以调用指针接收者的方法!
方法集(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'
}
basebaseImplbaseImpl
baseImplbifunc1bi
BIfunc1

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

什么值是不可寻址的?

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

  • 常量
  • 基本类型值
  • 运算结果值
  • 字符串索引表达式和切片表达式的结果值
  • 字典的索引表达式结果值
  • 函数、方法,及其调用表达式
  • 类型转换
  • 断言
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. 避免方法调用时,由值复制带来的内存&性能问题