Go-interface

今天学习了一下Go 接口的底层实现。主要是一篇学习笔记的总结,把自己的思考整理一下。如果想更加深入的了解接口的实现,可以看下参考文献中的文章。

1 概述

接口主要是为了实现多态。Go语言并没有像其他语言中,显式指定继承接口。而是只要实现了接口的方法,就算继承了接口。

1.1 分类与数据结构

在Go语言中,按照是否有函数分为iface跟 eface两种。iface 是包含函数的接口。
我们看下这两种接口的定义:
eface:

type eface struct { // 16 bytes
    _type *_type //  Go 语言中类型的运行时表示
    data  unsafe.Pointer  // 指向原始数据的指针
}

iface:

type iface struct { // 16 bytes
    tab  *itab
    data unsafe.Pointer // 指向原始数据的指针
}

从定义我们可以看出,eface 跟 iface都有data 部分,主要的差别在于eface只有_type, 而iface 有itab(里面包含_type)。
下面我们简单列一下itab的结构(其实普通的type 跟interface 进行转换时,主要是构造跟解析itab)。

type itab struct { // 32 bytes
    inter *interfacetype // 接口类型
    _type *_type // 类型
    hash  uint32 // copy of _type.hash. Used for type switches. 类型的hash。在进行type跟接口转换时,通过这个hash进行比对。
    _     [4]byte
    fun   [1]uintptr // variable sized. fun[0]==0 means _type does not implement inter. 方法列表的具体实现
}

每个字段的含义参考代码中的注释。

1.2 指针与接口

接口在定义一组方法时,并没有对实现的接受者做限制,所以接口的接受者
可以使struct ,也可以是pointer。

receiver-pointerOrStruct.png

(图片来自 https://draveness.me/golang/basic/golang-interface.htm

另外,接受者在初始化的时候,也可以初始化为结构体或者指针。

var d Duck = Cat{}
// or
var d Duck = &Cat{}

这样两个维度的组合,会产生四种场景, 我们看下代码:

package main

type Duck interface {
    Walk()
    Quack()
}

type Cat struct{}

// 场景一 receiver struct , param struct
//func (c Cat) Walk() {
//  fmt.Println("catwalk")
//}
//func (c Cat) Quack() {
//  fmt.Println("meow")
//}
//
//func TestReceiverStruct_ParamStruct(t *testing.T) {
//  var c Duck = Cat{}
//  c.Quack() // pass
//}

//// 场景二 receiver pointer ,  param pointer
//func (c *Cat) Walk() {
//  fmt.Println("catwalk")
//}
//func (c *Cat) Quack() {
//  fmt.Println("meow")
//}
//
//func TestReceiverStruct_ParamStruct(t *testing.T) {
//  var c Duck = &Cat{}
//  c.Quack() // pass
//}

//// 场景三 receiver struct , but param pointer
//func (c Cat) Walk() {
//  fmt.Println("catwalk")
//}
//func (c Cat) Quack() {
//  fmt.Println("meow")
//}
//
//func TestReceiverStruct_ParamPointer(t *testing.T) {
//  var c Duck = &Cat{}
//  c.Quack() // pass
//}

//// 场景四 receiver pointer , but param struct. 编译不通过,这是因为通过结构体,找不到唯一的指针。
//func (c *Cat) Walk() {
//  fmt.Println("catwalk")
//}
//func (c *Cat) Quack() {
//  fmt.Println("meow")
//}
//
//func TestReceiverStruct_ParamPointer(t *testing.T) {
//  var c Duck = Cat{} // 编译报错
//  c.Quack() // pass
//}

注意: 在编译的时候,可以每次只放开一个场景的代码

我们看到只有第四种(接受者是指针,而初始化为结构体)是编译报错的。
这是因为编译器底层并没有帮助生成一个接受者为结构体的方法。
而场景三(接受者是结构体,初始化为指针)之所以可以,是因为如果接受者是结构体,编译器会隐含的生成一个接受者为指针的对应的方法。

2 类型转换

2.1 具体类型转成interface (协变)

主要流程就是先初始化具体的类型,然后利用具体类型的实例构造接口的itab。核心逻辑在 convT2I 方法。

此时会将具体类型的属性以及方法放置在itab对应的位置,在运行期间,调用接口的方法就是调用的具体类型的方法。

判定一种类型是否满足某个接口时,类型方法方法集如果完全包含接口的方法集,既可以认为该类型实现了该接口。

2.2 interface 转成具体类型(逆变,也叫类型断言)

常见的代码:

type Duck interface {
    Quack()
}

type Cat struct {
    Name string
}

//go:noinline
func (c *Cat) Quack() {
    println(c.Name + " meow")
}

func main() {
    var c Duck = &Cat{Name: "grooming"}
    switch c.(type) {
    case *Cat:
        cat := c.(*Cat)
        cat.Quack()
    }
}

会先比较接口的hash 跟目标类型的hash是否相等,如果相等就认为是目标类型。

3 动态派发机制

动态派发是在运行期间选择具体的多态操作执行的过程,它其实是一种在面向对象语言中非常常见的特性,但是 Go 语言中接口的引入其实也为它带来了动态派发这一特性,也就是对于一个接口类型的方法调用,我们会在运行期间决定具体调用该方法的哪个实现。

如果采用接口调用,跟直接使用具体类型调用,会有一个性能上的差异。主要是接口调用过程中需要进行类型转换。

4 总结

本文主要讲解了接口的用途、分类、数据结构,然后讲解了具体类型跟接口之间的转换。最后简单讲了动态派发的机制,以及性能上小小的影响,不过性能的这一点损耗不足以抵消接口带来的巨大编程优势。

5 参考文献

不错的文章,本文主要参考这篇 https://draveness.me/golang/basic/golang-interface.html
国人翻译的老外的文章 http://xargin.com/go-and-interface/

6 其他

本文是《循序渐进go语言》的第十一篇-《Go-interface》。
如果有疑问,可以直接留言,也可以关注公众号 “链人成长chainerup” 提问留言,或者加入知识星球“链人成长” 与我深度链接~

©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 210,978评论 6 490
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 89,954评论 2 384
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 156,623评论 0 345
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 56,324评论 1 282
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 65,390评论 5 384
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 49,741评论 1 289
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 38,892评论 3 405
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 37,655评论 0 266
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 44,104评论 1 303
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 36,451评论 2 325
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 38,569评论 1 340
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 34,254评论 4 328
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 39,834评论 3 312
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 30,725评论 0 21
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 31,950评论 1 264
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 46,260评论 2 360
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 43,446评论 2 348

推荐阅读更多精彩内容

  • 1、interface 是一种类型 type I interface {Get() int} 首先interfac...
    Uzero阅读 2,607评论 0 2
  •   如Go method中提及,Golang没有明确支持多态,但是通过其他手段可以实现类似C++中的多态特性,即本...
    北春南秋阅读 14,857评论 0 3
  • interface 是一种类型,从它的定义可以看出来用了 type 关键字,更准确的说 interface 是一种...
    ze__lin阅读 637评论 0 0
  • 接口(interface)这个玩意就相当于一个对接规范和标准,并不是go独有的,go的实现也如出一辙,只要你实现了...
    killtl阅读 520评论 0 0
  • A:”同志们,早上好!“ B:“太阳都晒屁股了。” C:“你家太阳起的还挺早。” ——沉默 END
    不爱应酬的大小姐阅读 458评论 0 0