Go 进阶 1 interface的实现分析

英文原版：https://research.swtch.com/interfaces
我的总结：

1. go的这个interface不需要明确写implements了哪个哪个，这个模式叫做duck typing。

2. interface的实现上，一个interface的结构有两个值，一个是tab，用来存各种metadata和call的function地址；另一个是data，是真真来存这个赋值的机构题。
   下面这个图，Binary b是Stringer的实现，实现了String()方法，另外还有自己的Get()方法。
   func[0]就是Binary实现的那个String()的方法，在这个里面是没有Get()方法的地址的。因为Stringer这个interface没有这个方法。
   在调用s.String的时候，其实是吧data里面的那个Binary作为String方法的第一个参数。这也解释了再Go基础5里面说的那个实现的时候用指针，而不用struct本身。

   
   
   

   image.png

3. 看到这个表其实就能想到c++的虚表。和c++不同：c++是在编译的时候为每一个类都生成了虚表，因为很简单，c++都是明确继承。
   但是go这里不行，没有显示的注明，那这样如果都生成的话，N接口M个结构体，那比较下N*M的复杂度。go的做法是给每个interface和struct都做好描述，这样的话，在做真正赋值的时候，就可以确认call哪个函数了。当然了，go再编译阶段会检查你的赋值合法性，看这个struct是否实现了interface。

4. 这个itable的计算咋算出来的？就是在各自的描述中，排好序，然后两个指针的扫，这样就能找到各自的地址了，线性复杂度。生成之后runtime会cache住这个itable，所以是仅仅计算一次。

5. 这个itable啥时候计算出来的？在用struct给interface赋值的时候，会计算这个itable，当然如果这样的转换已经被cache了，那就值机从cache里面拿。
   再call哪些method的时候，会从itable的func[]里面查询真正要用的函数地址，然后再去call那个函数。

6. 原文中还谈到了一些内存的优化，思想就是，data和tab里面能存下就不用指针跳转了，直接存。