宣告介面時使用的名稱,只是一個方便取用及閱讀的標示,最重要的是介面中定義的行為,以及實際的接收者型態。因此,若你打算從一個介面轉換至另一個介面,只要行為符合就可以了。例如以下是可行的:
package main
import "fmt"
type ATester interface {
test()
}
type BTester interface {
test()
}
type Subject struct {
name string
}
func (s *Subject) test() {
fmt.Println(s)
}
func main() {
var testerA ATester = &Subject{"Test"}
var testerB BTester = testerA
testerA.test()
testerB.test()
}
在第二個指定時,編譯器會檢查 testerA
的型態定義,也就是介面中,是否定義了 test()
行為,若是則可通過編譯,若否就編譯錯誤。例如以下的情況:
package main
import "fmt"
type ATester interface {
testA()
}
type BTester interface {
testB()
}
type Subject struct {
name string
}
func (s *Subject) testA() {
fmt.Println(s)
}
func (s *Subject) testB() {
fmt.Println(s)
}
func main() {
var testerA ATester = &Subject{"Test"}
var testerB BTester = testerA // 錯誤:ATester does not implement BTester
testerA.testA()
testerB.testB()
}
就算 testerA
儲存的結構實例,確實有實作testB()
這個方法,然而從編譯器的角度來看,testerA
的行為只有 testA()
,而看不到它有 testB()
的行為,因此上面這個範例會編譯錯誤。
Comma-ok 型態斷言
如果真的要通過編譯,可以使用型態斷言(Type assertion):
...同前…略
func main() {
var testerA ATester = &Subject{"Test"}
var testerB BTester = testerA.(BTester)
testerA.testA()
testerB.testB()
}
x.(T)
這個語法,x
的型態是某介面,而 T
是預期的型態,或者是值實作的另一個介面名稱,在〈介面入門〉中談過,介面底層儲存了型態與值的資訊,x.(T)
是在告知編譯器,在執行時期再來斷言型態,也就是執行時期再來判斷 x
底層儲存的值,型態是否為 T
,若是就傳回底層儲存的值。
型態斷言與型態轉換不同,型態轉換是將值的型態轉換為另一型態,編譯器會檢查兩個型態的資料結構是否相同,若否會發生編譯錯誤。
斷言是執行時期進行的,在底下的範例中,執行時期會斷言 value
底層儲存的值,其型態為 Duck
:
package main
import "fmt"
type Duck struct {
name string
}
func main() {
values := [...](interface{}){
Duck{"Justin"},
Duck{"Monica"},
}
for _, value := range values {
duck := value.(Duck)
fmt.Println(duck.name)
}
}
如果 value
底層儲存的值,其型態為實際上不是 Duck
型態,那麼操作 duck
時會發生執行時期錯誤,為了避免這類錯誤發生,可以進行 Comma-ok 型態斷言,例如:
package main
import "fmt"
type Duck struct {
name string
}
func main() {
values := [...](interface{}){
Duck{"Justin"},
Duck{"Monica"},
[...]int{1, 2, 3, 4, 5},
map[string]int{"caterpillar": 123456, "monica": 54321},
}
for _, value := range values {
if duck, ok := value.(Duck); ok {
fmt.Println(duck.name)
}
}
}
第一個 duck
變數是 Duck
型態,若 value
底層儲存的值確實是 Duck
型態,ok
變數會是 true
,否則 ok
會是 false
,因此,在上面的例子中,只會針對 Duck
顯示其 name
的值。
在〈介面入門〉中談過,底下的範例會是 false
:
var acct *Account = nil
var savings Savings = acct
fmt.Println(savings == nil) // false
實際上 savings
底層儲存的值確實是 nil
,透過型態斷言的話可以取出。例如:
var acct *Account = nil
var savings Savings = acct
fmt.Println(savings.(*Account) == nil) // true
型態 switch 測試
依照上面的說明,如果想測試多個型態,可以用多個 if...else if
,例如:
package main
import "fmt"
type Duck struct {
name string
}
func main() {
values := [...](interface{}){
Duck{"Justin"},
Duck{"Monica"},
[...]int{1, 2, 3, 4, 5},
map[string]int{"caterpillar": 123456, "monica": 54321},
10,
}
for _, value := range values {
if duck, ok := value.(Duck); ok {
fmt.Println(duck.name)
} else if arr, ok := value.([5]int); ok {
fmt.Println(arr)
} else if passwds, ok := value.(map[string]int); ok {
fmt.Println(passwds)
} else if i, ok := value.(int); ok {
fmt.Println(i)
} else {
fmt.Println("非預期之型態")
}
}
}
不過,針對這個情況,使用型態 switch
測試會更為適合:
package main
import "fmt"
type Duck struct {
name string
}
func main() {
values := [...](interface{}){
Duck{"Justin"},
Duck{"Monica"},
[...]int{1, 2, 3, 4, 5},
map[string]int{"caterpillar": 123456, "monica": 54321},
10,
}
for _, value := range values {
switch v := value.(type) {
case Duck:
fmt.Println(v.name)
case [5]int:
fmt.Println(v[0])
case map[string]int:
fmt.Println(v["caterpillar"])
case int:
fmt.Println(v)
default:
fmt.Println("非預期之型態")
}
}
}
value.(type)
這樣的語法,只能用在 switch
之中。
來看個實際的應用,在 Go 的 fmt
中,有個 print.go 的原始碼,其中有一段是針對傳入的引數,是實作了 Error
介面或 Stringer
介面,若實作了 Error
介面,則呼叫其 Error()
方法,若實作了 Stringer
介面,就呼叫其 String()
方法:
720 switch v := p.arg.(type) {
721 case error:
722 handled = true
723 defer p.catchPanic(p.arg, verb)
724 p.printArg(v.Error(), verb, depth)
725 return
726
727 case Stringer:
728 handled = true
729 defer p.catchPanic(p.arg, verb)
730 p.printArg(v.String(), verb, depth)
731 return
732 }