一个接口类型的变量可以包含任何类型的值,必须有一种方式来检测它的动态类型,即运行时在比阿娘中存储的值得实际类型。在执行过程中动态类型可能会有所不同,但是它总是可以分配给接口变量本身的类型。通常我们可以使用类型断言类测试在某个时刻varI是否包含类型T的值:
v := varI.(T) // unchecked type assertion
类型断言的必要条件是varI是接口类型,非接口类型的varI不能做类型断言,否则编译器会报错:
invalid type assertion: varI.(T) (noninterface type (type of varI) on left)
//错误实例
var i int = 10
v := i.(int) //错误
类型断言是将接口类型的值x,转换成类型T。
x.(T)
v := x.(T)
v, ok := x.(T)
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了。