5.1.2.类型断言
一个类型的方法集是指可以被该类型的值调用的所有方法的集合,对于没有方法的类型来数该集合为空。Go语言的interface{}类型用于表示空接口,即一个含有空集的方法集的类型的值。因为每个类型都有一个包含空集的方法集(不论其拥有多少方法),一个interface{}可以用于表示一个Go语言中任意类型的值。此外,我们也可以使用类型开关,或类型断言,或Go语言的reflect包中的反射将interface{}转换成其实际保存的类型的值。
当我们需要处理从外部接收的数据,或希望创建一个泛型函数,或进行面向对象的编程时,对interface{}类型(或自定义的interface类型)的变量的使用会非常有用。为了访问底层数据,我们可以使用类型断言,其中一种语法如下:
1 2 | resultOfType, boolean := expression.(Type) // Checked resultOfType := expression.(Type) // Unchecked; panic() on failure |
如果类型断言检查成功,则返回指定的Type的值和一个用于标识成功的true。如果类型断言失败(即,表达式的类型和指定的Type不兼容),则返回指定的Type的零值和一个false。不安全的类型断言要么返回指定的Type的值,要么调用内置的panic()函数并在异常不会被恢复的情况下终止程序运行。
下面是一个简单的使用这种语法的例子。
1 2 3 4 5 6 7 8 9 10 | var i interface{} = 99 var s interface{} = []string{"left", "right"} j := i.(int) // j is of type int (or a panic() has occurred) fmt.Printf("%T→%d\n", j, j) if i, ok := i.(int); ok { fmt.Printf("%T→%d\n", i, i) // i is a shadow variable of type int } if s, ok := s.([]string); ok { fmt.Printf("%T→%q\n", s, s) // s is a shadow variable of type []string } |
1 2 3 | int→99 int→99 []string→["left" "right"] |
做类型断言时,使用与原始变量同名的结果变量是非常常见的,即使用影子变量。通常,只有当我们希望将表达式转换为某种特定类型时才会使用类型断言。(如果表达式是多个类型之一,我们也可以使用类型开关)
请注意,如果我们打印出原始变量i和s(都是interface{}类型),它们将会以int和[]string切片的形式被打印出来。这是因为当fmt包中的函数遇到interface{}类型时,它们会足够智能的打印出实际的数据。