gointerface

接口類型的本質就是如果一個數據類型實現了自身的方法集,那么該接口類型變量就能夠引用該數據類型的值。

Go不是一種典型的OO語言,它在語法上不支持類和繼承的概念。
沒有繼承是否就無法擁有多態行為了呢?答案是否定的,Go語言引入了一種新類型—Interface,它在效果上實現了類似于C++的“多態”概念,雖然與C++的多態在語法上并非完全對等,但至少在最終實現的效果上,它有多態的影子。

雖然Go語言沒有類的概念,但它支持的數據類型可以定義對應的method(s)。本質上說,所謂的method(s)其實就是函數,只不過與普通函數相比,這類函數是作用在某個數據類型上的,所以在函數簽名中,會有個receiver(接收器)來表明當前定義的函數會作用在該receiver上。

Go語言支持的除Interface類型外的任何其它數據類型都可以定義其method(而并非只有struct才支持method),只不過實際項目中,method(s)多定義在struct上而已。

從這一點來看,我們可以把Go中的struct看作是不支持繼承行為的輕量級的“類”。

An interface type specifies a method set called its interface. A variable of interface type can store a value of any type with a method set that is any superset of the interface. Such a type is said to implement the interface. The value of an uninitialized variable of interface type is nil.
說實話,這段說明對新手來說比較晦澀,這正是本篇筆記試圖解釋清楚的地方。
從語法上看,Interface定義了一個或一組method(s),這些method(s)只有函數簽名,沒有具體的實現代碼(有沒有聯想起C++中的虛函數?)。若某個數據類型實現了Interface中定義的那些被稱為"methods"的函數,則稱這些數據類型實現(implement)了interface。舉個例子來說明。

package main

import (
    "fmt"
    "math"
)

type Abser interface {
    Abs() float64
}

type MyFloat float64

func (f MyFloat) Abs() float64 {
    if f < 0 {
        return float64(-f)
    }
    return float64(f)
}

func main() {
    var a Abser
    fmt.Println(float64(math.Sqrt2))
    f := MyFloat(-math.Sqrt2)
    a = f // a MyFloat implements Abser
    fmt.Println(a.Abs())
}

//輸出
1.4142135623730951
1.4142135623730951

上面的代碼中,第8-10行是通過type語法聲明了一個名為Abser的interface類型(Go中約定的interface類型名通常取其內部聲明的method名的er形式)。而第12-19行通過type語法聲明了MyFloat類型且為該類型定義了名為Abs()的method。
根據上面的解釋,Abs()是interface類型Abser定義的方法,而MyFloat實現了該方法,所以,MyFloat實現了Abser接口。



Interface類型的更通用定義可歸納如下:

type Namer interface {
    Method1(param_list) return_type
    Method2(param_list) return_type
    ...
}

上面的示例用type語法聲明了一個名為Namer的interface類型(但Namer不是個具體的變量,此時內存中還沒有它對應的對象)。interface類型是可以定義變量的,也即interface type can have values,例如:

var ai Namer

此時,定義了一個變量名為ai的Namer類型變量,在Go的底層實現中,ai本質上是個指針,其內存布局如下(內存布局圖引用自<The Way to Go - A Thorough Introduction to the Go Programming Language>一書第11.1節):

它的method table ptr是不是與C++中類的虛函數表非常類似?而這正是interface類型的變量具有多態特性的關鍵:
ai共占2個機器字,1個為receiver字段,1個為method table ptr字段。ai可以被賦值為任何變量,只要這個變量實現了interface定義的method(s) set,賦值后,ai的receiver字段用來hold那個變量或變量副本的地址(若變量類型小于等于1個機器字大小,則receiver直接存儲那個變量;若變量類型大于1個機器字,則Go底層會在堆上申請空間存儲那個變量的副本,然后receiver存儲那個副本的地址,即此時receiver是個指向變量副本的指針)。而由變量實現的接口method(s)組成的interface table的指針會填充到ai的method table ptr字段。當ai被賦值為另一個變量后,其receiver和method table ptr會更新為新變量的相關值。
關于interface類型內部實現細節,可以參考GoLang官網Blog推薦過的一篇文章“Go Data Structures: Interfaces”,寫的很清楚,強烈推薦。
所以,如果某個函數的入參是個interface類型時,任何實現了該interface的變量均可以作為合法參數傳入且函數的具體行為會自動作用在傳入的這個實現了interface的變量上,這不正是類似于C++中多態的行為嗎?


Interface“多態”特性實例
Go語言自帶的標準Packages提供的接口很多都借助了Interface以具備“可以處理任何未知數據類型”的能力。例如被廣泛使用的fmt包,其功能描述如下:
Package fmt implements formatted I/O with functions analogous to C's printf and scanf. The format 'verbs' are derived from C's but are simpler.
它除了可以格式化打印Go的built-in類型外,還可以正確打印各種自定義類型,只要這些自定義數據類型實現了fmt的Print API入參所需的interface接口。

以fmt包的Printf()函數為例,其函數簽名格式如下:

func Printf(format string, a ...interface{}) (n int, err error)

它的入參除了用以描述如何格式化的'format'參數外,還需要interface類型的可變長參數。該函數在實現底層的打印行為時,要求傳入的可變長參數實現了fmt包中定義的Stringer接口,這個接口類型定義及描述如下:

type Stringer interface {
        String() string
}

所以,自定義類型想要調用fmt.Printf()做格式化打印,那只需實現Stringer接口就行。
例如,下面是一段簡單的打印代碼:

package main

import "fmt"

type IPAddr [4]byte

