您好,登錄后才能下訂單哦!
這篇文章主要講解了“golang的接口怎么定義使用”,文中的講解內容簡單清晰,易于學習與理解,下面請大家跟著小編的思路慢慢深入,一起來研究和學習“golang的接口怎么定義使用”吧!
在golang中,接口是一種類型,是用來將對方法進行一個收束,其作用是:1、作為方法的收束器,進行面向對象設計;2、作為各種數據的承載者,可以用來接收函數參數等。接口的定義語法“type 接口類型名 interface{方法名( 參數列表1 ) 返回值列表}”;當方法名首字母是大寫且這個接口類型名首字母也是大寫時,這個方法可以被接口所在的包(package)之外的代碼訪問。
interface是一組method簽名的組合,我們通過interface來定義對象的一組行為。
(注意method 和普通func的區別)
Interface是一種類型,和往常語言的接口不一樣,它只是用來將對方法進行一個收束。然而正是這種收束,使GO語言擁有了基于功能的面向對象。
接口的主要功能:
1.作為方法的收束器,進行面向對象設計。
2.作為各種數據的承載者,可以用來接收函數參數等。
這也是,GO語言提倡面向接口編程。
2.1定義
類似結構體
type 接口類型名 interface{
方法名1( 參數列表1 ) 返回值列表1
方法名2( 參數列表2 ) 返回值列表2
…
}
當然這只是有方法的接口定義,面向數據的接口不用。
接口名:使用type將接口定義為自定義的類型名。Go語言的接口在命名時,一般會在單詞后面添加er,如有寫操作的接口叫Writer,有字符串功能的接口叫Stringer等。接口名最好要能突出該接口的類型含義。
方法名:當方法名首字母是大寫且這個接口類型名首字母也是大寫時,這個方法可以被接口所在的包(package)之外的代碼訪問。
參數列表、返回值列表:參數列表和返回值列表中的參數變量名可以省略
2.2使用
一個對象只要全部實現了接口中的方法,那么就實現了這個接口。換句話說,接口就是一個需要實現的方法列表。
//定義接口
type FastfoodStore interface{
MakeHamberger()
MakeFriedChips()
MakeSoftDrink()
}
//定義結構體
type KFC struct{}
type HambergerKing struct{}
//實現了接口中所有的方法
func (kfc KFC) MakeHamberger(){
fmt.println("肯德基的漢堡")
}
func (kfc KFC) MakeFriedChips(){
fmt.println("肯德基的薯條")
}
func (kfc KFC) MakeSoftDrink(){
fmt.println("肯德基的飲料")
}
func (K *HambergerKing) MakeHameberger(){
fmt.println("漢堡王的漢堡")
}
func (K *HambergerKing) MakeFriedChips(){
fmt.println("漢堡王的薯條")
}
func (K *HambergerKing) MakeSoftDrink(){
fmt.println("漢堡王的飲料")
}
我們可以看到不同于Java的接口顯式實現,Go的語言是隱式實現的。
在 Java 中:實現接口需要顯式地聲明接口并實現所有方法;
在 Go 中:實現接口的所有方法就隱式地實現了接口;
那么GO語言是如何檢查該類型是否是接口呢?
答:Go 語言只會在傳遞參數、返回參數以及變量賦值時才會對某個類型是否實現接口進行檢查。從類型檢查的過程來看,編譯器僅在需要時才檢查類型,類型實現接口時只需要實現接口中的全部方法,不需要像 Java 等編程語言中一樣顯式聲明。
我們可以看到在上面實現接口的時候,KFC是用結構體對象實現的,而Hamberger king是通過指針實現的兩者有什么不同呢?
答:區別在于我們初始化接口的時候
//結構體初始化和指針初始化
var f faststore = KFC{} //可以通過編譯
var f faststore = &KFC{} //可以通過編譯
var f faststore = HambergerKing{} //無法通過編譯
var f faststore = &HambergerKing{} //可以通過編譯
所以在我們使用指針進行實現,結構體初始化時,為啥不行呢?
答:Go 語言在傳遞參數時都是傳值的。
如上圖所示,無論上述代碼中初始化的變量指針還是結構體,使用 調用方法時都會發生值拷貝:
如上圖左側,對于 &HambergerKing{} 來說,這意味著拷貝一個新的 &HambergerKing{} 指針,這個指針與原來的指針指向一個相同并且唯一的結構體,所以編譯器可以隱式的對變量解引用(dereference)獲取指針指向的結構體;
如上圖右側,對于 HambergerKing{} 來說,這意味著方法會接受一個全新的 HambergerKing{},因為方法的參數是*HambergerKing,編譯器不會無中生有創建一個新的指針;即使編譯器可以創建新指針,這個指針指向的也不是最初調用該方法的結構體;
上面的分析解釋了指針類型的現象,當我們使用指針實現接口時,只有指針類型的變量才會實現該接口;當我們使用結構體實現接口時,指針類型和結構體類型都會實現該接口。當然這并不意味著我們應該一律使用結構體實現接口,這個問題在實際工程中也沒那么重要,在這里我們只想解釋現象背后的原因。
在上面我們說過,interface有兩種用法,現在介紹了其中一種就是作為方法的收束器。那么第二種就是作為數據的承載者。
2.3 數據承載者
作為數據容器時,接口就是一個“空”接口,這個空來形容沒有Method。空interface(interface{})不包含任何的method,正因為如此,所有的類型都實現了空interface。空interface對于描述起不到任何的作用(因為它不包含任何的method),但是空interface在我們需要存儲任意類型的數值的時候相當有用,因為它可以存儲任意類型的數值。它有點類似于C語言的void*類型。
需要注意的是,與 C 語言中的 void * 不同,interface{} 類型不是任意類型。如果我們將類型轉換成了 interface{} 類型,變量在運行期間的類型也會發生變化,獲取變量類型時會得到 interface{}。
我們嘗試從底層實現來解釋兩種用法的不同,你會好理解一些。Go 語言使用 runtime.iface 表示第一種接口,使用 runtime.eface 表示第二種不包含任何方法的接口 interface{},兩種接口雖然都使用 interface 聲明,但是由于后者在 Go 語言中很常見,所以在實現時使用了特殊的類型。
空接口作為函數的參數
使用空接口實現可以接收任意類型的函數參數。
// 空接口作為函數參數
func show(a interface{}) {
fmt.Printf("type:%T value:%v\n", a, a)
}
空接口作為map的值
使用空接口實現可以保存任意值的字典。
// 空接口作為map值
var studentInfo = make(map[string]interface{})
studentInfo["name"] = "Wilen"
studentInfo["age"] = 18
studentInfo["married"] = false
fmt.Println(studentInfo)
//gin框架的gin.H{}
interface 可以存儲所有的值,那么自然會涉及到類型轉換這個話題。與此同時,我們也將在這節細說類型轉換中,因為結構體實現和結構體指針實現的接口的異同。
3.1結構體指針實現接口
//我們仍然運用上面快餐店的例子
type Store interface{
MakeHamberger()
}
type KFC struct{
name string
}
func (k *KFC) MakeHamberger(){
fmt.println(k.name+"制作了一個漢堡")
}
func main(){
var s store = &KFC{name:"東街店"}
store.MakeHamberger()
}
這里將上述代碼生成的匯編指令拆分成三部分分析:
KFC的初始化又可以分為下面幾步:
獲取 KFC 結構體類型指針并將其作為參數放到棧上;
通過 CALL 指定調用 runtime.newobject函數,這個函數會以 KFC 結構體類型指針作為入參,分配一片新的內存空間并將指向這片內存空間的指針返回到 SP+8 上;
SP+8 現在存儲了一個指向 KFC 結構體的指針,我們將棧上的指針拷貝到寄存器 DI 上方便操作;
由于 Cat 中只包含一個字符串類型的 Name 變量,所以在這里會分別將字符串地址 &"東街店" 和字符串長度 6 設置到結構體上。
因為 KFC 結構體的定義中只包含一個字符串,而字符串在 Go 語言中總共占 16 字節,所以每一個 KFC 結構體的大小都是 16 字節。初始化 KFC 結構體之后就進入了將 *KFC 轉換成 Store 類型的過程了:
類型轉換的過程比較簡單,Store 作為一個包含方法的接口,它在底層使用 [runtime.iface] 結構體表示。runtime.iface 結構體包含兩個字段,其中一個是指向數據的指針,另一個是表示接口和結構體關系的 tab 字段,我們已經通過上一段代碼 SP+8 初始化了 KFC 結構體指針,這段代碼只是將編譯期間生成的 runtime.itab 結構體指針復制到 SP 上:
到這里,我們會發現 SP ~ SP+16 共同組成了 runtime.iface 結構體。
棧上的這個 runtime.iface 也是 MakeHamberger() 方法的第一個入參。通過CALL()完成方法的調用。
3.2 結構體實現接口
//我們仍然運用上面快餐店的例子
type Store interface{
MakeHamberger()
}
type KFC struct{
name string
}
func (k KFC) MakeHamberger(){
fmt.println(k.name+"制作了一個漢堡")
}
func main(){
var s store = KFC{name:"東街店"}
store.MakeHamberger()
}
如果我們在初始化變量時使用指針類型 &KFC{Name: "東街店"} 也能夠通過編譯,不過生成的匯編代碼和上一節中的幾乎完全相同,所以這里也就不分析這個情況了。
在棧上初始化 KFC 結構體,而上一節的代碼在堆上申請了 16 字節的內存空間,棧上只有一個指向 KFC 的指針。
初始化結構體后會進入類型轉換的階段,編譯器會將 go.itab."".KFC,"".Store 的地址和指向 KFC 結構體的指針作為參數一并傳入 runtime.convT2I 函數:這個函數會獲取 runtime.itab 中存儲的類型,根據類型的大小申請一片內存空間并將 elem 指針中的內容拷貝到目標的內存中:
func convT2I(tab *itab, elem unsafe.Pointer) (i iface) {
t := tab._type
x := mallocgc(t.size, t, true)
typedmemmove(t, x, elem)
i.tab = tab
i.data = x
return
}
runtime.convT2I 會返回一個 runtime.iface,其中包含 runtime.itab 指針和 KFC 變量。當前函數返回之后,main 函數的棧上會包含以下數據:
SP 和 SP+8 中存儲的 runtime.itab 和 KFC 指針是 runtime.convT2I 函數的入參,這個函數的返回值位于 SP+16,是一個占 16 字節內存空間的 runtime.iface 結構體,SP+32 存儲的是在棧上的 KFC 結構體,它會在 runtime.convT2I 執行的過程中拷貝到堆上。
3.3類型斷言
如何將一個接口類型轉換成具體類型?
x.(T)
func main() {
var c Store = &KFC{Name: "東街店"}
switch c.(type) {
case *KFC:
kfc := c.(*KFC)
kfc.MakeHamberger()
}
}
因為 Go 語言的編譯器做了一些優化,所以代碼中沒有runtime.iface 的構建過程,不過對于這一節要介紹的類型斷言和轉換沒有太多的影響。
switch語句生成的匯編指令會將目標類型的 hash 與接口變量中的 itab.hash 進行比較
func main() {
var c interface{} = &KFC{Name: "東街店"}
switch c.(type) {
case *KFC:
kfc := c.(*KFC)
kfc.MakeHamberger()
}
}
上述代碼會在類型斷言時就不是直接獲取變量中具體類型的 runtime._type,而是從 eface._type 中獲取,匯編指令仍然會使用目標類型的 hash 與變量的類型比較.
感謝各位的閱讀,以上就是“golang的接口怎么定義使用”的內容了,經過本文的學習后,相信大家對golang的接口怎么定義使用這一問題有了更深刻的體會,具體使用情況還需要大家實踐驗證。這里是億速云,小編將為大家推送更多相關知識點的文章,歡迎關注!
免責聲明:本站發布的內容(圖片、視頻和文字)以原創、轉載和分享為主,文章觀點不代表本網站立場,如果涉及侵權請聯系站長郵箱:is@yisu.com進行舉報,并提供相關證據,一經查實,將立刻刪除涉嫌侵權內容。