类型断言 type assertion
和上节的类型转换不同,类型断言是将接口类型的值x,转换成类型T。
格式为:
x.(T)
v := x.(T)
v, ok := x.(T)
类型断言的必要条件是x是接口类型,非接口类型的x不能做类型断言:
var i int = 10
v := i.(int) //错误
T可以是非接口类型,如果想断言合法,则T应该实现x的接口。
T也可以是接口,则x的动态类型也应该实现接口T。
var x interface{} = 7 // x 的动态类型为int, 值为 7
i := x.(int) // i 的类型为 int, 值为 7
type I interface { m() }
var y I
s := y.(string) // 非法: string 没有实现接口 I (missing method m)
r := y.(io.Reader) // y如果实现了接口io.Reader和I的情况下, r的类型则为io.Reader
类型断言如果非法,运行时时候就会出现 impossible type assertion panic,为了避免这种情况,可以使用下面的语法:
v, ok = x.(T)
v, ok := x.(T)
var v, ok = x.(T)
ok代表类型断言是否合法,如果非法ok =false,v为T的零值,这样就不会出现运行时panic了。
希望你能记住