站長(zhǎng)資訊網(wǎng)
在go語(yǔ)言中，類(lèi)型斷言是一個(gè)使用在接口值上的操作，用于檢查接口類(lèi)型變量所持有的值是否實(shí)現(xiàn)了期望的接口或者具體的類(lèi)型，語(yǔ)法為“value, ok := x.(T)”。通過(guò)類(lèi)型斷言可以做到的事情：1、檢查i是否為nil；2、檢查i存儲(chǔ)的值是否為某個(gè)類(lèi)型。
本教程操作環(huán)境：windows7系統(tǒng)、GO 1.18版本、Dell G3電腦。
斷言是什么？
斷言是編程術(shù)語(yǔ)，表示為一些布爾表達(dá)。編寫(xiě)代碼時(shí)，我們總是會(huì)做出一些假設(shè)，斷言就是用于在代碼中捕捉這些假設(shè)。簡(jiǎn)單的來(lái)理解斷言的話(huà)就是判斷的意思。所以在Go中類(lèi)型斷言我們就可以理解成對(duì)類(lèi)型的判斷。
類(lèi)型斷言介紹
類(lèi)型斷言（Type Assertion）是一個(gè)使用在接口值上的操作，用于檢查接口類(lèi)型變量所持有的值是否實(shí)現(xiàn)了期望的接口或者具體的類(lèi)型。
在Go語(yǔ)言中類(lèi)型斷言的語(yǔ)法格式如下：
value, ok := x.(T)
其中，x 表示一個(gè)接口的類(lèi)型，T 表示一個(gè)具體的類(lèi)型（也可為接口類(lèi)型）。
該斷言表達(dá)式會(huì)返回 x 的值（也就是 value）和一個(gè)布爾值（也就是 ok），可根據(jù)該布爾值判斷 x 是否為 T 類(lèi)型：
-
如果 T 是具體某個(gè)類(lèi)型，類(lèi)型斷言會(huì)檢查 x 的動(dòng)態(tài)類(lèi)型是否等于具體類(lèi)型 T。如果檢查成功，類(lèi)型斷言返回的結(jié)果是 x 的動(dòng)態(tài)值，其類(lèi)型是 T。
-
如果 T 是接口類(lèi)型，類(lèi)型斷言會(huì)檢查 x 的動(dòng)態(tài)類(lèi)型是否滿(mǎn)足 T。如果檢查成功，x 的動(dòng)態(tài)值不會(huì)被提取，返回值是一個(gè)類(lèi)型為 T 的接口值。
-
無(wú)論 T 是什么類(lèi)型，如果 x 是 nil 接口值，類(lèi)型斷言都會(huì)失敗。
在Go中類(lèi)型斷言主要有兩種形式
-
變量.(類(lèi)型)。例如：i.(int) -
變量,bool = 變量.(類(lèi)型)。例如：num,ok = i.(int)。ok表示判斷類(lèi)型是否成功的意思。
類(lèi)型斷言的用法
通過(guò)類(lèi)型斷言可以做到以下幾件事情
-
檢查
i是否為 nil -
檢查
i存儲(chǔ)的值是否為某個(gè)類(lèi)型
具體的使用方式有兩種：
第一種：
t := i.(T)
這個(gè)表達(dá)式可以斷言一個(gè)接口對(duì)象（i）里不是 nil，并且接口對(duì)象（i）存儲(chǔ)的值的類(lèi)型是 T，如果斷言成功，就會(huì)返回值給 t，如果斷言失敗，就會(huì)觸發(fā) panic。
來(lái)寫(xiě)段代碼試驗(yàn)一下
package main import "fmt" func main() { var i interface{} = 10 t1 := i.(int) fmt.Println(t1) fmt.Println("=====分隔線(xiàn)=====") t2 := i.(string) fmt.Println(t2) }
運(yùn)行后輸出如下，可以發(fā)現(xiàn)在執(zhí)行第二次斷言的時(shí)候失敗了，并且觸發(fā)了 panic
10 =====分隔線(xiàn)===== panic: interface conversion: interface {} is int, not string goroutine 1 [running]: main.main() E:/GoPlayer/src/main.go:12 +0x10e exit status 2
如果要斷言的接口值是 nil，那我們來(lái)看看也是不是也如預(yù)期一樣會(huì)觸發(fā)panic
package main func main() { var i interface{} // nil var _ = i.(interface{}) }
輸出如下，確實(shí)是會(huì) 觸發(fā) panic
panic: interface conversion: interface is nil, not interface {} goroutine 1 [running]: main.main() E:/GoPlayer/src/main.go:5 +0x34 exit status 2
第二種
t, ok:= i.(T)
和上面一樣，這個(gè)表達(dá)式也是可以斷言一個(gè)接口對(duì)象（i）里不是 nil，并且接口對(duì)象（i）存儲(chǔ)的值的類(lèi)型是 T，如果斷言成功，就會(huì)返回其類(lèi)型給 t，并且此時(shí) ok 的值 為 true，表示斷言成功。
如果接口值的類(lèi)型，并不是我們所斷言的 T，就會(huì)斷言失敗，但和第一種表達(dá)式不同的事，這個(gè)不會(huì)觸發(fā) panic，而是將 ok 的值設(shè)為 false ，表示斷言失敗，此時(shí)t 為 T 的零值。
稍微修改下上面的例子，如下
package main import "fmt" func main() { var i interface{} = 10 t1, ok := i.(int) fmt.Printf("%d-%tn", t1, ok) fmt.Println("=====分隔線(xiàn)1=====") t2, ok := i.(string) fmt.Printf("%s-%tn", t2, ok) fmt.Println("=====分隔線(xiàn)2=====") var k interface{} // nil t3, ok := k.(interface{}) fmt.Println(t3, "-", ok) fmt.Println("=====分隔線(xiàn)3=====") k = 10 t4, ok := k.(interface{}) fmt.Printf("%d-%tn", t4, ok) t5, ok := k.(int) fmt.Printf("%d-%tn", t5, ok) }
運(yùn)行后輸出如下，可以發(fā)現(xiàn)在執(zhí)行第二次斷言的時(shí)候，雖然失敗了，但并沒(méi)有觸發(fā)了 panic。
10-true =====分隔線(xiàn)1===== -false =====分隔線(xiàn)2===== <nil> - false =====分隔線(xiàn)3===== 10-true 10-true
上面這段輸出，你要注意的是第二個(gè)斷言的輸出在-false 之前并不是有沒(méi)有輸出任何 t2 的值，而是由于斷言失敗，所以 t2 得到的是 string 的零值也是 "" ，它是零長(zhǎng)度的，所以你看不到其輸出。
Type Switch
如果需要區(qū)分多種類(lèi)型，可以使用 type switch 斷言，這個(gè)將會(huì)比一個(gè)一個(gè)進(jìn)行類(lèi)型斷言更簡(jiǎn)單、直接、高效。
package main import "fmt" func findType(i interface{}) { switch x := i.(type) { case int: fmt.Println(x, "is int") case string: fmt.Println(x, "is string") case nil: fmt.Println(x, "is nil") default: fmt.Println(x, "not type matched") } } func main() { findType(10) // int findType("hello") // string var k interface{} // nil findType(k) findType(10.23) //float64 }
輸出如下
10 is int hello is string <nil> is nil 10.23 not type matched
額外說(shuō)明一下：
- 如果你的值是 nil，那么匹配的是
case nil - 如果你的值在 switch-case 里并沒(méi)有匹配對(duì)應(yīng)的類(lèi)型，那么走的是 default 分支
【