func main() {
    addrs := map[string]IPAddr{
        "loopback":  {127, 0, 0, 1},
        "googleDNS": {8, 8, 8, 8},
    }
    for n, a := range addrs {
        fmt.Printf("%v: %v\n", n, a)
    }
}

http://studygolang.com/articles/2652

http://www.yiibai.com/go/go_printfs.html

最后編輯于
?著作權歸作者所有,轉載或內容合作請聯系作者
平臺聲明:文章內容(如有圖片或視頻亦包括在內)由作者上傳并發布,文章內容僅代表作者本人觀點,簡書系信息發布平臺,僅提供信息存儲服務。
  • 序言:七十年代末,一起剝皮案震驚了整個濱河市,隨后出現的幾起案子,更是在濱河造成了極大的恐慌,老刑警劉巖,帶你破解...
    沈念sama閱讀 227,748評論 6 531
  • 序言:濱河連續發生了三起死亡事件,死亡現場離奇詭異,居然都是意外死亡,警方通過查閱死者的電腦和手機,發現死者居然都...
    沈念sama閱讀 98,165評論 3 414
  • 文/潘曉璐 我一進店門,熙熙樓的掌柜王于貴愁眉苦臉地迎上來,“玉大人,你說我怎么就攤上這事。” “怎么了?”我有些...
    開封第一講書人閱讀 175,595評論 0 373
  • 文/不壞的土叔 我叫張陵,是天一觀的道長。 經常有香客問我,道長,這世上最難降的妖魔是什么? 我笑而不...
    開封第一講書人閱讀 62,633評論 1 309
  • 正文 為了忘掉前任,我火速辦了婚禮,結果婚禮上,老公的妹妹穿的比我還像新娘。我一直安慰自己,他們只是感情好,可當我...
    茶點故事閱讀 71,435評論 6 405
  • 文/花漫 我一把揭開白布。 她就那樣靜靜地躺著,像睡著了一般。 火紅的嫁衣襯著肌膚如雪。 梳的紋絲不亂的頭發上,一...
    開封第一講書人閱讀 54,943評論 1 321
  • 那天,我揣著相機與錄音,去河邊找鬼。 笑死,一個胖子當著我的面吹牛,可吹牛的內容都是我干的。 我是一名探鬼主播,決...
    沈念sama閱讀 43,035評論 3 440
  • 文/蒼蘭香墨 我猛地睜開眼,長吁一口氣:“原來是場噩夢啊……” “哼!你這毒婦竟也來了?” 一聲冷哼從身側響起,我...
    開封第一講書人閱讀 42,175評論 0 287
  • 序言:老撾萬榮一對情侶失蹤,失蹤者是張志新(化名)和其女友劉穎,沒想到半個月后,有當地人在樹林里發現了一具尸體,經...
    沈念sama閱讀 48,713評論 1 333
  • 正文 獨居荒郊野嶺守林人離奇死亡,尸身上長有42處帶血的膿包…… 初始之章·張勛 以下內容為張勛視角 年9月15日...
    茶點故事閱讀 40,599評論 3 354
  • 正文 我和宋清朗相戀三年,在試婚紗的時候發現自己被綠了。 大學時的朋友給我發了我未婚夫和他白月光在一起吃飯的照片。...
    茶點故事閱讀 42,788評論 1 369
  • 序言:一個原本活蹦亂跳的男人離奇死亡,死狀恐怖,靈堂內的尸體忽然破棺而出,到底是詐尸還是另有隱情,我是刑警寧澤,帶...
    沈念sama閱讀 38,303評論 5 358
  • 正文 年R本政府宣布,位于F島的核電站,受9級特大地震影響,放射性物質發生泄漏。R本人自食惡果不足惜,卻給世界環境...
    茶點故事閱讀 44,034評論 3 347
  • 文/蒙蒙 一、第九天 我趴在偏房一處隱蔽的房頂上張望。 院中可真熱鬧,春花似錦、人聲如沸。這莊子的主人今日做“春日...
    開封第一講書人閱讀 34,412評論 0 25
  • 文/蒼蘭香墨 我抬頭看了看天上的太陽。三九已至,卻和暖如春,著一層夾襖步出監牢的瞬間,已是汗流浹背。 一陣腳步聲響...
    開封第一講書人閱讀 35,664評論 1 280
  • 我被黑心中介騙來泰國打工, 沒想到剛下飛機就差點兒被人妖公主榨干…… 1. 我叫王不留,地道東北人。 一個月前我還...
    沈念sama閱讀 51,408評論 3 390
  • 正文 我出身青樓,卻偏偏與公主長得像,于是被迫代替她去往敵國和親。 傳聞我的和親對象是個殘疾皇子,可洞房花燭夜當晚...
    茶點故事閱讀 47,747評論 2 370

推薦閱讀更多精彩內容

  • 轉至元數據結尾創建: 董瀟偉,最新修改于: 十二月 23, 2016 轉至元數據起始第一章:isa和Class一....
    40c0490e5268閱讀 1,745評論 0 9
  • 1、interface 是一種類型 type I interface {Get() int} 首先interfac...
    Uzero閱讀 2,613評論 0 2
  • Spring Cloud為開發人員提供了快速構建分布式系統中一些常見模式的工具(例如配置管理,服務發現,斷路器,智...
    卡卡羅2017閱讀 134,778評論 18 139
  • fmt格式化字符串 格式:%[旗標][寬度][.精度][arg索引]動詞旗標有以下幾種:+: 對于數值類型總是輸出...
    皮皮v閱讀 1,116評論 0 3
  • { "Unterminated string literal.": "未終止的字符串文本。", "Identifi...
    一粒沙隨風飄搖閱讀 10,641評論 0 3