個人認爲,要理解 Go 的接口,一定先了解下鴨子模型。
鴨子模型
那什麼鴨子模型?
鴨子模型的解釋,通常會用了一個非常有趣的例子,一個東西究竟是不是鴨子,取決於它的能力。游泳起來像鴨子、叫起來也像鴨子,那麼就可以是鴨子。
動態語言,比如 Python 和 Javascript 天然支持這種特性,不過相對於靜態語言,動態語言的類型缺乏了必要的類型檢查。
Go 接口設計和鴨子模型有密切關係,但又和動態語言的鴨子模型有所區別,在編譯時,即可實現必要的類型檢查。
什麼是Go接口
Go 接口是一組方法的集合,可以理解爲抽象的類型。它提供了一種非侵入式的接口。任何類型,只要實現了該接口中方法集,那麼就屬於這個類型。
舉個例子,假設定義一個鴨子的接口。如下:
type Duck interface {
Quack() // 鴨子叫
DuckGo() // 鴨子走
}
假設現在有一個雞類型,結構如下:
type Chicken struct {
}
func (c Chicken) IsChicken() {
fmt.Println("我是小雞")
}
這隻雞和一般的小雞不一樣,它比較聰明,也可以做鴨子能做的事情。
func (c Chicken) Quack() {
fmt.Println("嘎嘎")
}
func (c Chicken) DuckGo() {
fmt.Println("大搖大擺的走")
}
注意,這裏只是實現了 Duck 接口方法,並沒有將雞類型和鴨子接口顯式綁定。這是一種非侵入式的設計。
我們定義一個函數,負責執行鴨子能做的事情。
func DoDuck(d Duck) {
d.Quack()
d.DuckGo()
}
因爲小雞實現了鴨子的所有方法,所以小雞也是鴨。那麼在 main 函數中就可以這麼寫了。
func main() {
c := Chicken{}
DoDuck(c)
}
執行正常。如此是不是很類似於其他語言的多態,其實這就是 Go 多態的實現方法。
空接口
繼續說說空 interface。
如果一個 interface 中如果沒有定義任何方法,即爲空 interface,表示爲 interface{}。如此一來,任何類型就都能滿足它,這也是爲什麼當函數參數類型爲 interface{} 時,可以給它傳任意類型的參數。
示例代碼,如下:
package main
import "fmt"
func main() {
var i interface{} = 1
fmt.Println(i)
}
更常用的場景,Go 的 interface{} 常常會被作爲函數的參數傳遞,用以幫助我們實現其他語言中的泛型效果。Go 中暫時不支持 泛型,不過 Go 2 的方案中似乎將支持泛型。
總結
理解 Go 接口要記住一點,接口是一組方法的集合,這句話非常重要,理解了這句話,再去理解 Go 的其他知識,比如類型、多態、空接口、反射、類型檢查與斷言等就會容易很多。