Go之断言类型(assert type)

1.背景介绍:

笔者最近在使用一个数据结构实现多个接口,但是却发现想要在一段时间内转换成接口1,另外一段时间转换成接口2,所以也就使用到了断言类型。在看过断言类型之后,觉得还是很有必要讲一讲这个断言类型,于是便有了这篇文章。

2. 断言类型介绍:

接口类型提供一种,将接口类型转换成具体类型的转换方法,也就是断言类型(assert type)。使用方法如下所示:

1)语法一

t := i.(T)

解释说明:

T:表示的是具体的数据类型,i:表示的是接口变量i,t:表示的是转换之后的变量。

功能介绍:

这个语句实现的功能是:将接口变量i按照类型T转换成t,其中t中的值是i转换得来的,一旦转换不成功就会触发一个panic。

2)除此之外还有另外一个写法:

t, ok := i.(T)

功能介绍:

表达式里面多了一个ok,实现的功能是:将接口i按照类型T转换成t,如果类型匹配ok=true,如果类型不匹配,ok=false。改语句不会触发panic。

3)例子如下所示:

package main
import "fmt"
func main() { var i interface{} = "hello world"
 str := i.(string) // 1.接口i是string类型,会将"hello world"赋值给str fmt.Println(str)
 s, ok := i.(string) // 2.接口类型是string,会将"hello world"赋值给s,并且ok=true fmt.Println(s, ok)
 idx, ok := i.(int) // 3.接口类型不是int,ok=false,idx不会从i获取到数值 fmt.Println(idx, ok) idx = i.(int) // 4.接口i不是int类型,会触发panic fmt.Println(idx)}

Output:

hello worldhello world true0 falsepanic: interface conversion: interface {} is string, not int
goroutine 1 [running]:main.main() /tmp/sandbox277669744/prog.go:17 +0x1f4

3.断言类型的使用场景:

1)T的类型是具体类型

类型断言检查x的动态类型是否等于具体类型T。如果检查成功,类型断言返回的结果是x的动态值,其类型是T。

例子可以参考2中的例子,并无特别的不同之处。

2)T的类型是接口类型

类型断言检查x的动态类型是否满足T。如果检查成功,x的动态值不会被提取,返回值是一个类型为T的接口值。换句话说,到接口类型的类型断言,改变了表达式的类型,改变了(通常是扩大了)可以访问的方法,且保护了接口值内部的动态类型和值。

例子:

package main
import ( "fmt")
type I interface { walk()}type J interface { fly()}type A struct{}
func (a A) walk() { fmt.Println("walk!")}func (a A) fly() { fmt.Println("fly!")}func main() { var i I i = A{} // dynamic type of i is A fmt.Printf("%T\n", i.(A)) // i.fly() // 报错:./prog.go:26:6: i.fly undefined (type I has no field or method fly) var j J j = i.(J) // 这里将i中的值转换成接口J这一个类型 fmt.Printf("%T\n", j)  j.fly()}

Output:

main.Amain.Afly!

代码分析:
从上面的执行输出,我们可以看出来,接口i不能够调用fly()函数,尽管是用A{}来进行的赋值操作。接口j可以通过i来进行转换,此时j.fly()就可以被使用了。

原文:https://mp.weixin.qq.com/s/Bt3C8W2q-FeEUfy7ecRlng

公众号:灰子学技术

• 编辑
• 预览