Go Interface 合法验证

接口实现判断依据

• 值方法集和接口匹配
  • 给接口变量赋值的不管是值还是指针对象,都ok,因为都包含值方法集
• 指针方法集和接口匹配
  • 只能将指针对象赋值给接口变量,因为只有指针方法集和接口匹配
  • 如果将值对象赋值给接口变量,会在编译期报错(会触发接口合理性检查机制)

接口绑定

type Annimaler interface {
   
    Name() string
}

type Dog struct {
   }

func (d *Dog) Name() string {
   
    return "二哈"
}

func main()  {
   
    var i Annimaler
    i = &Dog{
   }
    i = (*Dog)(nil)
    i = new(Dog)
    // i = Handle{} // 无法编译通过，因为 i 是指针类型，Handle{} 不是指针类型

    // 调用接口方法
    fmt.Println(i.Name())
}

基于以上的代码，我们大致可以写出 go interface 合理性验证的代码如下：

var _ Annimaler = &Dog{
   }

var _ Annimaler = (*Dog)(nil)

代码解释

赋值的右边应该是断言类型的零值，也就是说 Dog 类型的零值等于Annimaler类型的零值。
如果是指针类型（如 *Annimaler）、切片和映射，这是 nil；
如果是结构类型，这是空结构。

(*Dog)(nil) 是类型断言，就是把变量用 nil 代替，把 nil 转换成一个 Dog 类型的空指针后赋值给 Annimaler

接收器 (receiver) 与接口，接口与具体方法集的匹配

一个类型可以有值接收器方法集和指针接收器方法集

使用值接收器的方法既可以通过值调用，也可以通过指针调用。带指针接收器的方法只能通过指针或 addressable values调用(其实和值调用类似)。

如果方法的接收者是值类型，无论调用者是对象还是对象指针，修改的都是对象的副本，不影响调用者；如果方法的接收者是指针类型，则调用者修改的是指针指向的对象本身。

通常我们使用指针作为方法的接收者的理由：

• 使用指针方法能够修改接收者指向的值。
• 可以避免在每次调用方法时复制该值，在值的类型为大型结构体时，这样做会更加高效。

在该代码中：

i = &Dog{
   }
fmt.Println(i.Name())

编译是可以通过的，这就是通过 addressable values 调用的。

参考资料

• uber-go/guide的中文翻译：https://github.com/xxjwxc/uber_go_guide_cn