【Golang】编译器如何判断你是否是 Duck Type

go version 1.14.12

何为 Duck Type

当看到一只鸟走起来像鸭子、游泳起来像鸭子、叫起来也像鸭子，那么这只鸟就可以被称为鸭子。

  

---

Show me the code 🤔

type Duck interface {
   
	Quack()
}
type Cat struct{
   }
//The Cat implements the Quack() method, now, the Cat is Duck Type
func (c Cat) Quack() {
   
	fmt.Println("Miowo")
}
func main() {
   
	var _ Duck = Cat{
   }
}

---

得意之时，Cat 突然尴尬地说，我好像不会Quack 这个技能，但是我会Quacks 😁，您看这也差不多，我也能算鸭子吧？

编译器盘算了一番，无情地划了个 ❌

---

问题分析

1. 问题定位：出现在编译过程中，查看compile包。
2. 报错定位：在compile包全局搜索报错信息关键字段 does not implement。
3. 筛选一下，找到了subr.go
   很好，我们定位了:
   *why = fmt.Sprintf(":\n\t%v does not implement %v (missing %v method)", src, dst, missing.Sym)

函数内上下文发现（注意代码注释）：

// 3. dst is an interface type and src implements dst.
	if dst.IsInterface() && src.Etype != TNIL {
   
		var missing, have *types.Field
		var ptr int
        // 判断src是否实现了dst
		if implements(src, dst, &missing, &have, &ptr) {
   
			return OCONVIFACE
		}
        //....省略
    }

不过，src 是啥，dst 又是啥？

看来还是得了解下程序编译流程。步骤如下：

1. 词法和语法分析
2. 类型检查
3. 中间代码生成
4. 机器码生成

很明显，我们的问题在类型检查这一阶段。

而src，dst 对应的数据结构 *types.Type，查看数据结构中的 nod，和 gc.Node 有所关联。
而类型检查这一阶段，已经完成了抽象语法树的生成。

那我们看看go在编译过程中 var _ Duck = Cat{}, 到底经历了什么？让它无法通过implements()

通过我们IDE的Debug工具，可以确定代码流程如下：
gc.Main -> typecheckslice-> typecheck ->typecheck1 -> typecheckas ->assignconv-> assignconvfn ->assignop -> implements

---

代码逻辑思路如下：