Go语言学习笔记--类型断言

一个接口类型的变量可以包含任何类型的值，必须有一种方式来检测它的动态类型，即运行时在比阿娘中存储的值得实际类型。在执行过程中动态类型可能会有所不同，但是它总是可以分配给接口变量本身的类型。通常我们可以使用类型断言类测试在某个时刻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了。