宣告介面時使用的名稱,只是一個方便取用及閱讀的標示,最重要的是介面中定義的行為,以及實際的接收者型態。因此,若你打算從一個介面轉換至另一個介面,只要行為符合就可以了。例如以下是可行的:
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             }

