在GO的源码iface.go中，还可以看到很多函数比如叫assertE2E,assertE2I,assertE2T等，这些函数就是对应的type assert的具体实现函数。E表示eface，I表示iface，T表示自定义的结构体或者基于内建类型创造出的类型。代码都比较简单，不在叙述了。
总结
想理解interface机制的实现，只需要理解类型元数据以及动态绑定过程。其中要还区分interface value，也就是内部的iface结构体。因此引出了Itable的概念。整体来说不是太复杂，数据结构也比较简单，如果你有时间的话，也可以自己看下GO的源码。
参考
GO源码(go\src\runtime\iface.go)
《Go Data Structures: Interfaces》
Ubuntu 安装Go语言包
《Go语言编程》高清完整版电子书