Golang断言判断值类型的实现方法
golang可以通过断言,判断值的类型
也可以通过反射判断值的类型
类型断言是什么,类型断言和类型转换有什么区别,这个问题以前我也常常分不清楚。为了帮助和我有一样疑问的人,我决定得写一篇关于这方面的博文,介绍一下golang中的类型断言和类型转换的区别,在javascript的超集typescript里,也同样有类型断言的概念。这篇简短的博文就是帮助大家解答这个疑问,我会尽量短的说清楚,我理解的类型转换和类型断言的区别是什么。
什么是类型转换
类型转换在很多静态类型的语言中都会有的概念,类型转换通常分为显示类型转换和隐式类型转换。强制类型转换形如:
例如有个float32的变量被赋值为11.22,现在我们想去掉小数部分,最简单的方法就是将float32转换为int32。
简单来说,强制类型转换就是你要从一个类型强制转换到另一个类型。适用于一些基本类型,比如int, float之类等等。但在golang中,类型匹配是相当严格的,很多时候编译器不会帮你去做,所以大多数的情况下,我们还是会做一些显示的类型转换。
比如这段看起来在其它静态类型语言中毫无问题的代码片段,在golang中编译期就会报错,golang会强制让你做类型转换。
接下来看看隐式的类型转换。golang中的隐式类型转换主要存在于运行时。比如:
这里将*file类型赋值给了io.writer类型,在运行时会做一个隐式的类型转换。
什么是断言
在了解什么是类型断言之前,先来了解一下断言是什么
这是尼克杨吗?
是
简而言之,断言就是对一种条件进行假设,如果这是尼克杨,那么我要要干嘛?如果这不是尼克杨又怎样?
随之,类型断言就是对类型进行一种假设。
这里拿typescript来说个事,在ts里我们很多时候会用到一种类型叫联合类型,联合类型a | b可以理解为它可以是a类型或者是b类型。实际例子:
我们需要使用zhangsan的时候,可以使用类型断言
在golang中的类型断言和typescript中的第二种类型断言比较相像。在golang中形如
x是一种接口类型,t可以是一种具体的类型也可以是一种接口类型
golang为什么需要类型断言
为此,我们思考一个问题,为什么golang需要类型断言,golang中对类型的要求十分严格,而且golang中也没有typescript中的联合类型,好像一切类型都是固定不变的,有了强制转换类型,为什么还需要类型断言呢?
在golang中,接口类型是能够隐式转换的。看一个具体的例子:
w的类型为io.writer,但是它被赋值了*file,这是golang帮助我们做了一次类型转换。这次类型转换是在运行时的,编译时并不能确定下来。在运行时,这个接口值的类型被赋值为了*file,与此同时,值也被赋值为了os.stdout。
上述说明了一个问题,接口值的类型是不固定的!因为它的类型是要在运行时才能确定下来,这需要看它的动态值的类型才能确定。这就是需要类型断言的原因了。
再看一个具体的例子
这条语句执行过后,w只会拥有write方法,但是原本的*file不止拥有write方法,应该还拥有read方法,同时,它也是io.readwriter接口的一个实例。如果这时候我们想使用read方法怎么办,那就需要类型断言了。
这里将w断言为readwriter类型。断言类型为一个接口。暴露了*file的read和write方法
类型断言的检查机制是怎样的
于是我们想了解golang的类型断言的检查机制是怎样的,换句话说,golang到底是如何来判断断言是否成功的。
首先明确的是x必须为一个接口类型,而t可以是一个具体的类型也可以是一个接口类型。下面我们分情况讨论。
1.当t为一个接口类型时
当t为一个接口时,首先会判断x的动态值是否符合t这个接口,如果符合的话,断言成功,反之断言失败,断言失败时会抛出一个panic异常。但是如果类型断言出现在一个预期有两个结果的赋值操作中,那么断言失败不会抛出panic异常,而是用一个bool值标识是否断言成功。
为了健壮性,我们应该对ok返回的结果进行处理。标识是否断言成功。
对一个接口类型的类型断言改变了类型的表述方式,改变了可以获取的方法集合(通常更大),但是它保护了接口值内部的动态类型和值的部分(go programing language)
当t为一个具体类型时
当t为一个具体类型时,会先检查x的动态值的类型是否为t,如果为t则断言成功,如果不为t,则断言失败。
具体类型的类型断言从它的操作对象中获得具体的值(go programing language)
当x为nil
最后再简单的说一下x为nil的情况,当x为nil时,那么不论断言类型是任何类型,都会断言失败
到此这篇关于golang断言判断值类型的实现方法的文章就介绍到这了,更多相关golang断言判断值类型内容请搜索以前的文章或继续浏览下面的相关文章希望大家以后多多支持!