方法集(Method Set)
规则:
类型的值的方法集只包含值接收者声明的方法
指向 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] // 切片的索引表达式是可寻址的
}
总的来看,不可变的、临时结果、以及不安全的,都不可寻址
- 不可变的:如常量
- 临时结果:如运算结果值,索引表达式,切片表达式(切片的索引表达式除外)等
- 不安全的:如字典索引表达式,函数,方法等
应该选择指针类型接收者,原因:
- 使用指针接收者意味着支持修改接收者指向的值
- 避免方法调用时,由值复制带来的内存&性能问题